ГИПЕРИНТЕНСИОНАЛЬНОСТЬ В СООТНОШЕНИИ РАЗВЕТВЛЕННОЙ ТЕОРИИ ТИПОВ И ПОДСТАНОВОЧНОЙ ТЕОРИИ Б. РАССЕЛА
В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 630090, г. Новосибирск, ул. Николаева 8 leitval@gmail.com
Ключевые слова: интенсиональность математического дискурса, теория типов, подстановочная теория, универсальность логики, гиперинтенсинальный парадокс, intensionality of mathematical discourse, theory oftype, substitutional theory, universality of logic, hyper-intensional paradox
Страницы: 76-86
Аннотация
Анализируется проблема интенсиональности математики в программе логицизма Б. Рассела. Показано, что интенсиональный подход, примененный в «Principia Mathematica», связан с возникновением гиперинтенсионального парадокса в подстановочной теории Рассела. Подстановочная теория рассматривалась им в качестве средства разрешения парадоксов в перспективе сохранения универсалистского понимания логики, несовместимой с теорией типов. Воспроизведение в подстановочной теории гиперсинтенсионального парадокса привело к отказу от нее в «Principia Mathematica» в пользу разветвленной теории типов.
DOI: 10.15372/PS20200104 |