Анализ семантики, онтологии и синтаксиса логики высказываний
- Авторы: Павлов С.А.1
-
Учреждения:
- Институт философии РАН
- Выпуск: № 3 (2011)
- Страницы: 111-119
- Раздел: Статьи
- URL: https://journals.rudn.ru/philosophy/article/view/11397
Цитировать
Полный текст
Аннотация
Проведенное исследование и анализ необходимых предпосылок классической логики высказываний показало, что есть возможность их уточнений, связанных с построением синтаксических аналогов семантических правил логики высказываний, с модификацией семантики Фреге для логики высказываний и с формализацией понятий истинности и ложности. По отношению к возможности построения неклассических логик были определены классы логик, удовлетворяющих найденным условиям. В результате имеем одну теорию истины и конечное число неклассических логик, выводимых из нее.
Ключевые слова
Об авторах
Сергей Афанасьевич Павлов
Институт философии РАН
Email: ontology@iph.ras.ru <mailto:ontology@iph.ras.ru>
Институт философии РАН
Список литературы
- Анисов А.М. Современная логика. - М., 2002.
- Аристотель Метафизика // Сочинения в четырех томах. - М., 1976. - Т. 1.
- Гильберт Д., Аккерман В. Основы теоретической логики. - М., 1947.
- Гильберт Д., Бернайс П. Основания математики. - М., 1979.
- Павлов С.А. Термины «истинность» и «ложность» в языке // IV Российский философский конгресс: Философия и будущее цивилизации. - М., 2005. - Т. I.
- Павлов С.А. Исходные положения теории истины с оператором истинности // Вестник Российского университета дружбы народов. Серия «Философия». - № 3. - 2009.
- Павлов С.А. Модификация семантики Фреге и многозначные интерпретации // Труды научно-исследовательского семинара логического центра Института философии РАН. - Вып. XIX. - 2009.
- Павлов С.А. Семантика с единственным денотатом истина и многозначные интерпретации // Логико-философские исследования. - Вып. 4. - М., 2010.
- Синтаксические аналоги семантических правил // Материалы XI Международной научной конференции. - СПб. 2010.
- Фреге Г. О смысле и значении // Логика и логическая семантика. - М., 2000.
- Фреге Г. Функция и понятие // Логика и логическая семантика. - М., 2000.
- Черч А. Введение в математическую логику. - М., 1960.