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

Обложка

Аннотация


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

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

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.

Просмотры

Аннотация - 27

PDF (Russian) - 20


© Философия, 2016