Программа дисциплины формальная онтология для специальности 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. Формальная онтология и формальная метафизика.
Вопросы для оценки качества освоения дисциплины
- Происхождение термина «формальная онтология».
- Хронология и персоналия исследований по формальной онтологии.
- Дескриптивная онтология Ф. Брентано.
- Теория предметов К.Твардовского.
- Не-гуссерлевская концепция формальной онтологии Н.Коккьяреллы.
- Логическая онтология Лесьневского.
- Онтологика и формальная онтология.
- Онтологические типологии.
- Дескриптивная, формальная и формализованная онтология.
- Онтологические обязательства логических языков.
- Формальные языки формальной онтологии.
- Формальные онтологии и языки для искусственного интеллекта.
- История взаимоотношений логики и онтологии.
- Логика как язык и логика как исчисление: последствия для онтологии.
- Формальная онтология и формальная метафизика.
- От логического плюрализма к плюрализму универсумов.
- Способы получения универсумов.
- Глобальность и локальность в формальной онтологии.
- Метафизические и онтологические обязательства языка и онтологический плюрализм.
- Триада систем Лесьневского.
- Лесьневскианские формальные онтологии.
- Ситуационная формальная онтологии.
- Не-фрегевская онтология.
- Метафорическая онтология ситуаций.
- Комбинированная логика как формальная онтология событий.
- Комбинированная дискурсивная логика Васильева-Яськовского: онтологические модальности.
- Комбинированные логики да Косты: онтологическая паранепротиворечивость.
- Формальная онтология ситуаций и событий: комбинированная не-фрегевская логика.
- Формальная каузальная онтологика.
- Диодорова комбинированная каузальная логика.
- Ортомодулярная комбинированная каузальная онтологика.
- Перспективы и проблемы формальной метаонтологии.
- Проблемы современного этапа развития формальной онтологии.
Автор программы: _Васюков В.Л.
профессор (Подпись)
кафедры логики, онтологии
и теории познания,
доктор философских наук