Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
оператор истинности, теория истины, аксиоматический подход, неправильно построенные формулы, кванторы по сентенциональным переменным
Main Article Content
Аннотация
В статье предложена аксиоматическая теория истинности с оператором истинности для классической логики предложений. Такая теория распространяется на область неправильно сформированных формул и на предложения логики, которая была обогащена кванторами
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Павлов С. Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул // Логические исследования / Logical Investigations. 2009. Т. 15. C. 169-181.
Выпуск
Раздел
Статьи
Литература
Аристотель. Категории // Сочинения. Т. 2. М., 1978. С.51- 90.
Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. М., 1987. С. 54-61.
Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. М., 1998.
Фреге Г. Функция и понятие // Готтлоб Фреге. Логика и логическая семантика. М., 2000.
Dunn J.M. Partiality and its Dual // Studia Logica. 2000. Vol. 65. P. 5-40.
Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. М., 1987. С. 54-61.
Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. М., 1998.
Фреге Г. Функция и понятие // Готтлоб Фреге. Логика и логическая семантика. М., 2000.
Dunn J.M. Partiality and its Dual // Studia Logica. 2000. Vol. 65. P. 5-40.