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

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

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

)

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

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

2013 год, номер 4

Об онтологии проблемно-ориентированых языков и теорий первого порядка

Ю.Л. Ершов, К.Ф. Самохвалов
Институт математики СО РАН, г. Новосибирск
ershov@math.nsc.ru
Ключевые слова: онтология, язык, теория, логика
Страницы: 37-66
Подраздел: Проблемы логики и методологии науки

Аннотация

Главные онтологические баталии в современной научной литературе ведутся вокруг вопроса, при каких условиях и как можно говорить о существовании чего бы то ни было (и в каком бы то ни было смысле) точным образом. Пока и поскольку этот вопрос не выяснен, все остальные онтологические разговоры напоминают часы со снятым маятником: часы идут в ускоренном темпе, но не показывают время. Цель работы – выяснить указанный вопрос применительно к языкам и теориям первого порядка, ориентированным на постановку и решение проблем некоторого достаточно общего типа.