Логическая семантика - Высшая школа экономики

Министерство экономического
развития и торговли Российской
Федерации
Министерство образования
Российской Федерации
Государственный университет – Высшая
школа экономики
Факультет
Философии
Программа дисциплины
Логическая семантика
для направления 030100.62 - Философия
подготовки бакалавра
Автор Драгалина – Черная Е.Г.
Рекомендовано секции УМС
Одобрено на заседании кафедры
________________________
онтологии, логики и теории познания
Председатель
________________________
« »
зав. кафедрой
200 г
Порус В.Н.
«
Утверждено УС факультета
________________________________
Ученый секретарь
________________________________
«_____» _________________200_г
Москва
»
200 г
2
№
2.1
2.2.
2.3.
Аудиторные
часы
Самостоятельна
я работа
Тематический план учебной дисциплины
Всего
Часов
Раздел 1. Предмет логической
семантики
Раздел 2. Проблема смысла и значения
в истории логики
Протосемантика:
логико-философские
традиции Древнего Востока и Древней
Греции
Семантика в логике Средних веков и
Нового времени
Проблема смысла и значения в логике,
философии и семиотике конца 19 века первой половины 20 века
Раздел 3. Семантические парадоксы.
Выразительные, вычислительные и
дедуктивные возможности
формализмов
6
2
46
16
10
20
12
4
2
6
12
4
2
6
22
8
6
8
14
4
2
8
Раздел 4. Философские основания
теоретико-модельных семантик. Язык,
семантика, онтология
14
4
2
8
Раздел 5. Интенсиональные логики и
нестандартные семантики
Раздел 6. Теория речевых актов.
Семантика и прагматика
аргументации
13
4
2
7
15
5
4
6
108
35
20
53
Итого:
Лекции
Сем. и
практ.
Занятия
Название
Темы
4
Формы рубежного контроля и структура итоговой оценки
Итоговая оценка по учебной дисциплине складывается из следующих элементов:

Работа на практических занятиях (доклады, обсуждения, решение задач)

1 письменная домашняя работа (60 мин.)

