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

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

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

soran2.gif

Baner_Nauka_Sibiri.jpg


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

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

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

2013 год, номер 4

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

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

Аннотация

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



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять