Формальные онтологии : Аналитическая реконструкция

• Автор: Драгалина-Черная, Елена Григорьевна
• Шифр специальности: 09.00.01
• Научная степень: Докторская
• Год защиты: 2000
• Место защиты: Москва
• Количество страниц: 252 с.

ОГЛАВЛЕНИЕ
Введение.

Глава 1. Формальные онтологии в трасцендентальной традиции

1.1. Онтология картезианского когито перформативная интерпретация.

1.2. Онтология трансцендентального схематизма

И.Кант и Э.Гуссерль

Глава 2. Формальные онтологии в теоретико 1модельной перспективе

2.1. Универсализм и теоретико модельная концепция языка

2.2. Абстрактные логики как формальные онтологии

Глава 3. Границы логического онтология нестандартной квантификации

3.1. Онтология нелинейной квантификации.

3.2. Онтология интенсиональной анафоры.
Заключение
Литература


XX века и истории русской философии. Основные положения диссертации, выносимые на защиту. Картезианский принцип i допускает перформативную интерпретацию в теории речевых актов. Условием адекватной реконструкции картезианского i является признание не сводимого ни к дескриптивному, ни к перспективному метода идентификации идентификации на основе самосознания. Кантовское учение о схематизме может быть интерпретировано как семантическая теория когнитивного тина. Результатом такой интерпретации является признание концептуального приоритета схематизации но отношению к функции единства. Допущение различных способов схематизации ведет к выводу о многообразии функций единства. Именно в силу этого многообразия логика не может выявить универсальные формы суждений. Признавая возможность систематического варьирования и метатеоретического сопоставления онтологических схем, трансцендентальная феноменология радикальным образом расходится с принципами универсалистской концепции языка. Формальные онтологии, рассматриваемые как абстрактные логики, являются формальными теориями второпорядковых отношений в иной терминологии теориями обобщенной квантификации. Не различая конкретные индивиды в области, они имеют дело с индивидами высшего порядка классами изоморфных структур. Многообразие формальных онтологий не отменяет ни их формальности, ни их априорности. Трансцендентальная позиция в металогике кардинально отличается как ог универсалистской идеологии самодостаточности логики, отрицающей необходимость е эпистемологического оправдания, так и от позитивисткого нормативного истолкования метаонтологических вопросов. Реализация программы построения формальных онтологий в условиях существования неклассической логики и неклассической науки связана с пересмотром традиционных принципов демаркации логики, онтологии и эпистемологии. Эпистемология эта является онтологической в том смысле, что е онтологические аспекты группирующиеся вокруг понятия адекватности обладают концептуальным приоритетом по отношению к аспектам нормативным связанным с понятиями полезности, простоты, экономности. Расширение выразительных возможностей языков современной логики придаст новую, более точную форму классической проблеме онтологических границ логического. Эта проблема приобретает форму вопроса о границах нестандартной квантификации. Анализ онтологических допущений нелинейной квантификации демонстрирует неадекватность тезиса А. Квантификация в контекстах с пропозициональными установками связана с нестандартной трактовкой фундаментальной категории индивид. Отождествление того, что не является в полном смысле определенным контексты с интенциональным тождеством, и различение двух способов представления определенного контексты с различными установками с Поскольку любой индивид не может быть дан без горизонта схематизированных возможностей, его абсолютная идентификация, не соотносимая со способом схематизации, оказывается нереалистическим идеалом. Возможные индивиды трактуются, таким образом, как схематические индивидные характеризации региональной предметности, а актуальный мир не как один из возможных миров, а как их регулятивный идеал. Апробация работы. Основные положения и результаты исследования докладывались и обсуждались на IV Совегско финском логическом коллоквиуме Телави , IX и X Всесоюзных конференциях по логике, методологии и философии науки Харьков , Минск , литовско финской конференции Язык и познание Вильнюс, , VIII Международном конгрессе по логике, методологии и философии науки Москва, , Международных Кантовских чтениях Светлогорск, , Международных конференциях, посвященных С. Клини и Г. Гейтингу Варна, , , IV Международных чтениях памяти К. Твардовского Львов, , Международной конференции Вклад Г. Фреге и Д. Гильберта в логику, философию и математику XX века Светлогорск, , XV Международном Витгенштейновском симпозиуме Кирхберг, , Международной конференции Логика, язык, информация Гренобль. Между на родной конференции памяти Г.