|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Интенсиональные силлогистические теорииНИР
Intensional syllogistic theories
- Руководитель НИР: Маркин В.И.
- Ответственный исполнитель: Легейдо М.М.
- Подразделение: Кафедра логики
- Срок исполнения: 1 октября 2020 г. - 1 октября 2022 г.
- Номер договора (контракта, соглашения): 20-311-90043
- Номер ЦИТИС: 121060100046-1
- Тип: Фундаментальная
- Приоритетное направление научных исследований: другое
-
Рубрики ГРНТИ:
- 02.21.31 Логические системы и исчисления
-
Ключевые слова:
понятие, семантика, интенсиональная логика, релевантное следование, логическое исчисление, категорические суждения, силлогистика, логическое следование, интерпретация
syllogistic, concept, interpretation, relevant entailment, logical calculus, intensional logic, logical entailment, semantics, categorical propositions - Добавил в систему: Легейдо Мария Михайловна
Источник финансирования НИР
| грант РФФИ |
Этапы НИР
| # | Сроки | Название |
| 1 | 1 октября 2020 г.-1 января 2021 г. | Составление плана диссертации, сбор и изучение современной научной литературы по данной проблеме. |
| Результаты этапа: - | ||
| 2 | 1 января 2021 г.-1 июля 2021 г. | Построение интенсиональных семантик, в том числе использующих отношение релевантного следования, для различных систем позитивной силлогистики, поиск доказательства семантической непротиворечивости и полноты этих систем. Написание статьи с изложением полученных результатов. |
| Результаты этапа: - | ||
| 3 | 1 июля 2021 г.-1 октября 2022 г. | Исследование вопроса о влиянии типа отношения следования в интенсиональной семантике силлогистики на класс силлогистических законов |
| Результаты этапа: - | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".