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

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

Адрес Издательства СО РАН: Россия, 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.203.242.200
    [SESS_TIME] => 1711637457
    [BX_SESSION_SIGN] => 9b3eeb12a31176bf2731c6c072271eb6
    [fixed_session_id] => 4399808896b2d3154f2f21bbabe53f49
    [UNIQUE_KEY] => b0cda514079c0d95497510a4b37d7b86
    [BX_LOGIN_NEED_CAPTCHA_LOGIN] => Array
        (
            [LOGIN] => 
            [POLICY_ATTEMPTS] => 0
        )

)

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

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

2014 год, номер 2

ФОРМАЛЬНАЯ ОНТОЛОГИЯ И НОМИНАЛИСТИЧЕСКАЯ СЕМАНТИКА В ФИЛОСОФИИ МАТЕМАТИКИ БЕРТРАНА РАССЕЛА

В.В. Целищев
Институт философии и права СО РАН, г. Новосибирск
director@philosophy.nsc.ru
Ключевые слова: Подстановочная Теория, онтология, формальная система, теоретико-множественные парадоксы, Principia Mathematica, Рассел, элиминация, пропозициональные функции, номинализм, семантика
Страницы: 14-32
Подраздел: Проблемы логики и методологии науки

Аннотация

Статья посвящена исследованию формальной онтологии в системах, предложенных Б. Расселом в период между его Principles of Mathematics (1903) и Principia Mathematica (совместно с А.Н. Уайтхедом - 1911-1913). На основании рукописей, опубликованных в 1970-х из архива Б. Рассела, описана неизвестная система Подстановочной Теории, предложенной Расселом для решения теоретико-множественных парадоксов наряду с широко известными Зигзаг Теорией и Теорией Ограниченного Размера. Показано, что Подстановочная Теория есть вариант номиналистической элиминации онтологии пропозициональных функций, соответствующей элиминации онтологии классов в рамках его же Не-Класс-Теории. Установлена возможность эмуляции Подстановочной Теорией Простой Теории Типов. Объяснена причина отказа от Подстановочной Теории в пользу Разветвленной Теории Типов в Principia Mathematica из-за открытия парадокса пропозициональных функций. Продемонстрированы преимущества Подстановочной Теории и средства устранения ее недостатков в качестве оснований математики.