Читать онлайн «Онтологии для Абеляра и Элоизы»

ВЫСШАЯ ШКОЛА ЭКОНОМИКИ НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ Е. Г. Драгалина-Черная ОНТОЛОГИИ ДЛЯ БЕЛЯРА И ЛОИЗЫ Издательский дом Высшей школы экономики Москва 2012 УДК 16 ББК 87. 4 Д72 Рекомендовано к печати Ученым советом факультета философии Национального исследовательского университета «Высшая школа экономики» Индивидуальный исследовательский проект № 10-01-0005 «Формальные онтологии: от феноменологии к логике» выполнен при поддержке Программы «Научный фонд НИУ ВШЭ» Рецензент — доктор философских наук, профессор кафедры онтологии и теории познания философского факультета МГУ им. М. В. Ломоносова З. А. Сокулер Драгалина-Черная, Е. Г. Онтологии для ∀беляра и ∃лоизы Д72 [Текст] / Е. Г. Драгалина-Черная ; Нац. исслед. ун-т «Высшая школа экономики». — М. : Изд. дом Высшей школы экономики, 2012. — 231, [1] с. — 600 экз. — ISBN 978-5-7598-0957-9 (в обл. ). Монография посвящена онтологии стандартной и девиантной квантификации. В работе сопоставляются эвристические возможности и онтологические обязательства двух парадигм интерпретации кван- торов: как второпорядковых предикатов и как функций выбора от их истоков (Г. Фреге и Ч. С. Пирс) до современного состояния (абстракт- ные логики и IF-логика). Новизна исследования связана с философ- ской оценкой технических результатов последних лет о выразительных и дедуктивных возможностях логик с нестандартной квантификацией. Монография включает апробацию разработанных методов в логиче- ском анализе языка, а также в логико-онтологической экспликации классических философских затруднений, обусловленных предикатив- ной трактовкой существования. Книга предназначена для специалистов в области логики, фило- софии, когнитивной лингвистики и психологии, онтологической ин- женерии, а также для всех тех, кто интересуется историей и современ- ным состоянием логики, аналитической философии и феноменологии, философскими основаниями математики и компьютерных наук. УДК 16 ББК 87. 4 ISBN 978-5-7598-0957-9 © Драгалина-Черная Е. Г. , 2012 © Оформление. Издательский дом Высшей школы экономики, 2012  ß Содержание Введение ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... . . 5 Глава 1. Кванторы как второпорядковые предикаты: от Фреге к абстрактным логикам... ... ... ... ... ... ... ... ... ... ... ... ... ... ... 8 1. 1. Г. Фреге о кванторах как свойствах понятий ... ... ... ... ... . . 8 1. 2. Онтологические основания теоретико-модельной семантики А. Тарского: кванторы как логические объекты ... ... ... ... ... ... ... ... ... ... . 20 1. 3.