Программа дисциплины формальная онтология для специальности 030100. 62 «Философия» подготовки специалиста

Министерство экономического развития и торговли

Российской Федерации

Государственный университет –

Высшая школа экономики

Факультет философии

Программа дисциплины

ФОРМАЛЬНАЯ ОНТОЛОГИЯ

для специальности 030100.62 «Философия» подготовки специалиста

Автор Васюков В.Л.

Рекомендована секцией УМС Одобрена на заседании кафедры

«Философия» онтологии, логики и теории познания

Председатель Е.Г. Драгалина-Черная Зав. кафедрой В.Н. Порус

_____________________________ _____________________________ «_____» __________________ 200 г. «____»_____________________ 200 г

Утверждена УС факультета

философии

Ученый секретарь

_________________________________

« ____» ___________________200 г.

Москва

Пояснительная записка

Курс формальной онтологии ставит своей целью получение студентами представления о предмете формальной онтологии, природе и специфике онтологических концепций и наиболее известных системах формальной онтологии и онтологики, а также о той методологической роли, которую играет онтологика в познавательной деятельности человека. При этом ставится задача не только представить формальную онтологию как теоретическую дисциплину, но и очертить круг практических онтологических проблем, которые могут быть решены именно с ее использованием, делая при этом акцент на формулировку критериев, норм и правил корректного осуществления различных формально-онтологических построений.

Курс рассчитан на два модуля и тематически разбит на пять разделов. Первый раздел посвящен генезису концепции формальной онтологии, терминологии и типологии. В нем исследуется происхождение термина «формальная онтология» и приводится хронология исследований данного направления онтологии. Дается краткая характеристика современного состояния дел в этой области и описываются некоторые основные подходы, связанные с философскими позициями родоначальников формальной онтологии. Описываются онтологические типологии (классификации по онтическим положениям), использующие нелогические аспекты анализа. Второй раздел посвящен взаимоотношению формальной онтологии и формальных языков. В нем проводится различение между дескриптивной, формализованной и формальной онтологиями, и исследуется проблема онтологических обязательств логических языков. Рассмотрены примеры формальных языков для формальной онтологии, используемых, в частности, в системах искусственного интеллекта. Третий раздел рассматривает вопросы соотношения логики и онтологии, не только на материале истории логики, но и привлекая к рассмотрению современные неклассические логики: модальные, временные, интуиционистскую, многозначные и релевантную. Приводится анализ проблемы последствий логического плюрализма, ведущего к онтологическому плюрализму, рассмотрена проблема глобальности и локальности систем формальных онтологий. В четвертом разделе излагаются классическая и неклассическая онтологика, рассматриваются системы формальной онтологии, начиная с классической системы Онтологии Лесьневского. Приводятся системы онтологии, разработанные автором программы, основанные на не-фрегевской и комбинированной логиках. Наконец, в последнем, пятом разделе, рассматривается понятие формальной метаонтологии и оцениваются ее перспективы. Выясняется, способна ли формальная метаонтология представлять собой новую область знания; служит ли она только в качестве вспомогательной конструкции в онтологическом исследовании; или она нужна для целей описания концепций и конструкций, разработанных исследователями формально-онтологических теорий. В заключение приводится открытый список проблем, актуальных для современного этапа развития формальной онтологии.

Тематический план учебной дисциплины

№ пп	Название темы	Всего часов по дисциплине	Аудиторные часы		Самостоятельная работа
			Лекции	Семинары
1.	Генезис концепции формальной онтологии, терминология и типология	21	3	1	18
2.	Формальная онтология и формальные языки.	19	2	1	18
3.	Формальная онтология и логика.	54	10	6	35
4.	Классическая и неклассическая онтологика.	56	10	6	36
5.	Перспективы и проблемы формальной онтологии.	12	1	0	15
	Итого:	162	26	14	122

Формы рубежного контроля и структура итоговой оценки

Итоговая оценка по учебной дисциплине складывается из следующих элементов:

• 
  Подготовка студентами докладов, выступление с докладами на занятиях, их обсуждение
  

• 
  Домашнее эссе (3-4 тыс. слов)
  

• 
  Реферат
  

• 
  экзамен
  

Базовый учебник

Васюков В.Л. Формальная онтология. М.: ИФ РАН, 2006.

Содержание программы

Тема 1. ГЕНЕЗИС КОНЦЕПЦИИ ФОРМАЛЬНОЙ ОНТОЛОГИИ, ТЕРМИНОЛОГИЯ И ТИПОЛОГИЯ.

Происхождение термина «формальная онтология». Гуссерлевская концепция формальной онтологии, ее мереологические и топологические основания. Хронология и персоналия исследований по формальной онтологии. Дескриптивная онтология Ф.Брентано: онтология вещей, онтология состояний дел и онтология оценок. Общая теория предметов К.Твардовского. Понятие метафизической части предмета. Не-гуссерлевские концепции формальной онтологии как теория бытия в рамках и на языке элементарных формальных теорий. Взаимоотношение гуссерлевской и не-гуссерлевской концепций формальной онтологии. Онтология Ст.Лесьневского как логическая система и как система формальной онтологии. Онтика, онтометодология, онтологика и формальная онтология. Онтологические типологии.

