ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ИНХС РАН |
||
Специфика контр-классических логик состоит в том, что в имеют место такие логические законы или формы правильных умозаключений, которые не являются общезначимыми с точки зрения классической логики; и, что важно, эти контр-классические теории основываются на том же самом формализованном языке, что и классическая логика. Таким образом, данные логики формируют совершенно уникальную парадигму построения дедуктивных теорий, ведь мотивация, лежащая в основе их построения возникает не в результате критики каких-то классических принципов, а по совершенно независимым и самодостаточным основаниям философского характера. В рамках проекта будут разработаны методы построения дедуктивных теорий в рамках парадигмы контр-классичности как альтернативы парадигме неклассичности. Особое внимание проекта направлено на решение проблемы адекватной экспликации семантических особенностей, связанных с оценкой условных высказываний, а также анализа рассуждений, содержащих условные высказывания.
The specificity of contra-classical logics is that they involve logical laws or forms of correct reasoning that are not valid from the point of view of classical logic; and, importantly, these contra-classical theories are based on the same formalised language as classical logic. Thus, these logics form a completely unique paradigm for the construction of deductive theories, for the motivation behind their construction arises not from a criticism of some classical principles, but from completely independent and self-contained philosophical grounds. The project will develop methods for constructing deductive theories within the paradigm of contra-classicality as an alternative to the paradigm of non-classicality. The special attention of the project is aimed at solving the problem of adequate explication of semantic features related to the evaluation of conditional statements, as well as analysing reasoning containing conditional statements.
В рамках проекта ожидается получение следующих научных результатов: 1) будут разработаны оригинальные подходы семантического построения контр-классических логических теорий в парадигме истинностно-функциональной и реляционной семантик; 2) будет разработан класс логических систем, сформулированных в виде аксиоматических исчислений и/или исчислений натурального вывода и/или секвенциальных исчислений. По результатам проекта планируется публикация не менее двух статей в высокорейтинговых журналах индексируемых базами данных Scopus и/или Web of Science.
Разработка логических систем, которые позволяют проводить формальный анализ естественных рассуждений с использованием моделей, учитывающих различные аспекты полемических ситуаций (противоречивая, неполная информация и пр.); построение формальных моделей аргументативных рассуждений; разработка методологии обобщенной би-компонентной семантической оценки аргументов; разработка авторских методов доказательства адекватности семантических и синтаксических подходов к анализу рассуждений; разработка оригинальных подходов к моделированию фальсификации условных высказываний и к анализу смысла логических связок. Руководитель имеет опыт успешной реализации проекта РНФ№19-78-00044 "Логический анализ рассуждений в контексте противоречивой и неполной информации" (в качестве руководителя) в рамках конкурса 2019 года "Проведение инициативных исследований молодыми учеными" Президентской программы исследовательских проектов, реализуемых ведущими учеными, в том числе молодыми учеными. Руководитель имеет опыт успешной реализации проекта РНФ№20-18-00158 "Формальная философия аргументации и комплексная методология поиска и отбора решений спора" (в качестве исполнителя) в рамках конкурса 2020 года «Проведение фундаментальных научных исследований и поисковых научных исследований отдельными научными группами».
грант РНФ |
# | Сроки | Название |
1 | 8 августа 2023 г.-30 июня 2025 г. | Контр-классические логики |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".