Исходные положения теории истины с оператором истинности

Обложка

Цитировать

Полный текст

Аннотация

В статье предложена аксиоматическая теория истины, которая строится как логическая теория с операторами истинности и ложности, которые включены в язык теории и допускают итерацию. T-эквивалентость в общем случае не имеет места, а условием её выполнения является выполнение принципа бивалентности. Область определения оператора истинности в теории истины расширена на универсум символьных выражений. Найдены условия применимости классической логики для формул ряда языков.

Об авторах

С А Павлов

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

Сектор логики; Институт философии РАН

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

  2. Анисов А.М. Истина // Новая Российская энциклопедия. - М., 2009.
  3. Аристотель. Категории // Сочинения. - М., 1978. - Т. 2. - С. 51-90.
  4. Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. - М., 1987. - С. 54-61.
  5. Гильберт Д., Аккерман В. Основы теоретической логики. - М., 1947.
  6. Крипке С. Очерк теории истины // Язык, истина, существование. - Томск: Изд-во Томского ун-та, 2002. - С. 151-183.
  7. Куайн У. Философия логики. - М., 2008.
  8. Павлов С.А. Исчисление предикатов истинности и ложности // Логический анализ естественных языков. 2-й советско-финский коллоквиум по логике. - М., 1979. - С. 70-73.
  9. Павлов С.А. Некоторые условия двузначности в исчислении предикатов истинности и ложности // Системные методы анализа научного знания. - М., 1986. - С. 152-154.
  10. Павлов С.А. Логика с операторами истинности и ложности. - М., 2004.
  11. Павлов С.А. Теория истины с оператором истины для классической сентенциальной логики и её расширение на область неправильно построенных формул // Труды членов Российского философского общества. - М., 2008. - Вып. 15. - С. 82-92.
  12. Смальян Р. Теория формальных систем. - М., 1981.
  13. Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. - М., 1999. - С. 19-155.
  14. Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. - М., 1998.
  15. Чёрч А. Введение в математическую логику. - М., 1960.
  16. Turner R. Logics of Truth // Notre Dame Journal of Formal Logic. - 1990. - Vol. 31. - N 2. - P. 308-329.
  17. Pawlow S.A. Einige nichttraditionelle Ideen in der Logik // Philosophie und Naturwissenschaften in Vergangenheit und Gegenwart. Heft 5: Philosophishe Probleme der Logik. - Berlin, 1978.
  18. Wright G.H. von Truth-Logics // Logique et analyse. Nouvelle serie. - 1987. - Vol. 120. - P. 311-334.

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

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

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

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

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