Реферат: Программа дисциплины формальная онтология для специальности 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. Формальная онтология и формальная метафизика.


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



Происхождение термина «формальная онтология».

Хронология и персоналия исследований по формальной онтологии.

Дескриптивная онтология Ф. Брентано.

Теория предметов К.Твардовского.

Не-гуссерлевская концепция формальной онтологии Н.Коккьяреллы.

Логическая онтология Лесьневского.

Онтологика и формальная онтология.

Онтологические типологии.

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

Онтологические обязательства логических языков.

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

Формальные онтологии и языки для искусственного интеллекта.

История взаимоотношений логики и онтологии.

Логика как язык и логика как исчисление: последствия для онтологии.

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

От логического плюрализма к плюрализму универсумов.

Способы получения универсумов.

Глобальность и локальность в формальной онтологии.

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

Триада систем Лесьневского.

Лесьневскианские формальные онтологии.

Ситуационная формальная онтологии.

Не-фрегевская онтология.

Метафорическая онтология ситуаций.

Комбинированная логика как формальная онтология событий.

Комбинированная дискурсивная логика Васильева-Яськовского: онтологические модальности.

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

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

Формальная каузальная онтологика.

Диодорова комбинированная каузальная логика.

Ортомодулярная комбинированная каузальная онтологика.

Перспективы и проблемы формальной метаонтологии.

Проблемы современного этапа развития формальной онтологии.



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

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

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

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

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