Условия применимости классической логики к философским рассуждениям
- Авторы: Павлов С.А.1
-
Учреждения:
- Институт философии РАН
- Выпуск: Том 22, № 2 (2018)
- Страницы: 139-148
- Раздел: ОНТОЛОГИЯ И ТЕОРИЯ ПОЗНАНИЯ
- URL: https://journals.rcsi.science/2313-2302/article/view/344831
- DOI: https://doi.org/10.22363/2313-2302-2018-22-2-139-148
- ID: 344831
Цитировать
Полный текст
Аннотация
Исследованы условия применимости классической логики высказываний к философским рассуждениям. Это исследование проведено в рамках различных семантик для многозначных логик. В качестве последних рассматривались: семантика многозначных логик, метатеория значений истинности Зиновьева, элементарная теория операторов истинности и ложности. В метатеории логической семантики, в которой строятся семантики для многозначных логик, принимают классическую логику. В этой метатеории используется теория J -операторов (введенных Россером и Тьюркеттом). Теория J -операторов является частью метатеории логической семантики. Семантическое утверждение вида « P принимает значение vk» содержательно соответствует формуле J k(P). Показано, что для формул языка-объекта P , для котоых выполняется условие ( P принимает выделенное значение или P принимает анти-выделенное значение), имеет место классическая логика. Синтезирующий подход в исследованиях и построениях А. Зиновьева привел к тому, что он объединил логику, онтологию и методологию в единую науку, в которой первые являются ее аспектами. Только в процессе изложения он выделяет в ней три части: 1) базисную логику, 2) логическую онтологию, и 3) логическую методологию. В этом состоит радикальное отличие от подходов Д. Гильберта и А. Тарского, отделявших язык-объект от метаязыка, семантику от синтаксиса. Также рассматривалась элементарная теория операторов истинности и ложности, обоснованная в обобщенной на неклассический случай объединенной Буль-Фреге семантике. Показано, что для формулы языка-объекта P , для которых выполняется условие (содержательно выраженное) формула P либо истинна, либо ложна, то для нее имеет место классическая двузначная логика. Отмечается, что рассмотренные условия близки к определениям высказываниям в естественном языке.
Ключевые слова
Об авторах
Сергей Афанасьевич Павлов
Институт философии РАН
Автор, ответственный за переписку.
Email: sergey.aph.pavlov@gmail.com
кандидат философских наук, старший научный сотрудник сектора теории познания Института философии РАН
Гончарная ул., 12, стр. 1, Москва, Россия 109240Список литературы
- Anisov AM. Sovremennaya logika. Moscow, 2002.
- Anshakov OM., Rychkov SV. O mnogoznachnykh logicheskikh ischisleniyakh. Semiotika i informatika. Vyp. 19. Moscow, 1982.
- Aristotel'. Kategorii. Aristotel'. Soch.: v 4 t. T. 2. Moscow., 1978. 13b15.
- Bessonov AV. K osnovaniyam logicheskoi teorii istiny. Filosofiya nauki. 1999; 5 (1):52—63.
- Gil'bert D., Akkerman V. Osnovy teoreticheskoi logiki. Moscow, 1947.
- Zinov'ev AA. Logika nauki. Moscow, 1971.
- Zinov'ev AA. Faktor ponimaniya. Moscow, 2006.
- Pavlov SA. Ischislenie predikatov istinnosti i lozhnosti. Logicheskii analiz estestvennykh yazykov: 2-i Sovetsko-Finskii kollokvium po logike. Moscow, 1979.
- Pavlov SA. Ontologicheskii tezis obobshchennoi Bul' Ç Frege semantiki. Vestnik Rossiiskogo universiteta druzhby narodov, Seriya: Filosofiya. 2016;(1):58—69.
- Popov VM. Ob odnoi chetyrekhznachnoi paranormal'noi logike. Logika i V.E.K. Moscow, 2003.
- Tarskii A. Semanticheskaya kontseptsiya istiny i osnovaniya semantiki. Analiticheskaya filosofiya: stanovlenie i razvitie. M., 1998.
- Frege G. O smysle i znachenii. Logika i logicheskaya semantika. Moscow, 2000.
- Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131—152.
- Pavlenko AN. The epistemological glaucoma and psematical paradox (autological feature of truth and heterological feature of false). Vestnik Rossiiskogo universiteta druzhby narodov. Seriya: Filosofiya. 2018; (2).
- Pavlov SA. Designated Operator Theory and Domain of Symbol Expressions. Book of abstracts 15th Congress of Logic, Methodology and Philosophy of Science CLMPS. Helsinki, 2015. P. 263—264.
- Pawlow SA. Einige nichttraditionelle Ideen in der Logi. Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik. Berlin, 1978.
- Rosser JB., Turquette AR. Many-valued logics. 1987. Vol. 120. Nouvelle serie. P. 311—334.
Дополнительные файлы

