|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Теоретическая и прикладная логикаНИР
Theoretical and applied logic
- Руководитель НИР: Маркин В.И.
- Участники НИР: Беликов А.А., Вашенцева Л.К., Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Ильин А.А., Конькова А.В., Кузина Е.Б., Легейдо М.М., Пиманов А.С., Сорина Г.В., Шангин В.О.
- Подразделение: Философский факультет
- Срок исполнения: 1 января 2019 г. - 31 декабря 2025 г.
- Номер договора (контракта, соглашения): 0
- Номер ЦИТИС: 0
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Логика, философия и методология науки
-
Рубрики ГРНТИ:
- 02.21.00 Логика
- 02.21.05 Общие проблемы диалектической логики
- 02.21.11 Современное состояние логики
- 02.21.21 Логические формы и законы
- 02.21.31 Логические системы и исчисления
- 02.21.41 Отдельные понятия и проблемы логики
- Классификатор OECD: Логика, Философия, этика, религиоведение
-
Ключевые слова:
логические исчисления, неклассическая логика
-
Описание:
Исследовательская работа в рамках НИР «Теоретическая и прикладная логика» проводилась по следующим направлениям: системы силлогистики с интенсиональной семантикой; модальные логики мультирешеточных структур, их исчисления и метатеоретические свойства; исчисления сократического типа для некоторых систем многозначной логики; исчисление понятий; логики обобщенных истинностных значений; неклассические логики, их метатеоретичесике и философские аспекты; логики семантических структур обобщенных истинностных значений; Моделирование процессов рассуждения и аргументации, а также различных аспектов когнитивной деятельности средствами современной логики.
-
Планируемые результаты:
В 2021 году планируется продолжение исследований по логикам абстрактных систем обобщенных истинностных значений, дальнейшие исследования силлогистических теорий, изучение формально-логического моделирования когнитивных процессов.
-
Основные результаты:
1. Был разработан особый подход к построению адекватных семантик для различных систем силлогистики, основанный на сопоставлении в качестве значения общим терминам формул языка пропозициональной логики, при этом сами высказывания интерпретируются с использованием отношения логического следования. 2. Были найдены примеры трехзначных дефективных импликаций, ранее не встречавшихся в литературе. Построены секвенциальные исчисления с обратимыми правилами для всех двухместных булевых связок с использованием метода корреспондентского анализа. На основе этих секвенциальных исчислений были предложены сократические исчисления. Метод корреспондентского анализа был применен также к системе первоуровнего следования FDE. В результате разработан общий метод получения натуральных исчислений для произвольных расширений двухместными и одноместными связками FDE. Разработан алгоритм поиска вывода в этих исчислениях. Описан алгоритм поиска вывода в исчислениях, расширяющих двухместными и одноместными связками сильные логики Клини. 3. Предложен натуральный вариант типового лямбда-исчисления понятий как функциональных абстрактов. 4. Исследована аксиоматизация и метатеоретические свойства логики обобщенных истинностный значений, известной в литературе, как ETL. 5. Построено исчисление гиперсеквенций мультирешеточного варианта модальной системы S5.
- Добавил в систему: Беседин Артем Петрович
Источник финансирования НИР
| госбюджет, раздел 0706 (для тем по госзаданию) |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 января 2019 г.-31 декабря 2019 г. | Теоретическая и прикладная логика |
| Результаты этапа: Публикация шести научных статей в высокорейтинговых научных периодических изданиях по теме НИР. | ||
| 2 | 1 января 2020 г.-31 декабря 2020 г. | Теоретическая и прикладная логика |
| Результаты этапа: Публикация шести научных статей в высокорейтинговых научных периодических изданиях по теме НИР. | ||
| 3 | 1 января 2021 г.-31 декабря 2021 г. | Теоретическая и прикладная логика |
| Результаты этапа: По результатам научно-исследовательской работы было опубликовано 11 статей в журналах, входящих в международные базы данных Scopus и WoS, и 1 статья - в журнале, входящем в базу данных RSCI WoS. | ||
| 4 | 1 января 2022 г.-31 декабря 2022 г. | Теоретическая и прикладная логика |
| Результаты этапа: По результатам научно-исследовательской работы за отчетный период было опубликовано 5 статей в научных журналах, входящих в международные базы данных Scopus и WoS, и 1 статья - в журнале, входящем в перечень ВАК РФ. | ||
| 5 | 1 января 2023 г.-31 декабря 2023 г. | Теоретическая и прикладная логика |
| Результаты этапа: По результатам научно-исследовательской работы было опубликовано 6 статей в журналах, входящих в Ядро РИНЦ, а также 3 статьи в рецензируемом научном сборнике. | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".