Вопросы и задания для самостоятельной работы

1. В чем специфика формальной онтологии по отношению к формальной логике?

2. Чем вызван «гибридный» характер системы онтологии Лесьневского?

3. Каким образом онтологика способствует решению онтологических проблем?

Литература

Основная: [Васюков 2006, с.6-19].

Дополнительная: [Васюков 1999, с.10-54], [Твардовский 1997, с.38-159], [Кюнг 1999, с.129-156], [Poli 1997].

Тема 2. ФОРМАЛЬНАЯ ОНТОЛОГИЯ И ФОРМАЛЬНЫЕ ЯЗЫКИ.

Понятие дескриптивной, формальной и формализованной онтологий. Онтологические обязательства логических языков. Конструирование искусственных языков и выяснение содержащихся в них онтологических допущений как средство изучения проблем онтологии. Формальные языки формальной онтологии. Формальные онтологии и языки для искусственного интеллекта: онтологический язык типа диаграмм Венна, GOL, KIF, высокоуровневая онтология Рассела и Норвига, высокоуровневая онтология Соувы, LADSEB, SUO.

Вопросы и задания для самостоятельной работы

1. Кант утверждал, что онтология как самостоятельная наука о бытии невозможна, и что философия не может делать обоснованные утверждения о внешнем мире самом по себе. Означает ли это, что все онтологические проблемы философии являются псевдопроблемами?

1. Переведите на онтологический язык зависимостей: «Богословский диспут между Иваном и Евгением», «Научное открытие не может произойти иначе как относительно некоторой теории, которая, в свою очередь, не может быть сформулирована иначе как на основании научного открытия», «Сидоров и Сбербанк связаны имущественным отношением, которое существует в силу обещания возврата кредита, чье содержание все еще остается не реализованным».

2. Какие субстанции в онтологическом языке GOL содержит ситуоиды «боксерский поединок между Валуевым и Кличко»? Как нужно переформулировать этот ситуоид, чтобы превратить его в ситуацию?

Литература

Основная: [Васюков 2006, с.20-32].

Дополнительная: [Васюков 2006а], [Смирнов 2002, с.140-143].

Тема 3. ФОРМАЛЬНАЯ ОНТОЛОГИЯ И ЛОГИКА.

История взаимоотношений логики и онтологии. Теория типов и теория множеств как общие онтологии. Логика как язык (lingua universalis) и логика как исчисление (сalculus ratiocinator): последствия для онтологии. Проект Г.Лейбница и две исследовательские традиции в логике: Г.Фреге vs алгебраическая школа (Буль, Пирс, Шрёдер).

Онтологические допущения языков неклассических логик. Виды модальных логик. Онтология возможных миров в модальной логике. Проблемы квантификации в модальных контекстах. Формула Баркан и связанные с ней проблемы. Онтология и семантика возможных миров для алетических исчислений предикатов. Жесткая десигнация и мировые линии. Модальные исчисления предикатов с равенством. Семантика и онтология возможных миров для деонтических модальных исчислений.

Логическое изучение знания. Парадокс «всеведения». Автоэпистемическая логика. Многосубъектные системы. Эпистемические модальные исчисления предикатов. Онтология и семантика возможных миров для эпистемических модальных логик.

Онтологические обязательства языков временной логики. Фреймы и модели временной логики. Постулаты однородности, симметричности и транзитивности, конечности и бесконечности времени. Постулаты плотности, непрерывности и дискретности времени. Постулаты линейности времени. Ветвящиеся временные структуры.

Конструктивистская философия и интуиционистская логика. Реляционная онтология интуиционистской логики. Проблема роста и накопления знаний.

Источники многозначности и философские аргументы в пользу принятия многозначной логики. Возникновение многозначной логики. Трехзначная логика Лукасевича и ее содержательная интерпретация. Многозначность и модальность. Онтологические обязательства языков многозначной логики. Онтология и семантика возможных миров для бесконечнозначной логики Лукасевича. Теория нечетких множеств как общая онтология.

Информативность законов логики и классическое понятие описаний состояния. Противоречивые описания состояния и релевантное следование. Связь релевантного и классического следований. Модальность и релевантность Онтология и семантика возможных миров с тернарным отношением достижимости.

Основные принципы онтологии и семантики паранепротиворечивой логики. Паранепротиворечивость многозначных логик. Проблема паранепротиворечивости релевантных логик. Паранепротиворечивая логика и паранепротиворечивая онтология.

От логического плюрализма к плюрализму универсумов. Способы получения универсумов. Глобальность и локальность. Метафизические и онтологические обязательства языка и онтологический плюрализм.

Вопросы и задания для самостоятельной работы

1. Чем принципиально отличается между собой природа возможных миров в алетической, деонтической и эпистемической модальных логиках?

2. Как содержательно интерпретируется отношение достижимости в модельных структурах временной логики? Как влияют постулаты, принимаемые в различных системах временной логики на свойства отношения достижимости?

