Паранепротиворечивость, параполнота и модальная логика
| Название НИОКТР | Паранепротиворечивость, параполнота и модальная логика |
|---|---|
| Аннотация | Проблема логического анализа алетических модальностей имеет давнюю историю. Первые шаги в изучении силлогистических рассуждений, содержащих высказывания о необходимом и возможном, впервые были сделаны еще родоначальником логики – Аристотелем. Свою современную форму подобные исследования приобрели в начале XX в. после работ К.И.Льюиса, который первым осуществил синтаксический анализ модальностей. С тех пор модальная логика представляет собой один из наиболее бурно развивающихся разделов неклассической логики. Особое значение в истории развития модальной логики имеют достижения С.Крипке. В 60-х годах XX в. он решил проблему семантической экспликации смысла модальных операторов, введя в обиход так называемые "семантики возможных миров", что позволило не только решить проблему построения адекватных семантик для синтаксически заданных модальных логик, но и оказалось важным стимулом для развития отдельных разделов в области аналитической философии. Тем не менее, когда мы говорим о модальной логике, чаще всего имеются в виду такие логические теории, в которых рассуждения с модальными высказываниями по умолчанию основаны на логических связках, понимаемых в духе классической логики. Этот аспект открывает дорогу к возможным обобщениям модальной логики, а именно к тому, чтобы исключить присущие классической логике недостатки при осуществлении рассуждений с модальными высказываниями. Одними из наиболее известных недостатков классической логики является её неспособность к адекватной формализации рассуждений в условиях противоречивости и неполноты информации. В исследования по неклассической логике известны случаи успешного устранения этих недостатков, что вылилось в возникновение отдельных направлений, предлагающих альтернативу классической логике в деле анализа рассуждений в условиях противоречивой и неполной информации. Речь идет о паранепротиворечивых и параполных логиках. Логические теории указанных видов позволяют сделать методологию анализа дедуктивных рассуждений более приближенной к ситуациям естественных рассуждений, чем это позволяет классическая логика. Очевидно, что изучение рассуждений, содержащих модальные высказывания, с учетом достижений из области паранепротиворечивой и параполной логики позволит расширить современный взгляд на проблему логического анализа модальности. Именно эта задача и помещена в центр внимания данного исследовательского проекта. |
| Доступ к ОКОГУ исполнителя | True |
| Количество связанных РИД | 0 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 3000.0 |
| Дата начала | 2025-09-15 |
| Дата окончания | 2026-12-31 |
| Номер контракта | 25-78-00060 |
| Дата контракта | 2025-09-15 |
| Количество отчетов | 2 |
| УДК | 161/162 |
| Количество просмотров | 3 |
| Руководитель работы | Беликов Александр Александрович |
| Руководитель организации | Козырев Алексей Павлович |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В.ЛОМОНОСОВА" |
| Заказчик | Российский научный фонд |
| Федеральная программа | Отсутствует |
| Госпрограмма | — |
| Основание НИОКТР | Грант |
| Последний статус | 2025-12-03 11:58:02 UTC, 2025-12-03 11:58:02 UTC |
| ОКПД | Нет |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | неклассические логики; коннексивная логика; контр-классические логики; алетические модальности; параполная логика; паранепротиворечивая логика; модальная логика |
| Соисполнители | — |
| Типы НИОКТР | Фундаментальное исследование |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 02.21.41 - Отдельные понятия и проблемы логики |
| OECD | — |
| OESR | Философия |
| Приоритеты научно-технического развития | Отсутствует |
| Регистрационные номера | — |