Устный зачет (120 мин.)
Базовый учебник
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996
3
Содержание программы
Раздел 1. Предмет логической семантики
Язык как информационная знаковая система. Функции языка. Язык и метаязык.
Синтаксис, семантика, прагматика. Смысл и значение знака.
Этапы становления логической семантики и принципы её теоретического
построения. Методы логической семантики.
Место логической семантики в системе когнитивных наук. Логическая семантика и
когнитивная психология. Лингвистическая и логическая семантика. Теория значения и
теория референции.
Логическая семантика и философия. Категории смысла и значения в логикосемиотическом и экзистенциальном измерениях.
Литература
Основная
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 18 - 49
Дополнительная
Ажеж К. Человек говорящий. Вклад лингвистики в гуманитарные науки. М.: УРСС, 2003
Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001
Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о
мышлении. М.: Языки славянских культур, 2004
Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и
искусства. М., 2000
Смирнова Е.Д. Основы логической семантики. М., 1990
Солсо Р. Когнитивная психология. М.: Тривола, 2002
Фреге Г. О смысле и значении // Фреге Г. Логика и логическая семантика. М.: Дом
интеллектуальной книги, 2000
Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Раздел 2. Проблема смысла и значения в истории логики
Тема 1. Протосемантика:
логико-философские традиции Древнего Востока и Древней Греции
«Веды» как текст и как вечность. Семантика «великого речения» в Адвайта-Веданте.
«Индийская силлогистика» как семиотическая деятельность: Готама и Дигнага. Логика
ньяя о суждении как восприятии: концепция «проникновения сущностей». Буддистская
4
логика о восприятии как суждении: статика значений и динамика реальности. Спор о
семантико-онтологическом
статусе
небытия:
«отсутствие
присутствия»
против
«присутствия отсутствия».
Китайская иероглифика и категория «мин» (имя – понятие). Мин как знак и
репрезентативная абстракция.
Конфуцианско-даосская нумерология и протологика.
Конфуцианский принцип «исправления имен» (чжэн мин) и природная теория имен.
Проблема имен (мин) и реалий (шу) в «школе имен» (мин цзя). Школа «отделения
твердого от белого» и «парадокс белой лошади» Гуньсунь Луна. Даосское учение о
двойственности Дао: «безымянное Дао («у мин») и «Дао, имеющее имя» («ю мин»).
Парадоксальная семантика чаньского коана.
Античные теории имени: натурализм против конвенционализма. Пифагорейская
«семантика камешков». Диалог Платона «Кратил»: именование как деятельность.
Аристотель о несовершенстве умозаключений «от знаков» и логика стоиков как «наука о
знаках».
Основная
Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 10 - 209
Источники
Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М., 1978
Гуньсунь Лун // Древнекитайская философия. М., 1973, т. 2
Дао Дэ Цзин // Древнекитайская философия. М., 1972, т. 1
Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по
истории платонизма. Вып. 2, СПб., 2000
Лунь Юй // Древнекитайская философия. М., 1972, т. 1
Муммонкан. Застава без ворот. СПб., 2000
Ньяя-сутры. Ньяя-бхашья. М., 2001
Платон. Кратил // Платон. Собрание соч. в 4 т. М., 1994, т. 1
Фрагменты ранних стоиков. Т.2, ч. 1. Логические и физические фрагменты. М., 2002
Дополнительная
Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002
Базаров А.А. Институт философского диспута в тибетском буддизме. СПб., 1998
Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984
Гайденко П.П. Научная рациональность и философский разум. М.: Прогресс-Традиция,
2003
5
Гране М. Китайская мысль. М., 2004
Григорьева Т.П. Дао и логос. М., 1992
Гриненко Г.В. Сакральные тексты и сакральная коммуникация. М.: Новый век, 2000
Делез Ж. Логика смысла. М., 1998
Дикий плющ. Духовная биография дзэнского наставника Хакуина. СПб., 2001
Древние системы письма. Этническая семиотика. М., 1986
Зильберман Д.В. Генезис значения в философии индуизма. М., 1998
Инголлс Д.Г.Х. Введение в индийскую логику навья-ньяя. М., 1975
Канаева Н.А., Заболотных Э.П. Проблема выводного знания в Индии. Логикоэпистемологические воззрения Дигнаги и его идейных преемников. М.: Восточная
литература, 2002
Кобзев А.И. Учение о символах и числах в китайской классической философии. М., 1994
Крушинский А.А. Логика «И Цзина». Дедукция в Древнем Китае. М., 1999
Крюков В.М. Ритуальная коммуникация в древнем Китае. М., 1997
Лосев А.Ф.Философия имени // Лосев А.Ф. Бытие, имя, космос. М., 1993
Радхакришнан С. Индийская философия. В 2-х т., М., 1994
Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М., 2003
Судзуки С. Наука дзен. Ум дзен. Киев, 1992.
Сущность дзен. Искусство быть свободным. СПб., 2000
Чаттерджи С., Дата Д. Индийская философия. М., 1994
Шохин В.К. Брахманистская философия. М., 1994
Шохин В.К. Ф.И.Щербатской и его компаративистская философия. М., 1998
Шуцкий Ю.К. Китайская классическая «Книга перемен». М., 1993
Щербатской Ф.И. Теория познания и логика по учению позднейших буддистов. СПб.,
1995
Тема 2. Семантика в логике Средних веков и Нового времени
Категориальная
система
«конвенциональные» знаки,
средневековой
семантики:
«естественные»
и
«ментальные слова» и «концепты», «пропозиции»,
«суппозиции» и «пресуппозиции», «универсум речи».
Существование и сущность, имя и атрибут, дефиниция и инфиниция в
катафатических доказательствах. Катафатическое доказательство как
«аналогическая
речь», его интенциональный и перформативный характер (Фома Аквинский, Иоанн Дунс
Скот). Роль эстетических критериев в катафатике. Значение и понимание (Августин,
6
Фома Аквинский). Проблема «именования неименуемого» в апофатике (Дионисий
Ареопагит, Григорий Палама).
Онтологический аргумент: от Ансельма Кентерберийского к Декарту.
Критика
Кантом онтологического доказательства: существование как первопорядковый предикат и
как квантор (второпорядковый предикат).
Картезианская Mathesis Universalis, «рациональная грамматика» Пор-Рояля и
Lingua Characteristica Лейбница. Семантика возможных миров для аналитических истин и
божественный
произвол.
«Иллокутивно
невозможные»
возможные
миры
в
перформативной интерпретации когито. Теории знаков Гоббса, Локка, Гассенди.
Кант о «пустоте» логической формы и формальности аналитического априори.
Проблема категориального синтеза: учение Канта о трансцендентальном схематизме как
семантическая теория когнитивного типа.
Основная
Жильсон Э. Философия в средние века. М., 2004, с. 182 – 189, 397 – 415, 448 – 469, 483 495
Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 257 –
417
Источники
Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.:
Канон, 1995
Арно А., Николь П. Логика как искусство мыслить. М., 1991
Декарт Р. Размышления о первой философии // Декарт Р. Сочинения. М., 1994, т.2
Иоанн Дунс Скот. Избранное. М., 2001
Кант И. Критика чистого разума. М., 1994
Оккам Уильям. Избранное. М., 2002
Фома Аквинский. Сумма теологии // Фома Аквинский. Онтология и теория познания:
фрагменты сочинений. М.: ИФ РАН, 2001
Дополнительная
Гайденко В.П., Смирнов Г.А. Западноевропейская наука в средние века. М.: Наука, 1989
Драгалина-Черная Е.Г. Картезианское cogito в семантике возможных миров // Логический
анализ языка. Избранное 1988 – 1995. М.: Индрик, 2003
7
Драгалина-Черная Е.Г. Аналитическое априори как проблема трансцендентальной
онтологии // Трансцендентальная антропология и логика. Калининград, 2000
Жильсон Э. Учение Декарта о свободе и теология. Бытие и сущность // Э.Жильсон.
Избранное. Христианская философия. М., 2004
Кассирер Э. Жизнь и учение Канта. М., 1997
Мамардашвили М. Картезианские размышления. М., 1993
Молчанов В.И. Cogito. Синтез. Субъективизм // Вопросы философии, 1996, №10
Неретина С.С. Концептуализм Абеляра. М., 1996
Неретина С.С. Тропы и концепты. М., 1999
Неретина С.С. Августин: значение и понимание // Истина и благо: универсальное и
сингулярное. М., 2002
Рикер П. Кризис Cogito // Бессмертие философских идей Декарта. М., 1997
Самохвалов К.Ф. Предикаты существования и «онтологический аргумент» // Логические
исследования. Вып. 6. М., 1999
Суини М. Лекции по средневековой философии. М., 2001
Тема 3. Проблема смысла и значения в логике, философии и семиотике конца 19 века первой половины 20 века
Теоретические предпосылки возникновения общей теории знаковых систем.
Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и
диахронное, значение и значимость.
Семиотика Пирса - Морриса. Фанероскопия Пирса:
репрезентамент – объект -
интерпретанта, иконические знаки - индексы – символы. Бихевиоризм Морриса: знак –
десигнат – интерпретанта - интерпретатор, синтаксис – семантика – прагматика.
Теория знака Гуссерля. Феноменологическая критика психологизма и программа
трансцендентального обоснования логики. Формальная онтология как априорное учение о
формальных структурах предметности. Знак и интециональность, ноэма и ноэзис.
Горизонт ноэтического акта. Феномен как смысл.
«Аналитика присутствия» Хайдеггера: знаки и смыслы. Смысл и абсурд в
экзистенциальном
измерении:
Сартр
и
Камю.
Парадокс,
нонсенс
и
абсурд.
Психоаналитика как семиотика: риторика бессознательного (Фрейд). Символ и архетип
(Юнг). Реальное, воображаемое и символическое (Лакан). «Воля к смыслу» в
экзистенциальном психоанализе.
смысла» (Франкл).
Абсурд как «экзистенциальный вакуум». «Терапия
8
Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция
и предмет, смысл и денотат, принципы контекстуальности и композициональности.
Программа
«логической
критики
языка».
Концепция
«идеального
языка».
«Логический атомизм», теория дескрипций и теория типов Рассела. Программа
«преодоления метафизики логическим анализом языка»: семантические идеи Венского
кружка и Львовско-Варшавской школы. «Миф концептуального каркаса» (Поппер).
«Образная» теория языка раннего Витгенштейна. Априорность логики и проблема
«мистического». Функционалистская концепция значения позднего Витгенштейна.
Принцип «семейного сходства» и теория прототипов. Проблема «следования правилу» и
«скептический парадокс». «Языковая игра» как «форма жизни».
Литература
Основная
Реале Д., Антисери Д. Западная философия от истоков до наших дней. Том 4. От
романтизма до наших дней. СПб., 1997, с.314 – 319, 369 – 376, 387 – 396, 406 – 414, 453 –
484, 590 – 595, 616-626, 635 – 644, 424 - 727
Источники
Витгенштейн Л. Логико-философский трактат // Витгенштейн Л. Философские работы.
Ч.1. М.: Гнозис, 1994
Витгенштейн Л. Философские исследования // Витгенштейн Л. Философские работы. Ч.2.
М.: Гнозис, 1994
Гуссерль Э. Интенциональные предметы // Гуссерль Э Избранные работы. М., 2005
Гуссерль Э. Феноменология // Логос, 1991, вып. 1
Камю А. Бунтующий человек. М., 1990
Карнап Р. Преодоление метафизики логическим анализом языка // Аналитическая
философия: становление и развитие. М., 1998
Карнап Р. Эмпиризм, семантика и онтология // Карнап Р. Значение и необходимость. М.:
Изд-во иностранной литературы, 1959
Крипке С. Витгенштейн о правилах и индивидуальном языке // Логос, №11, 1999
Лакан Ж. Функция и поле речи и языка в психоанализе. М., 1995
Лакан Ж. Инстанция буквы в бессознательном, или судьба разума после Фрейда. М., 1997
Моррис Ч. Основания теории знаков // Семиотика. М.: Радуга, 1983, с.37 - 89
Переписка Эдмунда Гуссерля и Готлоба Фреге // Гуссерль Э Избранные работы. М., 2005
Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С.
Избранные философские произведения. М.: Логос, 2000, с. 176 – 222
Пирс Ч.С. Рассуждение и логика вещей. М.: Издательство РГГУ, 2005
9
Поппер К. Объективное знание. Эволюционный подход. М.: Едиториал УРСС, 2004
Рассел Б. Философские основания атомизма. Томск, 1993
Рассел Б. Дескрипции // Новое в зарубежной лингвистике. М.: Прогресс, 1982, вып. 13
Сартр Ж.-П.. Бытие и ничто. М., 2000
Соссюр Ф. де. Курс общей лингвистики. Часть 1. Общие принципы. Глава 3. Статическая
лингвистика и эволюционная лингвистика. Часть 2. Синхроническая лингвистика. Глава 4.
Языковая значимость. // Соссюр Ф. де. Труды по языкознанию. М.: Прогресс, 1977, с.
112-132, 144- 160.
Твардовский К. Логико-философские и психологические исследования. М.: РОССПЭН,
1997
Франкл В. Человек в поисках смысла. М., 1990
Фреге Г. Основоположения арифметики. Томск: Водолей, 2000
Фреге Г. О смысле и значении // Фреге Г. Логика и логическая семантика. М.: Дом
интеллектуальной книги, 2000
Фреге Г. Мысль. Логическое исследование // Фреге Г. Логика и логическая семантика.
М.: Дом интеллектуальной книги, 2000
Фрейд З. Остроумие и его отношение к бессознательному. М., 1997
Хайдеггер М. Время и бытие. М., 1993
Юнг К. Архетип и символ. М., 1991
Дополнительная
Аналитическая философия: становление и развитие. М., 1998
Арутюнова Н.Д. Типы языковых значений. М.: Мысль, 1988
Апель К.-О. Трансформация философии. М.: Логос, 2001
Бирюков Б.В. В логическом мире Фреге // Фреге Г. Логика и логическая семантика. М.:
Дом интеллектуальной книги, 2000
Васюков В.Л. Формальная феноменология. М., 1999
Деррида Ж. Голос и феномен. Работы по теории знака Гуссерля. СПб., 1999
Демина Л.А. Парадигмы смысла. М.: МГОУ, 2005
Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.:
Альфа, 2000
Драгалина-Черная Е.Г. Язык как универсальный посредник vs. язык как исчисление:
Людвиг Витгенштейн и Эдмунд Гуссерль // Личность, познание, культура. М.: Изд-во
МПГУ, 2002
Ингарден Р. Введение в феноменологию Э.Гуссерля. М.: Дом интеллектуальной книги,
1999
10
Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки.
Изд. Проект «Тривиум», 2000
Карнап Р., Ган Г., Нейрат О. Научное миропонимание – Венский кружок // Логос, 2005,
№2
Куренной В. Феноменология Эдмунда Гуссерля // Гуссерль Э Избранные работы. М.,
2005
Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Кюнг Г. Мир как ноэма и как референт // Аналитическая философия: становление и
развитие, М., 1998
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о
мышлении. М.: Языки славянских культур, 2004
Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и
искусства. М., 2000
Людвиг Витгенштейн: Человек и мыслитель. М., 1993
Менчковская Н.Б. Семиотика. Язык, природа, культура. М.: Академия, 2004
Мерло-Понти М. Феноменология восприятия. М.: Наука, 1999
Мотрошилова Н.В. «Идеи – I» Эдмунда Гуссерля как введение в феноменологию. М.,
2003
Поссмор Дж. Сто лет философии. М.: Прогресс - традиция, 1998
Рикер П. Кант и Гуссерль // Интенциональность и текстуальность. Томск, 1998
Рикер П. Конфликт интерпретаций. Очерки о герменевтике. М.: Медиум, 1995
Руткевич А.М. Психоаналитическое учение о символе и интерпретации. М.: ГУ-ВШЭ,
2003
Руткевич А.М. Психоанализ. Истоки и первые этапы развития. М., 1997
Семиотика. Тексты. М., 2000
Серкова В.А. Феноменологическая дескрипция. СПб.: Изд-во СПб ун-та, 2003
Слинин Я.А. Феноменологическое истолкование логики // Логические исследования, вып.
8, 1999
Смирнова Е.Д. Основы логической семантики. М., 1990
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996
Сокулер З.А. Людвиг Витгенштейн и его место в философии ХХ века. Долгопрудный,
1994
Сорина Г.В. Логико-культурная доминанта. Очерки теории и истории психологизма и
антипсихологизма в культуре. М., 1993
Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
11
Эдмондс Д., Айдиноу Д. Кочерга Витгенштейна. М., 2004
Язык и интеллект. М., 1996
Уайтхед А.Н. Символизм, его смысл и воздействие. Томск, 1999
Феноменология искусства. М., 1996
Шестов Л. Memento Mori (По поводу теории познания Эдмунда Гуссерля) // Шестов Л.
Соч. В 2-х томах. Т. 1. М., 1993
Шлик М. Поворот в философии // Аналитическая философия: становление и развитие, М.,
1998
Шпет Г. Явление и смысл. Томск: Водолей, 1996
Раздел 3. Семантические парадоксы.
Выразительные, вычислительные и дедуктивные возможности формализмов
Семантические
семантические
проблемы
парадоксы.
обоснования
логических
Самоприменимость
и
систем.
непредикативные
Логические
и
определения.
Семантическая замкнутость языка. Истинность и осмысленность. Определение понятия
истинности для формализованных языков: схема Тарского. Выразительные возможности
языков формальных теорий: теорема Тарского.
Формальные системы, алгоритмы и вычислимые функции. Рекурсивно разрешимые и
рекурсивно перечислимые множества. Конструктивный объект. Машина Тьюринга и
тезис Чёрча. Неразрешимость общей проблемы остановки. Тест Тьюринга и «китайская
комната» Сёрля.
Теоремы
Гёделя
о
неполноте
достаточно
богатых
формальных
теорий
и
недоказуемости непротиворечивости этих теорий их собственными средствами.
Философский смысл «ограничительных» теорем. Формализуемое и неформализуемое
в знании. Сильный и слабый искусственный интеллект. «Парадокс изобретателя».
Основная
Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005, с.
167 - 227
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 107 - 132
Тарский А. Семантическая концепция истины и основания семантики // Аналитическая
философия: становление и развитие, М., 1998, с. 90 - 129
Дополнительная
Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994
12
Катасонов В.Н. Боровшийся с бесконечным. Философско-религиозные аспекты генезиса
теории множеств Г.Кантора. М., 1999
Вейнгартнер П. Фундаментальные проблемы теорий истины. М., 2005
Виноград Т., Флорес Ф. О понимании компьютеров и познания // Язык и интеллект. М.:
Прогресс, 1996
Дрейфус Х., Дрейфус С. Создание сознания vs. моделирование мозга // Аналитическая
философия: становление и развитие, М., 1998
Кейслер Г., Чэн Ч.Ч. Теория моделей. М., 1977
Клайн М. Математика. Утрата определенности. М., 1984
Микешина Л.А., Опенков М.Ю. Новые образы познания и реальности. М., 1997
Манин Ю.И. Доказуемое и недоказуемое. М., 1979
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Патнэм Х. Философия сознания. М., 1999
Сёрль Дж. Открывая сознание заново. М., 2002
Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4
Смирнова Е.Д. Основы логической семантики. М., 1990
Тейз А. и др. Логический подход к искусственному интеллекту. М.: Мир, 1990
Тьюринг А. Может ли машина мыслить? М., 1960
Хант Э. Искусственный интеллект. М.: Мир, 1978
Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о
разуме и машинах в духе Льюиса Кэрролла. М., 2000
Черч А. Введение в математическую логику. М., 1960
Раздел 4. Философские основания теоретико-модельных семантик.
Язык, семантика, онтология
Теоретико-модельные свойства формальных теорий: непротиворечивость, полнота,
компактность, категоричность, свойство Лёвенгейма - Сколема. Множественность
интерпретаций, нестандартные модели и парадокс Сколема. Феномен онтологической
редукции, «парадокс» Патнэма
и философские основания теоретико-модельных
семантик.
Язык, семантика, онтология.
Уорфа
и
принцип
Гипотеза лингвистической относительности Сепира -
онтологической
относительность и внутренний реализм.
относительности
Куайна.
Концептуальная
13
Квантификация и онтологические допущения языка: критерий Куайна и его
альтернативы. Кванторы как функции выбора и как второпорядковые предикаты.
Критерии и границы логического: принцип онтологической нейтральности Куайна,
критерий инвариантности относительно изоморфных преобразований Тарского, теорема
Линдстрёма. Многообразие логических систем и проблема единства логического знания.
Литература
Основная
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 212 - 299
Куайн У. Онтологическая относительность // Современная философия науки. М., 1996, с.
40 - 60
Дополнительная
Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002
Барвайс Д. Введение в логику первого порядка // Справочная книга по математической
логике. Часть 1: Теория моделей. М., 1982
Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994
Вартофский М. Модели. Репрезентация и научное понимание. М.: Прогресс, 1988
Гильберт Д. Естествознание и логика // Кантовский сборник. Калининград, 1990
Драгалина-Черная Е.Г. Логика и онтология обобщенной квантификации // Логический
анализ языка. Квантификативный аспект языка. М.: Индрик, 2005, с. 36 - 44
Драгалина-Черная Е.Г. Формальные онтологии как абстрактные логики // Логические
исследования. Выпуск 12. М.: Наука, 2005
Кейслер Х. Основы теории моделей // Справочная книга по математической логике. Часть
1: Теория моделей. М., 1982
Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2004
Куайн У. Слово и объект. М., 2000
Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Малиновский Б. Проблема значения в примитивных языках // Эпистемология &
Философия науки, 2005, №3
Макеева Л.Б. Философия Х.Патнэма. М., 1996
Математика и опыт. М.: Изд-во МГУ, 2003
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Патнэм Х. Философия сознания. М., 1998
Сепир Э. Язык: Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и
культурологи. М., 1993, с. 26 – 203
Сёрль Д. Открывая сознание заново. М., 2002
14
Солсо Р. Когнитивная психология. М.: Тривола, 2002
Фреге Г. Основоположения арифметики. Томск: Водолей, 2000
Хакинг Я. Представление и вмешательство: Начальные вопросы философии естественных
наук. М., 1998
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о
мышлении. М.: Языки славянских культур, 2004
Сепир Э. Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и
культурологи. М.: Прогресс, 1993
Рубашкин В.Ш., Лахути Д.Г. Онтология: от натурфилософии к научному мировоззрению
и инженерии знаний / Вопросы философии, 2005, №1, С. 64 – 81
Раздел 5. Интенсиональные логики и нестандартные семантики
Семантические принципы классической логики и
интенсиональной
логике.
Семантики
«возможных
основания их пересмотра в
миров» для
интенсиональных
логических систем. «Возможные миры» и точки соотнесения.
Референциальная
непрозрачность
Интенсиональность как интенциональность.
dicto.
и
«загадка
контекстов
мнения».
Пропозициональные установки de re и de
Проблема кросс-идентификации и интенционального тождества. Концепции
«жестких десигнаторов» Крипке и «индивидуализирующих функций» Хинтикки.
Онтологический статус интенсиональных сущностей и нео-эссенциализм. Ситуационные
и теоретико-игровые семантики для интенсиональной логики.
Проблема информативности логических законов и семантика «невозможных»
возможных миров. Дихотомия аналитического и синтетического: У.Куайн о «двух догмах
эмпиризма».
Основная
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000, с.
395 – 404, 452 - 468
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 133- 211
Дополнительная
Анисов А.М. Темпоральный универсум и его познание. М.: Изд-во ИФ РАН, 2000
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М.:
Едиториал УРСС, 2004
15
Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Изд-во
Альфа, 2000
Ивлев Ю.В. Модальная логика. М.: Изд-во МГУ, 1991
Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. М.: Прогресс,
1982, вып. 13
Крипке С. Загадка контекстов мнения // Новое в зарубежной лингвистике. М.: Прогресс,
1986, вып. 18
Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003
Карпенко А.С. Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990
Карнап Р. Значение и необходимость. М.: Изд-во иностранной литературы, 1959
Куайн У. Референция и модальность // Новое в зарубежной лингвистике. М.: Прогресс,
1982, вып. 13
Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003
Рассел Б. Искусство мыслить. М.: Идея - Пресс, 1999
Сааринен Э. Хинтикка, Кастанеда и Куайн о квантификации «в»: некоторые
основополагающие проблемы в интенсиональной логике // Исследования по
неклассическим логикам. М., 1989
Сидоренко Е.А. Семантика возможных миров: от Лейбницевской к Юмовской //
Логические исследования. Вып. 3, М.: 1995
Сидоренко Е.А. Логика. Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002
Смирнова Е.Д. Аналитическая истинность // Методологические аспекты когнитивных
процессов. Новосибирск: Сибирское отделение РАН, 2002, с. 74 - 134
Хинтикка Я. Логико - эпистемологические исследования. М.: Прогресс, 1980
Раздел 6. Теория речевых актов.
Семантика и прагматика аргументации
Теория речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и
Вандервекена. «Компетенция» и «употребление» в порождающей грамматике Хомского.
Теория «подразумевания» Грайса. Локутивные, иллокутивные и перлокутивные речевые
акты. Перформативы и констативы.
Постулаты речевого общения, коммуникативные
неудачи и коммуникативные импликатуры. Иллокутивное самоубийство. Исчисление
речевых актов Сёрля и Вандервекена.
16
Конституирующие
правила
аргументативного
речевого
прагматика. Аргументация как обоснование мнений и
акта:
семантика
и
действий. Основные этапы
развития искусства и теории аргументации. Аргументация, доказательство, убеждение.
Структура доказательства и
опровержения, их правила.
Виды и
способы
контраргументации. Понятие критики. Логические требования к внешней и внутренней
критике. Принципы критического мышления. Критическое мышление и «неформальная
логика».
Спор и полемика. Виды спора: диалектический, эристический и софистический
споры. Логические и психологические уловки, применяемые в споре. Внушение и
рациональное доказательство. Специфика философской аргументации. Аргументативные
техники в правовой, политической, PR и бизнес – коммуникации. Референциальное
манипулирование.
Эвфемизация и дисфемизация как риторические стратегии.
«Риторический этос» рациональной аргументации и возможность её нормативной
регламентации. Псевдоаргументация. Алогичность как риторический прием. Логика и
риторика: «метафоры, которыми мы живем».
Значение и действие. Логическое обоснование и рационализация действий.
Аристотель о теоретических и практических рассуждениях. Практический силлогизм и
целевое обоснование. Логические основы принятия решений. Парадоксы предпочтения и
эффективного
действия.
«Дилемма
заключенного».
Модели
ограниченной
рациональности. Принципы рефлексивного управления.
Дискурс и текст. Критерии текстуальности. Логические аспекты порождения и
интерпретации
текста:
нарративные
операторы.
Текст,
контекст
и
гипертекст.
Интертекстуальность. Типология текстов. Художественный и философский тексты:
логическая
структура
и
специфика
референции.
Радикальное
сомнение
и
художественный вымысел. Философская ирония: парадокс как несмешная шутка.
Методы логической герменевтики в анализе философских текстов.
Нарративная семантика и семиологическая интерпретация культуры: идеология и
мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык.
«Дискурсивные практики» и прагматика «мира повседневности». «Практический смысл»
и «практические логики» Бурдье. Теория коммуникативного действия Хабермаса.
Трансцендентальная «языковая игра» Апеля.
«Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная
деятельность (Матурана), «эволюционный аргумент» Деннета.
17
Литература
Основная
Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001, С. 336 - 358
Серль Дж., Вандервекен Д. Основные понятия исчисления речевых актов // Новое в
зарубежной лингвистике, М, 1986, вып. 18, с. 242 - 263
Дополнительная
Апрель К.-О. Трансформация философии. М.: Логос, 2001
Барт Р. Основы семиологии // Структурализм: «за» и «против». М., 1975, с. 114 - 163
Бодрияр Ж. К критике политической экономии знака. М.: Библион, 2003
Бурдье П. Практический смысл. СПб.: Алетейя, 2001
Вержбицкая А. Язык. Культура. Познание. М.: Русские словари, 1996
Вригт Г.Х. Логико-философские исследования. М.: Прогресс, 1986
Гемпель К.Г. Логика объяснения. М., 1998
Герасимова И.А. Практический курс по аргументации. М.: ИФ РАН, 2001
Гофман И. Анализ фреймов: эссе об организации повседневного опыта. М.: Институт
фонда «Общественное мнение», 2002
Грайс Г. Логика и речевое общение // Новое в зарубежной лингвистике, М, 1985, вып. 17
Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о
соотношении формальной и неформальной логики. М., 1998
Делез Ж. Логика смысла. М., 1998
Деннет Д.С. Виды психики: на пути к пониманию сознания. М., 2004
Деррида Ж. О грамматологии. М.: Ad Marginem, 2000
Еемерен Ф, Гротендорст Р. Аргументация: анализ, представление, проверка. СПб., 2004
Зарецкая Е.Н. Риторика. Теория и практика речевой коммуникации. М., 1999
Кастанеда Г.-Н. Художественный вымысел и действительность: их фундаментальные
связи // Логос, 1999, №3
Кассен Б. Эффект софистики. М.-СПб., 2000
Квадрататура смысла: Французская школа анализа дискурса. М., 1999
Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003
Лакофф Дж., Джонсон М. Метафоры, которыми мы живем. М.: УРСС, 2004
Лексикон нонклассики. М.: Росспэн, 2003
Матурана У. Биология познания // Язык и интеллект. М.: Прогресс, 1996
Мысль и искусство аргументации. М., 2003
Остин Дж. Как производить действия при помощи слов. Смысл и сенсибилии. М., 1999
18
Пинкер С. Язык как инстинкт. М.: УРСС, 2004
Порус В.Н. Метафора и рациональность // Высшее образование в России. 2005, № 1
Противоречие и дискурс. М.: Институт философии РАН, 2005
Ришар Ж. Ментальная активность. Понимание, рассуждение, нахождение решений. М.,
1998
Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3
Сорина Г.В. Основы принятия решений. М.: Экономистъ, 2004
Теория метафоры. М., 1990
Уолтон Д. Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002
Французская семиотика. От структурализма к постстуктурализму. М.: Прогресс, 2000
Хабермас Ю. Моральное сознание и коммуникативное действие. СПб., 2000
Шейгал Е. Семиотика политического дискурса. М., 2004
Шмелев А.Д. Референция и художественный текст // Шмелев А.Д. Русский язык и
внеязыковая действительность. М.: Языки славянской культуры, 2002
Шульга Е.Н. Когнитивная герменевтика. М., 2002
Юлина Н.С. Головоломки проблемы сознания. Концепция Дэниела Деннета. М.: Канон,
2004
Тематика докладов и рефератов
1. Место логической семантики в системе когнитивных наук. Логическая семантика и
когнитивная психология. Лингвистическая и логическая семантика.
2. «Индийская силлогистика» как семиотическая деятельность: ньяя и буддизм.
3. Мин как знак и репрезентативная абстракция.
Школа «отделения твердого от
белого» и парадокс «белой лошади».
4. Парадоксальная семантика чаньского коана.
5. Диалог Платона «Кратил»: именование как деятельность.
6. Референциальное манипулирование в античной софистике.
7. Логика стоиков как «наука о знаках».
8. Существование и сущность, имя и атрибут, дефиниция и инфиниция в латинской
катафатике. Проблема «именования неименуемого» в апофатике.
9. Логика и семантика онтологического аргумента: от Ансельма Кентерберийского к
Декарту и Канту. Существование как предикат и как квантор.
10. Семантика возможных миров для аналитических истин и божественный произвол:
Декарт и Лейбниц.
19
11. «Универсальная характеристика» и «всеобщая математика»: сходство и различие
исследовательских программ.
12. Логико-семантические идеи Гоббса, Локка и Гассенди.
13. Кант о «пустоте» логической формы и формальности аналитического априори.
Учение Канта о трансцендентальном схематизме как семантическая теория.
14. Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и
диахронное, значение и значимость.
15. Семиотика и фанероскопия Пирса: репрезентамент – объект – интерпретанта.
16. Бихевиористская семиотика Морриса:
знак – десигнат – интерпретанта –
интерпретатор.
17. Смысл как феномен: феноменологическая семантика Гуссерля.
18. «Аналитика присутствия» Хайдеггера: знаки и смыслы.
19. Парадокс, нонсенс и абсурд. Смысл и абсурд в экзистенциальном измерении.
20. Психоаналитика как семиотика: риторика бессознательного (Фрейд). Символ и
архетип (Юнг). Реальное, воображаемое и символическое (Лакан). «Терапия
смысла» (Франкл).
21. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат,
принципы контекстуальности и композициональности.
22. Логическая критика естественного языка и принципы построения «идеального
языка». «Преодоление метафизики логическим анализом языка» (Карнап).
23. Теория дескрипций и теория типов Рассела.
24. «Картинная» семантика раннего Витгенштейна: семантический солипсизм.
25. Принцип
«семейного
сходства»
позднего
Витгенштейна
и
современные
функционалистские концепции значения: теория прототипов.
26. Проблема «следования правилу» и «скептический парадокс»: Витгенштейн и
Крипке.
27. Язык как «форма жизни» и «жизненный мир»: Витгенштейн и Гуссерль.
28. «Языковые игры» Витгенштейна и теоретико-игровая семантика Хинтикки.
29. Логические и семантические парадоксы. Самоприменимость и непредикативные
определения.
30. Тарский о семантической замкнутости естественного языка. Определение понятия
истинности для формализованных языков: схема Тарского.
Философские
основания теоретико-модельной семантики Тарского.
31. «Сильный» и «слабый» искусственный интеллект.
комната» Сёрля.
Тест Тьюринга и «китайская
20
32.
Формализуемое
и
неформализуемое
в
знании:
философский
смысл
«ограничительных» теорем.
33. Теорема Геделя и религиозно-философский апофатизм.
34. Теоретико-модельные
парадоксы:
множественность
интерпретаций,
нестандартные модели и «онтологическая редукция».
35. Гипотеза
лингвистической
относительности
онтологической относительности Куайна.
Сепира
-
Уорфа и
принцип
«Миф концептуального каркаса»
(Поппер).
36. Квантификация и онтологические допущения языка: критерий Куайна и его
альтернативы. Кванторы как функции выбора и как второпорядковые предикаты.
37. Критерии и границы логического: принцип онтологической нейтральности Куайна,
критерий инвариантности Тарского, теорема Линдстрёма.
38. Философские основания семантики «возможных миров».
«Невозможные»
возможные миры для неклассических логических систем.
39. Интенсиональность как интенциональность. Проблемы кросс-идентификации и
интенционального
тождества:
«жесткие
десигнаторы»
Крипке
и
«индивидуализирующие функции» Хинтикки.
40. Референциальная
непрозрачность
и
«загадка
Пропозициональные установки de re и de dicto.
контекстов
мнения».
Онтологический статус
интенсиональных сущностей и нео-эссенциализм.
41. Ситуационные и теоретико-игровые семантики для интенсиональных логик.
42. Дихотомия аналитического и синтетического:
У.Куайн о «двух догмах
эмпиризма», «центре» и «периферии» научной теории.
43. Принципы теории речевых актов и её эволюция: от позднего Витгенштейна до
Сёрля и Вандервекена.
44. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативы и
констативы. Перформативная гипотеза.
45. Исчисление речевых актов Сёрля и Вандервекена.
46. «Компетенция» и «употребление» в порождающей грамматике Хомского.
47. Теория «подразумевания» Грайса. Постулаты речевого общения, коммуникативные
неудачи и коммуникативные импликатуры. Иллокутивное самоубийство.
48. Аргументативные речевые акты. Аргументация и обоснование.
49. Виды и способы контраргументации. Принципы критического мышления.
Критическое мышление и «неформальная логика».
50. Философская аргументация: логико-семантический анализ.
21
51. Аргументативные
техники
в
правовой,
политической,
PR
и
бизнес
–
коммуникации.
52. Семантика метафоры. «Метафоры, которыми мы живем».
53. Значение и действие. Логическое обоснование и рационализация действий.
54. Аристотель о теоретических и практических
рассуждениях. Практический
силлогизм и целевое обоснование.
55. Логические основы принятия решений. Парадоксы предпочтения и эффективного
действия. «Дилемма заключенного».
56. Модели ограниченной рациональности и принципы рефлексивного управления.
Теория коммуникативного действия Хабермаса и трансцендентальная «языковая
игра» Апеля.
57. Дискурс и текст. Текст, контекст, гипертекст, интертекст.
Художественный и
философский тексты: логическая структура и специфика референции.
58. Логические аспекты порождения и интерпретации текста: нарративные операторы.
Методы
логической герменевтики в анализе философских и художественных
текстов.
59. Нарративная семантика и семиологическая интерпретация культуры: идеология и
мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык.
60.
«Дискурсивные практики» и прагматика «мира повседневности». «Практический
смысл» и «практические логики» Бурдье.
61. «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная
деятельность (Матурана), «эволюционный аргумент» Деннета.
Вопросы для оценки качества освоения дисциплины
1. Язык как информационная знаковая система. Функции языка. Язык и метаязык.
2.
Этапы становления логической семантики и принципы её теоретического
построения. Методы логической семантики.
3. Семантические проблемы в школах адвайта-веданты и ньяя. Буддистская логика и
«индийский силлогизм».
4. Проблема имен (мин) и реалий (шу) в философии Древнего Китая. Конфуцианский
принцип «исправления имен» и учение даосов о двойственности Дао: «у мин» и «ю
мин».
5. Античные теории имени: натурализм и конвенционализм.
22
6. Категориальная
система
средневековой
семантики:
«естественные»
и
«конвенциональные» знаки, «ментальные слова» и «концепты», «пропозиции»,
«суппозиции» и «пресуппозиции», «универсум речи».
7. Декарт и Лейбниц: аналитические истины и «возможные миры», «всеобщая
математика» и «универсальная характеристика».
Семантика картезианского
когито.
8. Семиотические принципы английских эмпириков XVII века.
9.
Логико-семантические идеи Канта.
10. Теоретические предпосылки возникновения общей теории знаковых систем.
Семиология де Соссюра и
семиотика Пирса - Морриса.
11. Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис.
12. Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика.
«Воля к смыслу» в экзистенциальном психоанализе.
13. Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция
и предмет, смысл и денотат.
14. Программа «преодоления метафизики логическим анализом языка»: семантические
идеи Венского кружка и Львовско-Варшавской школы.
15. «Логический атомизм», теория дескрипций и теория типов Рассела.
16. «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема
«мистического».
17. Функционалистская концепция значения позднего Витгенштейна.
«Языковая
игра» как «форма жизни».
18. Семантические проблемы обоснования логических систем.
Логические и
семантические парадоксы. Самоприменимость и непредикативные определения.
19. Определение понятия истинности для формализованных языков: схема Тарского.
Выразительные возможности языков формальных теорий: теорема Тарского.
20. Алгоритмы и вычислимые функции. Рекурсивно разрешимые и рекурсивно
перечислимые множества. Понятие конструктивного объекта.
21. Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля.
22. Теоремы Гёделя о неполноте достаточно богатых формальных теорий и
недоказуемости непротиворечивости этих теорий их собственными средствами.
Философский смысл «ограничительных» теорем.
23. Теоретико-модельные свойства формальных теорий: непротиворечивость, полнота,
компактность, категоричность, свойство Лёвенгейма - Сколема.
23
24. Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира Уорфа и принцип онтологической относительности Куайна.
25. Квантификация и онтологические допущения языка: критерий Куайна и его
альтернативы.
26. Семантические принципы классической логики и
основания их пересмотра в
интенсиональной логике. Семантика «возможных миров» для интенсиональных
логических систем.
27. Референциальная
непрозрачность
квантифицированных
интенсиональных
контекстов. Проблемы кросс-идентификации и интенционального тождества.
28. Проблема информативности логических законов и семантика «невозможных»
возможных миров. Дихотомия аналитических и синтетических истин. У.Куайн о
«двух догмах эмпиризма».
29. Принципы теории речевых актов и основные этапы её развития.
30. Типы речевых актов. Постулаты речевого общения.
31. Аргументация как обоснование мнений и действий. Структура доказательства и
опровержения, их правила.
32. Значение и действие. Логическое обоснование и рационализация действий.
Парадоксы предпочтения и эффективного действия.
33. Дискурс и текст. Критерии текстуальности.
Художественный и философский
текст: специфика референции.
34. Нарративная семантика и семиологическая интерпретация культуры.
35. Философские основания «натурализованных семантик».
Автор программы
доктор философских наук,
профессор кафедры онтологии, логики
и теории познания философского факультета
ГУ – ВШЭ
Е.Г. Драгалина – Черная