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

Вид материала

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

Содержание Москва Пояснительная записка Тематический план учебной дисциплины Генезис концепции формальной онтологии, терминология и типология. Формальная онтология и формальные языки. Вопросы и задания для самостоятельной работы Формальная онтология и логика. Вопросы и задания для самостоятельной работы Классическая и неклассическая онтологика. Вопросы и задания для самостоятельной работы Перспективы и проблемы формальной онтологии. Вопросы и задания для самостоятельной работы Васюков В.Л. Тематика эссе Вопросы для оценки качества освоения дисциплины

Подобный материал:

• Программа дисциплины «Научно-исследовательский семинар» для специальности 030100., 158.12kb.
• Программа дисциплины концепции и концептуальный анализ в математике и гуманитарном, 335.24kb.
• Программа спецкурса «Индийская философия древности и средневековья» для направления, 554.79kb.
• М. К. Аммосова рабочая программа дисциплины «Уравнения математической физики» (специальность, 50.63kb.
• Программа дисциплины Этика для направления 030100. 62 «Философия» подготовки бакалавра, 548.5kb.
• Программа наименование дисциплины: Философия древних и средневековых Индии и Китая., 508.11kb.
• Программа дисциплины История зарубежной философии Философия эпохи Возрождения, Нового, 334.03kb.
• Программа дисциплины философия для специальности 080102. 65 «Мировая экономика» (подготовки, 397.31kb.
• Программа дисциплины Философия для специальности 080504. 65 Государственное и муниципальное, 175.83kb.
• Программа курса «Философия» для поступающих в аспирантуру Москва 2006, 219.96kb.

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

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


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

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

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

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


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

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

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

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

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

Председатель В.Н. Порус Зав. кафедрой В.Н. Порус


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


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

мировой экономики

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


_________________________________

« ____» ___________________200 г.

Москва

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

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

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


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

№ пп	Название темы	Всего часов по дисциплине	Аудиторные часы		Самостоятельная работа
			Лекции	Семинары
1.	Генезис концепции формальной онтологии, терминология и типология		4	2
2.	Формальная онтология и формальные языки.		2	2
3.	Формальная онтология и логика.		12	12
4.	Классическая и неклассическая онтологика.		11	12
5.	Перспективы и проблемы формальной онтологии.		2
	Итого:	162	31	28	102

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

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

• Подготовка студентами докладов, выступление с докладами на занятиях, их обсуждение
  
• Домашнее эссе (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.

Тематика эссе

1. Генезис концепции формальной онтологии.

2. Дескриптивная, формальная и формализованная онтология.

3. Формально-онтологический плюрализм.

4. Формальная онтология и формальная метафизика.

Вопросы для оценки качества освоения дисциплины

1. Происхождение термина «формальная онтология».
   
2. Хронология и персоналия исследований по формальной онтологии.
   
3. Дескриптивная онтология Ф. Брентано.
   
4. Теория предметов К.Твардовского.
   
5. Не-гуссерлевская концепция формальной онтологии Н.Коккьяреллы.
   
6. Логическая онтология Лесьневского.
   
7. Онтологика и формальная онтология.
   
8. Онтологические типологии.
   
9. Дескриптивная, формальная и формализованная онтология.
   
10. Онтологические обязательства логических языков.
    
11. Формальные языки формальной онтологии.
    
12. Формальные онтологии и языки для искусственного интеллекта.
    
13. История взаимоотношений логики и онтологии.
    
14. Логика как язык и логика как исчисление: последствия для онтологии.
    
15. Формальная онтология и формальная метафизика.
    
16. От логического плюрализма к плюрализму универсумов.
    
17. Способы получения универсумов.
    
18. Глобальность и локальность в формальной онтологии.
    
19. Метафизические и онтологические обязательства языка и онтологический плюрализм.
    
20. Триада систем Лесьневского.
    
21. Лесьневскианские формальные онтологии.
    
22. Ситуационная формальная онтологии.
    
23. Не-фрегевская онтология.
    
24. Метафорическая онтология ситуаций.
    
25. Комбинированная логика как формальная онтология событий.
    
26. Комбинированная дискурсивная логика Васильева-Яськовского: онтологические модальности.
    
27. Комбинированные логики да Косты: онтологическая паранепротиворечивость.
    
28. Формальная онтология ситуаций и событий: комбинированная не-фрегевская логика.
    
29. Формальная каузальная онтологика.
    
30. Диодорова комбинированная каузальная логика.
    
31. Ортомодулярная комбинированная каузальная онтологика.
    
32. Перспективы и проблемы формальной метаонтологии.
    
33. Проблемы современного этапа развития формальной онтологии.
    

Автор программы: _Васюков В.Л.

профессор (Подпись)

кафедры логики, онтологии

и теории познания,

доктор философских наук