ИНТЕНСИОНАЛЬНОСТЬ В МАТЕМАТИКЕ И НЕВОЗМОЖНЫЕ ВОЗМОЖНЫЕ МИРЫ
В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8
leitval@gmail.com
Ключевые слова: интенсиональность математики, модальная логика, семантика возможных миров, невозможные возможные миры, intensionality of mathematics, modal logic, possible worlds semantics, impossible possible worlds
Страницы: 72-85
Аннотация
В статье анализируется способ экспликации интенсиональности математического дискурса средствами семантики возможных миров. Несмотря на представление об экстенсиональности математики, математические результаты, в частности вторая теорема Гёделя о неполноте, существенно зависят от интерпретации значения математических терминов. Показано, что это затруднение может быть преодолено средствами семантики возможных миров. Вместе с тем обосновывается тезис, что семантика возможных миров С. Крипке не решает указанную проблему в связи с предусмотренной в ней экстенсионализацией интенсионального содержания. Тогда как семантика возможных миров Я. Хинтикки и его концепция невозможных возможных миров являются плодотворным средством обнаружения и объяснения интенсиональности математического дискурса.
DOI: 10.15372/PS20200305 |
