Предмет и перспективы развития логики
Article Sidebar
Опубликован:
30.05.2018
Ключевые слова:
объект науки логики, предмет логики, традиционная логика, современная логика, суррогатная логика, _как-бы-логика_
Main Article Content
Аннотация
В статье обсуждается вопрос о предмете логики и о некоторых перспективах ее развития. Утверждается, что логика является наукой о мышлении. То есть мышление — это объект науки логики. Предмет логики — это особые структуры мыслей и процессов мышления, называемые, не совсем удачно, по мнению автора, формами мыслей и процессов мышления. Эти структуры выявляются путем частичного отвлечения от смысловых и предметных значений нелогических терминов, входящих в языковые выражения, которыми представлены мысли и процессы мышления. Современная логика отличается от традиционной использованием методов, сходных с математическими, — методов символической логики. Однако все значимые для научного и обыденного познания достижения традиционной логики сохраняются. Логика, изложенная в некоторых учебниках, изданных в сороковых годах прошлого столетия в СССР, называется суррогатной. Выделяются эмпирический и теоретический уровни исследований в логике, а также логика и _как-бы-логика_ (_as-if-logic_), логика классическая и неклассическая. Обсуждаются перспективы развития _как-бы-логики_ и собственно логики. Отмечается полезность исследований в области _как-бы-логики_ — могут будут созданы _как-бы-логические_ системы, некоторые из которых найдут интерпретацию в качестве собственно логических систем, могут быть разработаны новые методы доказательства метатеорем, которые будут применяться для доказательств относительно собственно логических. В качестве перспектив развития собственно логики указываются два направления — исследования эмпирические и теоретические. Названы возможные приложения квазиматричной логики в области логики, а также в других областях познания.DOI: 10.21146/2074-1472-2018-24-1-115-128
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Ивлев Ю. В. Предмет и перспективы развития логики // Логические исследования / Logical Investigations. 2018. Т. 24. № 1. C. 115-128.
Выпуск
Раздел
Статьи
Литература
Асмус В.Ф. Логика. М.: Госполитиздат, 1947. 388 с.
Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. Кн. II. М., 1994. 332 с.
Ивлев В.Ю. Категории необходимости, случайности и возможности: их смысл и методологическая роль в научном познании // Философия и общество. 1977. № 3. C. 108–125.
Ивлев В.Ю. Содержательная семантика модальной логики. М.: Изд-во Моск. ун-та, 1985. 170 с.
Ивлев В.Ю. Логика в управлении. М.: Академия МВД, 1979. 170 с.
Ивлев Ю.В. Логика. М.: Проспект, 2016. 296 с.
Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991. 224 с.
Ивлев Ю.В. Квазифункциональная логика // Научно-техническая информация. Серия 2: Инфрмационные процессы и системы. 1992. № 6. С. 12–20.
Ивлев Ю.В. Методологическая функция квазиматричной (квазифункциоанльной) логики // Методология в науке и образовании. Материалы Всероссийской конференции университетов и академических институтов РАН. М.: Изд-во МГТУ им. Н.Э. Баумана, 2017. С. 61–64.
Ивлев Ю.В. Табличное построение пропозициональной модальной логики // Вестн. Моск. ун-та. Сер. «Философия». 1973. № 6. С. 51–61.
Карпенко А.С. Многозначные логики. M.: Наука, 1997. 223 с. (Серия «Логика и компьютер». Вып. 4.)
Ivlev Y.V. Generalization of Kalmar’s method for quasi-matrix logic // Logical Invistegations. 2013. Vol. 19. P. 281–307.
Ivlev Y. V. Theory of Logical Modalities // Multi. Val. Logic. 2000. Vol. 5. P. 91–102.
Ivlev Y. V. Outlines of the transition from the principles of traditional logic to the principles of non-classical logic // Zwischen traditioneller und modernen logik. Nichnklassische Ansatze. Mentis, 2001. P. 297–310.
Ivlev Y. V. Quasi-matrix logic // Journal of Multi. Val. Logic and Soft Computing. 2005. Vol. 11. № 3–4. P. 239–252.
Rescher N. Many-valued logic. N. Y.: McGraw-Hill, 1969. 359 p.
Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. Кн. II. М., 1994. 332 с.
Ивлев В.Ю. Категории необходимости, случайности и возможности: их смысл и методологическая роль в научном познании // Философия и общество. 1977. № 3. C. 108–125.
Ивлев В.Ю. Содержательная семантика модальной логики. М.: Изд-во Моск. ун-та, 1985. 170 с.
Ивлев В.Ю. Логика в управлении. М.: Академия МВД, 1979. 170 с.
Ивлев Ю.В. Логика. М.: Проспект, 2016. 296 с.
Ивлев Ю.В. Модальная логика. М.: Изд-во Моск. ун-та, 1991. 224 с.
Ивлев Ю.В. Квазифункциональная логика // Научно-техническая информация. Серия 2: Инфрмационные процессы и системы. 1992. № 6. С. 12–20.
Ивлев Ю.В. Методологическая функция квазиматричной (квазифункциоанльной) логики // Методология в науке и образовании. Материалы Всероссийской конференции университетов и академических институтов РАН. М.: Изд-во МГТУ им. Н.Э. Баумана, 2017. С. 61–64.
Ивлев Ю.В. Табличное построение пропозициональной модальной логики // Вестн. Моск. ун-та. Сер. «Философия». 1973. № 6. С. 51–61.
Карпенко А.С. Многозначные логики. M.: Наука, 1997. 223 с. (Серия «Логика и компьютер». Вып. 4.)
Ivlev Y.V. Generalization of Kalmar’s method for quasi-matrix logic // Logical Invistegations. 2013. Vol. 19. P. 281–307.
Ivlev Y. V. Theory of Logical Modalities // Multi. Val. Logic. 2000. Vol. 5. P. 91–102.
Ivlev Y. V. Outlines of the transition from the principles of traditional logic to the principles of non-classical logic // Zwischen traditioneller und modernen logik. Nichnklassische Ansatze. Mentis, 2001. P. 297–310.
Ivlev Y. V. Quasi-matrix logic // Journal of Multi. Val. Logic and Soft Computing. 2005. Vol. 11. № 3–4. P. 239–252.
Rescher N. Many-valued logic. N. Y.: McGraw-Hill, 1969. 359 p.