Условия применимости классической логики к философским рассуждениям
- Авторы: Павлов С.А.1
-
Учреждения:
- Институт философии РАН
- Выпуск: Том 22, № 2 (2018)
- Страницы: 139-148
- Раздел: Онтология и теория познания
- URL: https://journals.rudn.ru/philosophy/article/view/18709
- DOI: https://doi.org/10.22363/2313-2302-2018-22-2-139-148
Цитировать
Полный текст
Аннотация
Исследованы условия применимости классической логики высказываний к философским рассуждениям. Это исследование проведено в рамках различных семантик для многозначных логик. В качестве последних рассматривались: семантика многозначных логик, метатеория значений истинности Зиновьева, элементарная теория операторов истинности и ложности. В метатеории логической семантики, в которой строятся семантики для многозначных логик, принимают классическую логику. В этой метатеории используется теория J -операторов (введенных Россером и Тьюркеттом). Теория J -операторов является частью метатеории логической семантики. Семантическое утверждение вида « P принимает значение vk» содержательно соответствует формуле J k(P). Показано, что для формул языка-объекта P , для котоых выполняется условие ( P принимает выделенное значение или P принимает анти-выделенное значение), имеет место классическая логика. Синтезирующий подход в исследованиях и построениях А. Зиновьева привел к тому, что он объединил логику, онтологию и методологию в единую науку, в которой первые являются ее аспектами. Только в процессе изложения он выделяет в ней три части: 1) базисную логику, 2) логическую онтологию, и 3) логическую методологию. В этом состоит радикальное отличие от подходов Д. Гильберта и А. Тарского, отделявших язык-объект от метаязыка, семантику от синтаксиса. Также рассматривалась элементарная теория операторов истинности и ложности, обоснованная в обобщенной на неклассический случай объединенной Буль-Фреге семантике. Показано, что для формулы языка-объекта P , для которых выполняется условие (содержательно выраженное) формула P либо истинна, либо ложна, то для нее имеет место классическая двузначная логика. Отмечается, что рассмотренные условия близки к определениям высказываниям в естественном языке.
Ключевые слова
Об авторах
Сергей Афанасьевич Павлов
Институт философии РАН
Автор, ответственный за переписку.
Email: sergey.aph.pavlov@gmail.com
кандидат философских наук, старший научный сотрудник сектора теории познания Института философии РАН
Гончарная ул., 12, стр. 1, Москва, Россия 109240Список литературы
- Анисов А.М. Современная логика. М., 2002.
- Аншаков О.М., Рычков С.В. О многозначных логических исчислениях // Семиотика и информатика. Вып. 19. М., 1982. С. 90-117.
- Аристотель. Категории // Аристотель. Соч.: в 4 т. Т. 2. М., 1978. С. 85. 13b15.
- Бессонов А.В. К основаниям логической теории истины // Философия науки. 1999. № 1(5). С. 52-63.
- Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
- Зиновьев А.А. Логика науки. М., 1971.
- Зиновьев А.А. Фактор понимания М., 2006.
- Павлов С.А. Исчисление предикатов истинности и ложности // Логический анализ естественных языков: 2-й Советско-Финский коллоквиум по логике. М., 1979. С. 70-73.
- Павлов С.А. Онтологический тезис обобщенной Буль Ç Фреге семантики // Вестник Российского университета дружбы народов. Серия: Философия. 2016. № 1. С. 58-69.
- Попов В.М. Об одной четырехзначной паранормальной логике // Логика и В.Е.К. М., 2003. С. 192-195.
- Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие. М., 1998. С. 90-129.
- Фреге Г. О смысле и значении // Логика и логическая семантика. М., 2000. С. 230-246.
- Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131-152.
- Pavlenko A.N. The epistemological glaucoma and psematical paradox (autological feature of truth and heterological feature of false) // Вестник Российского университета дружбы народов. Серия: Философия. 2018. № 2.
- Pavlov S.A. 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 S.A. Einige nichttraditionelle Ideen in der Logik // Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophische Probleme der Logik. Berlin, 1978. S. 33-40.
- Rosser J.B., Turquette A.R. Many-valued logics. 1987. Vol. 120. Nouvelle serie. P. 311-334.
