Условия применимости классической логики к философским рассуждениям

Обложка

Цитировать

Полный текст

Аннотация

Исследованы условия применимости классической логики высказываний к философским рассуждениям. Это исследование проведено в рамках различных семантик для многозначных логик. В качестве последних рассматривались: семантика многозначных логик, метатеория значений истинности Зиновьева, элементарная теория операторов истинности и ложности. В метатеории логической семантики, в которой строятся семантики для многозначных логик, принимают классическую логику. В этой метатеории используется теория J -операторов (введенных Россером и Тьюркеттом). Теория J -операторов является частью метатеории логической семантики. Семантическое утверждение вида « P принимает значение vk» содержательно соответствует формуле J k(P). Показано, что для формул языка-объекта P , для котоых выполняется условие ( P принимает выделенное значение или P принимает анти-выделенное значение), имеет место классическая логика. Синтезирующий подход в исследованиях и построениях А. Зиновьева привел к тому, что он объединил логику, онтологию и методологию в единую науку, в которой первые являются ее аспектами. Только в процессе изложения он выделяет в ней три части: 1) базисную логику, 2) логическую онтологию, и 3) логическую методологию. В этом состоит радикальное отличие от подходов Д. Гильберта и А. Тарского, отделявших язык-объект от метаязыка, семантику от синтаксиса. Также рассматривалась элементарная теория операторов истинности и ложности, обоснованная в обобщенной на неклассический случай объединенной Буль-Фреге семантике. Показано, что для формулы языка-объекта P , для которых выполняется условие (содержательно выраженное) формула P либо истинна, либо ложна, то для нее имеет место классическая двузначная логика. Отмечается, что рассмотренные условия близки к определениям высказываниям в естественном языке.

Об авторах

Сергей Афанасьевич Павлов

Институт философии РАН

Автор, ответственный за переписку.
Email: sergey.aph.pavlov@gmail.com

кандидат философских наук, старший научный сотрудник сектора теории познания Института философии РАН

Гончарная ул., 12, стр. 1, Москва, Россия 109240

Список литературы

  1. Anisov AM. Sovremennaya logika. Moscow, 2002.
  2. Anshakov OM., Rychkov SV. O mnogoznachnykh logicheskikh ischisleniyakh. Semiotika i informatika. Vyp. 19. Moscow, 1982.
  3. Aristotel'. Kategorii. Aristotel'. Soch.: v 4 t. T. 2. Moscow., 1978. 13b15.
  4. Bessonov AV. K osnovaniyam logicheskoi teorii istiny. Filosofiya nauki. 1999; 5 (1):52—63.
  5. Gil'bert D., Akkerman V. Osnovy teoreticheskoi logiki. Moscow, 1947.
  6. Zinov'ev AA. Logika nauki. Moscow, 1971.
  7. Zinov'ev AA. Faktor ponimaniya. Moscow, 2006.
  8. Pavlov SA. Ischislenie predikatov istinnosti i lozhnosti. Logicheskii analiz estestvennykh yazykov: 2-i Sovetsko-Finskii kollokvium po logike. Moscow, 1979.
  9. Pavlov SA. Ontologicheskii tezis obobshchennoi Bul' Ç Frege semantiki. Vestnik Rossiiskogo universiteta druzhby narodov, Seriya: Filosofiya. 2016;(1):58—69.
  10. Popov VM. Ob odnoi chetyrekhznachnoi paranormal'noi logike. Logika i V.E.K. Moscow, 2003.
  11. Tarskii A. Semanticheskaya kontseptsiya istiny i osnovaniya semantiki. Analiticheskaya filosofiya: stanovlenie i razvitie. M., 1998.
  12. Frege G. O smysle i znachenii. Logika i logicheskaya semantika. Moscow, 2000.
  13. Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131—152.
  14. 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).
  15. 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.
  16. Pawlow SA. Einige nichttraditionelle Ideen in der Logi. Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik. Berlin, 1978.
  17. Rosser JB., Turquette AR. Many-valued logics. 1987. Vol. 120. Nouvelle serie. P. 311—334.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML

Согласие на обработку персональных данных

 

Используя сайт https://journals.rcsi.science, я (далее – «Пользователь» или «Субъект персональных данных») даю согласие на обработку персональных данных на этом сайте (текст Согласия) и на обработку персональных данных с помощью сервиса «Яндекс.Метрика» (текст Согласия).