3. Каковы существенные идеализации, принимаемые в интуиционизме?

4. Как многозначные логики решают проблему логического фатализма?

5. Какова главная особенность онтологии описаний состояния для релевантной логики?

6. Влечет ли логический плюрализм онтологический плюрализм?

Литература

Основная: [Васюков 2006, с.33-49].

Дополнительная: [Гольдблатт 1992, с. 3-14], [Караваев 1983], [Костюк 1978, с. 37-50; 56-68; 70-100; 127-138], [Павилёнис 1983, с. 125-127; 138-173], [Смирнова 1996, с. 142-146], [Войшвилло 1988, с. 4-12; 27-38; 61-63; 101-115] [Карпенко 1997], [Ишмуратов Карпенко Попов 1989, с.], [да Коста 1982], [Драгалина-Черная 2000, с.84-90].

Тема 4. КЛАССИЧЕСКАЯ И НЕКЛАССИЧЕСКАЯ ОНТОЛОГИКА.

Триада систем Лесьневского. Брентанизм и номинализм Лесьневского. Прототетика. Онтология. Мереология. О лесьневскианских формальных онтологиях.

Ситуационная формальная онтология. Не-фрегевская логика. Не-фрегевская онтология. Метафорическая (не-не-фрегевская) логика. Метафорическая онтология ситуаций.

Комбинированная логика как формальная онтология событий. Комбинированная дискурсивная логика Васильева-Яськовского: онтологические модальности. Аксиоматика системы JVCD. Семантики системы JVCD: семантика возможных миров, алгебраическая семантика.

Комбинированные логики да Косты: онтологическая паранепротиворечивость. Синтаксис и аксиоматика. Семантика расслоений комбинированной логики да Косты.

Формальная онтология ситуаций и событий: комбинированная не-фрегевская логика. Формальная каузальная онтологика. Диодорова комбинированная каузальная логика. Ортомодулярная комбинированная каузальная онтологика.

Вопросы и задания для самостоятельной работы

1. В чем заключается различие между ситуациями и возможными мирами с точки зрения не-фрегевской онтологии?

2. Чем онтологическая паранепротиворечивость отличается от логической паранепротиворечивости?

3. Каково интуитивное различие между двумя формулировками принципа тождества неразличимых Лейбница в не-фрегевской логике?

Литература

Основная: [Васюков 2006, с.50-128].

Дополнительная: [Васюков 1999, с.29-56], [Кюнг 1999, с.129-156].

Тема 5. ПЕРСПЕКТИВЫ И ПРОБЛЕМЫ ФОРМАЛЬНОЙ ОНТОЛОГИИ.

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

Вопросы и задания для самостоятельной работы

1. Является ли формальная метаонтология метатеорией формальной онтологии?

2. Как связаны между собой металогика и метаонтология?

Литература

Основная: [Васюков 2006, с.129-133].

Рекомендуемая литература

Основная литература

[Васюков 2006] Васюков В.Л. Формальная онтология. М.: ИФ РАН, 2006.

[Васюков 1999] Васюков В.Л. Формальная феноменология. М.: Наука, 1999.

Дополнительная литература

[Васюков 2006а] Васюков В.Л. Формальная онтология и искусственный интеллект // Искусственный интеллект / под ред. Д.И. Дубровского и В.А. Лекторского, М.: ИИнтеЛЛ, 2006. С. 305-324.

[Войшвилло 1988] Войшвилло Е. К. Философско-методологические аспекты релевантной логики, М: изд-во МГУ, 1988.

[Гольдблатт 1992] Гольдблатт Р. Логика времени и вычислимости, М.: ОИЛКРЛ, 1992.

[Драгалина-Черная 2000] Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Альфа, 2000.

[Ишмуратов Карпенко Попов 1989] Ишмуратов А. Т., Карпенко А. С., Попов В. М. О паранепротиворечивой логике // Синтаксические и семантические исследования неэкстенсиональных логик, М.: Наука, 1989. С. 261-284.

[Караваев 1983] Караваев Э. Ф. Основания временной логики, Л.: изд-во ЛГУ, 1983.

[Карпенко 1997] Карпенко А. С. Многозначные логики // Логика и компьютер, вып. 4. М: Наука, 1997.

[да Коста 1982] да Коста Н. Философское значение паранепротиворечивой логики // Философские науки, 1982, № 4.

[Костюк 1978] Костюк В. Н. Элементы модальной логики, Киев: Наукова думка, 1987.

[Кюнг 1999] Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999.

[Павилёнис 1983] Павилёнис Р. Проблема смысла. Современный логико-философский анализ языка, М: Мысль, 1983.

[Смирнов 2002] Смирнов В.А. Логический анализ научного знания. М.: УРСС, 2002.

[Смирнова 1996] Смирнова Е. Д. Логика и философия, М.: РОССПЭН, 1996.

[Твардовский 1997] Твардовский К. Логико-философские и психологические исследования. М.: РОССПЭН, 1997.

[Poli 1997] Poli R. (1991), Ontologia Formale. – Genova: Marietti.