ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
В рамках данной темы планируется проведение исследований по следующим направлениям: 1. Логический анализ естественного языка, семантический анализ интенсиональных контекстов. 2. Логический синтаксис и логическая семантика. Принципы построения формализованных языков. Пути введения семантических понятий. Анализ различных типов семантик формализованных языков. 3. Анализ понятия истинности и его роли в обосновании логических систем. Исследование логических и семантических парадоксов, предпосылок их возникновения и способов их устранения. 4. Исследование дедуктивных и выразительных возможностей формализованных языков. Анализ систем семантических и синтаксических категорий языковых выражений. Иерархия и классификация категорий языковых выражений. 5. Теория смысла и значения, методы семантического анализа выражений языка.
This course of research consists in the following lines: 1. Logical analysis of natural language, semantic analysis of intentional contexts. 2. Logical syntax and semantics. Principles of formalized languages constructions. Approaches to the definitions of semantic concepts. Analysis of different types semantics for formalized languages. 3. Analysis of concept of truth and its role in justifications of logical systems. Investigations into logical and semantic paradoxes, their origins and methods of their elimination. 4. Explorations of deductive and expressive power of formalized languages. Analysis of systems of syntactic and semantic categories of linguistic expressions. Hierarchy and classification of categories of linguistic expressions. 5. Theory of truth and meaning, methods of semantic analysis of linguistic expressions.
1. Разработка подхода к построению семейства логик рационального субъекта на основе истнностно-функционального подхода к представлению знания. Детальное исследование проблемы аксиоматизации одной из таких систем, являющейся наиболее фундаментальной. Доказательства теорем об адекватности полученной логической системы. 2. Построение элементов интенсиональной теории понятия и приложений этой теории к проблеме категоризации языковых выражений. 3. Построение систем обобщенных истинностных значений, позволяющих учитывать эпистемическую и онтологическую неопределенности, аналитико-табличная формализация логик таких систем обобщенных истинностных значений. Описание содержательных интерпретаций указанных истинностных значений и операций на них. 4. Построение системы позитивной силлогистики, в которой отношение следования интерпретируется как первоуровневое релевантное следование.
Сформулирована нестандартная семантика языка позитивной силлогистики, в которой значимость элементарных формул (форм категорических высказываний) определяется в терминах релевантного следования. Эта идея реализуется в рамках особого подхода к построению семантики силлогистики: субъектам и предикатам категорических высказываний сопоставляются в качестве значений формулы языка пропозициональной логики, а определение значимости силлогистических формул использует отношение классической выводимости. Это отношение заменяется на отношение следования в релевантной логике FDE. Предложен подход к исследованию методологической проблемы расхождения в трактовке данных, получаемых познающим субъектом из своего опыта и из опыта других субъектов. Среди прочих подходов выделен так называемый феноменологический подход, зарекомендовавший себя в качестве адекватного инструмента, позволяющего в той или иной мере элиминировать указанное расхождение. В частности, предложен феноменологический подход к построению системы категорий в терминах функциональной теории понятия, получивший название интенсиональной теории понятия. Исследованы новые семейства обобщенных истинностных значений, содержащие онтологическую, эпистемическую компоненты и компоненту неопределенности. Данные семейства образуют решеточно упорядоченные множества, которые служат в качестве семантических моделей для построения логик с одной стороны, и для моделирования эпистемических ситуаций и когнитивных процессов с другой стороны. В частности, данные решеточные структуры позволяют определять разнообразные унарные операции, имеющие естественные интерпретации в когнитивных науках. Построено семейство логических теорий, в которых эпстемическое состояние субъекта имеет истинностно-функциональное представление. Детально исследована четырехзначная логика, названная логикой рационального субъекта, в которой факт знания наличия знания у субъекта формализован на уровне истинностных оценок, без привлечения специального эпистемического оператора знания. На базе такой семантики построена полная и непротиворечивая логическая система с двумя различными истинностно-функциональными операциями типа отрицания. Данные операции позволяют выражать факт наличия или отсутствия знания на синтаксическом уровне. Более того, данная система применима для анализа парадокса познаваемости. Показано, что в логике рационального субъекта такой парадокс не выводим.
госбюджет, раздел 0706 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2016 г.-31 декабря 2016 г. | Логическая семантика и логика научного познания |
Результаты этапа: Публикация трех научных статей в высокорейтинговых научных периодических изданий по теме НИР. | ||
2 | 1 января 2017 г.-31 декабря 2017 г. | Логическая семантика и логика научного познания |
Результаты этапа: | ||
3 | 1 января 2018 г.-31 декабря 2018 г. | Логическая семантика и логика научного познания |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".