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

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

Содержание


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

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


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

Высшая школа экономики
Факультет философии


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


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

для специальности 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. Проблемы современного этапа развития формальной онтологии.



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

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

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

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

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