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