Об онтологии проблемно-ориентированых языков и теорий первого порядка
Ю.Л. Ершов, К.Ф. Самохвалов
Институт математики СО РАН, г. Новосибирск ershov@math.nsc.ru
Ключевые слова: онтология, язык, теория, логика
Страницы: 37-66 Подраздел: Проблемы логики и методологии науки
Аннотация
Главные онтологические баталии в современной научной литературе ведутся вокруг вопроса, при каких условиях и как можно говорить о существовании чего бы то ни было (и в каком бы то ни было смысле) точным образом. Пока и поскольку этот вопрос не выяснен, все остальные онтологические разговоры напоминают часы со снятым маятником: часы идут в ускоренном темпе, но не показывают время. Цель работы – выяснить указанный вопрос применительно к языкам и теориям первого порядка, ориентированным на постановку и решение проблем некоторого достаточно общего типа.
|