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

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

Адрес Издательства СО РАН: Россия, 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] => 3.236.13.53
    [SESS_TIME] => 1632193237
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => 24beb7c14e8de440a14d54f5c8644190
    [SALE_USER_ID] => 0
    [UNIQUE_KEY] => cc8e9e3412f8b2ae17a99f6cb803022b
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

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

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

2019 год, номер 1

МИНИМИЗАЦИЯ СЛЕДСТВИЙ ИНТЕНСИОНАЛЬНОСТИ В В«НАИЛУЧШЕЙ И САМОЙ ОБЩЕЙ ВЕРСИИ» ВТОРОЙ ТЕОРЕМЫ ГЁДЕЛЯ

В.В. Целищев1,2, А.В. Хлебалин1
1Институт философии и права СО РАН, 630090, Новосибирск, ул. Николаева, 8
leitval@gmail.com
2Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, ул. Пирогова, 2
Ключевые слова: интенсиональность, Вторая теорема Геделя, непротиворечивость, обоснованность, принцип рефлексии, формальная система, доказательство, intensionality, GГ¶del Second Theorem, consistency, soundness, principle of reflection, formal system, proof
Страницы: 58-69
Подраздел: Проблемы логики и методологии науки

Аннотация

Статья посвящена способу устранения следствий интенсиональности Второй теоремы Геделя о неполноте. Способ, предложенный самим Геделем, называется «наилучшей и самой общей версией» Второй теоремы. Рассмотрение (нестандартных) систем со встроенной непротиворечивостью, в которых непротиворечивость доказуема внутри системы, обнаруживает две точки зрения: первая заключается в семантической неопределенности таких систем, а вторая - в попытках укрепления Второй теоремы. Введение Геделем понятий внутренней и внешней непротиворечивости, и переход к принципу рефлексии как более адекватной формулировке в его терминах Второй теоремы, имеет цель минимизации интенсиональных аспектов в метаматематическом дискурсе.

DOI: 10.15372/PS20190103
Добавить в корзину
Товар добавлен в корзину