ИСТИНА

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

1. Предложен новый подход к формализации рассуждений на основе публичных объявлений. Описана идея новой экспликации публичных объявлений на основе энтимемической импликации. Проанализированы типы различных ситуаций рассуждений на основе публичных объявлений. Построена система PADME (Public Announcements Dialogue Modelling Engine — средство моделирования диалога с публичными объявлениями), представляющая собой разновидность системы субординатного вывода. 2. Продолжено исследование семантических характеристик обобщенных классических истинностных значений. Предложен ряд формализаций логик обобщенных истинностных значений. В частности, были построены исчисления в которых в качестве дедуктивных постулатов используются утверждения о выводимости и правила вывода. Данные исчисления служат адекватной формализацией семантического отношения логического следования, которое может определяться несколькими способами, с учетом структурных особенностей обобщенных истинностных значений. Кроме того, были построены формализации аналитико-табличного двух типа с индексированными формулами. Аппарат индексированных формул позволяет выражать информацию семантического характера на уровне синтаксических конструкций.