Понимание или ad hoc объяснение: случай аксиомы сводимости Рассела
DOI:
https://doi.org/10.25206/2542-0488-2022-7-2-102-107Ключевые слова:
разветвленная теория типов, аксиома сводимости, объяснительная схема, понимание, интенсиональность математикиАннотация
В статье критикуется широко распространенная интерпретация аксиомы сводимости Principia Mathematica, согласно которой аксиома не может считаться логической, что ставит под сомнение успех программы логицизма. В частности, опровергается приписываемый аксиоме сводимости ad hoc характер и утверждается ее объяснительная роль в обосновании единообразного подхода Рассела к разрешению теоретико-множественных и семантических парадоксов. Ключевой акцент в объяснительном характере аксиомы сводимости сделан на важности интенсиональных аспектов математического дискурса.
Скачивания
Опубликован
Как цитировать
Лицензия
Неисключительные права на статью передаются журналу в полном соответствии с Лицензией Creative Commons BY-NC-SA 4.0 «Attribution-NonCommercial-ShareAlike» («Атрибуция-Некоммерчески-СохранениеУсловий») 4.0 Всемирная (CC BY-NC-SA 4.0)