Анализ семантики, онтологии и синтаксиса логики высказываний

Обложка

Цитировать

Полный текст

Аннотация

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

Об авторах

Сергей Афанасьевич Павлов

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

Email: ontology@iph.ras.ru <mailto:ontology@iph.ras.ru>
Институт философии РАН

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

  1. Анисов А.М. Современная логика. - М., 2002.
  2. Аристотель Метафизика // Сочинения в четырех томах. - М., 1976. - Т. 1.
  3. Гильберт Д., Аккерман В. Основы теоретической логики. - М., 1947.
  4. Гильберт Д., Бернайс П. Основания математики. - М., 1979.
  5. Павлов С.А. Термины «истинность» и «ложность» в языке // IV Российский философский конгресс: Философия и будущее цивилизации. - М., 2005. - Т. I.
  6. Павлов С.А. Исходные положения теории истины с оператором истинности // Вестник Российского университета дружбы народов. Серия «Философия». - № 3. - 2009.
  7. Павлов С.А. Модификация семантики Фреге и многозначные интерпретации // Труды научно-исследовательского семинара логического центра Института философии РАН. - Вып. XIX. - 2009.
  8. Павлов С.А. Семантика с единственным денотатом истина и многозначные интерпретации // Логико-философские исследования. - Вып. 4. - М., 2010.
  9. Синтаксические аналоги семантических правил // Материалы XI Международной научной конференции. - СПб. 2010.
  10. Фреге Г. О смысле и значении // Логика и логическая семантика. - М., 2000.
  11. Фреге Г. Функция и понятие // Логика и логическая семантика. - М., 2000.
  12. Черч А. Введение в математическую логику. - М., 1960.

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

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

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

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

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