Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Array
(
    [SESS_AUTH] => Array
        (
            [POLICY] => Array
                (
                    [SESSION_TIMEOUT] => 24
                    [SESSION_IP_MASK] => 0.0.0.0
                    [MAX_STORE_NUM] => 10
                    [STORE_IP_MASK] => 0.0.0.0
                    [STORE_TIMEOUT] => 525600
                    [CHECKWORD_TIMEOUT] => 525600
                    [PASSWORD_LENGTH] => 6
                    [PASSWORD_UPPERCASE] => N
                    [PASSWORD_LOWERCASE] => N
                    [PASSWORD_DIGITS] => N
                    [PASSWORD_PUNCTUATION] => N
                    [LOGIN_ATTEMPTS] => 0
                    [PASSWORD_REQUIREMENTS] => Пароль должен быть не менее 6 символов длиной.
                )

        )

    [SESS_IP] => 34.229.172.86
    [SESS_TIME] => 1711726369
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => 454f787fea8adf119d7dd7df039ca93c
    [UNIQUE_KEY] => 716f5b806ecf7984564516781058e951
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

Поиск по журналу

Философия науки

2020 год, номер 1

ГИПЕРИНТЕНСИОНАЛЬНОСТЬ В СООТНОШЕНИИ РАЗВЕТВЛЕННОЙ ТЕОРИИ ТИПОВ И ПОДСТАНОВОЧНОЙ ТЕОРИИ Б. РАССЕЛА

В.В. Целищев, А.В. Хлебалин
Институт философии и права СО РАН, 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