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

Обложка

Цитировать

Полный текст

Аннотация

Исследованы условия применимости классической логики высказываний к философским рассуждениям. Это исследование проведено в рамках различных семантик для многозначных логик. В качестве последних рассматривались: семантика многозначных логик, метатеория значений истинности Зиновьева, элементарная теория операторов истинности и ложности. В метатеории логической семантики, в которой строятся семантики для многозначных логик, принимают классическую логику. В этой метатеории используется теория 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. Анисов А.М. Современная логика. М., 2002.
  2. Аншаков О.М., Рычков С.В. О многозначных логических исчислениях // Семиотика и информатика. Вып. 19. М., 1982. С. 90-117.
  3. Аристотель. Категории // Аристотель. Соч.: в 4 т. Т. 2. М., 1978. С. 85. 13b15.
  4. Бессонов А.В. К основаниям логической теории истины // Философия науки. 1999. № 1(5). С. 52-63.
  5. Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
  6. Зиновьев А.А. Логика науки. М., 1971.
  7. Зиновьев А.А. Фактор понимания М., 2006.
  8. Павлов С.А. Исчисление предикатов истинности и ложности // Логический анализ естественных языков: 2-й Советско-Финский коллоквиум по логике. М., 1979. С. 70-73.
  9. Павлов С.А. Онтологический тезис обобщенной Буль Ç Фреге семантики // Вестник Российского университета дружбы народов. Серия: Философия. 2016. № 1. С. 58-69.
  10. Попов В.М. Об одной четырехзначной паранормальной логике // Логика и В.Е.К. М., 2003. С. 192-195.
  11. Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие. М., 1998. С. 90-129.
  12. Фреге Г. О смысле и значении // Логика и логическая семантика. М., 2000. С. 230-246.
  13. Łukasievicz J. Investigations Into the Sentential Calculus. Amsterdam; L.; Warszawa, 1970. P. 131-152.
  14. Pavlenko A.N. The epistemological glaucoma and psematical paradox (autological feature of truth and heterological feature of false) // Вестник Российского университета дружбы народов. Серия: Философия. 2018. № 2.
  15. 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.
  16. 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.
  17. Rosser J.B., Turquette A.R. Many-valued logics. 1987. Vol. 120. Nouvelle serie. P. 311-334.

© Павлов С.А., 2018

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution-NonCommercial 4.0 International License.

Данный сайт использует cookie-файлы

Продолжая использовать наш сайт, вы даете согласие на обработку файлов cookie, которые обеспечивают правильную работу сайта.

О куки-файлах