Ex absurdo quodlibet и формальное представление релевантности

Боковая панель статьи

PDF
Опубликован: Dec 30, 2024
DOI: https://doi.org/10.24412/2222-5331-2024-82-91
Ключевые слова:
relevant logic, informal rigor, core logic, natural logicism, ex absurdo quodlibet

Основное содержимое статьи

Александр Хлебалин
Институт философии и права Сибирского отделения Российской академии наук

Аннотация

В статье дана предварительная общая характеристика проблемы представления формально-логическими средствами релевантности неформально строгих рассуждений в математике. Показано, что релевантистская позиция в формализации математических утверждений традиционно предполагает отказ от вывода ex absurdo quodlibet. Отмечается, что теория натурального логицизма, основанная на системе Core Logic, допускает возможность совместимости принципа релевантизма и вывода ex absurdo quodlibet.

Информация о статье

Как цитировать
Хлебалин, А. (2024). Ex absurdo quodlibet и формальное представление релевантности. Analytica, 9, 82–91. https://doi.org/10.24412/2222-5331-2024-82-91
Выпуск
Том 9 (2024)
Раздел
Статьи
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution-ShareAlike» («Атрибуция — На тех же условиях») 4.0 Всемирная.

Как цитировать

Хлебалин, А. (2024). Ex absurdo quodlibet и формальное представление релевантности. Analytica, 9, 82–91. https://doi.org/10.24412/2222-5331-2024-82-91