Программа дисциплины Логическая семантика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г

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

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

Содержание

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

Министерство экономического

развития и торговли Российской Федерации

Министерство образования

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

Государственный университет – Высшая школа экономики

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

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

Логическая семантика

для направления 030100.62 - Философия

подготовки бакалавра

Автор Драгалина – Черная Е.Г.

edragalina@hse.ru

Рекомендована секцией УМС

«Философия»

Председатель

Е.Г. Драгалина-Черная

____________________

« 13 » мая 2008 г.

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

философии

________________________________

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

Л.Б.Макеева ________________

«13» мая 2008г.

Одобрена на заседании кафедры

онтологии, логики и теории познания

зав. кафедрой В.Н.Порус

« » 2008 г.

Москва

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

№	Название Темы	Всего Часов	Аудиторные часы		Самостоятельная работа
№	Название Темы	Всего Часов	Лекции	Сем. и практ. Занятия	Самостоятельная работа
	Раздел 1. Предмет логической семантики	8	2	2	4
	Раздел 2. Проблема смысла и значения в истории логики	46	16	10	20
2.1	Протосемантика: логико-философские традиции Древнего Востока и Древней Греции	12	4	2	6
2.2.	Семантика в логике Средних веков и Нового времени	12	4	2	6
2.3.	Проблема смысла и значения в логике, философии и семиотике конца 19 века - первой половины 20 века	22	8	6	8
	Раздел 3. Семантические парадоксы. Выразительные, вычислительные и дедуктивные возможности формализмов	14	4	2	8
	Раздел 4. Язык, семантика, онтология	27	8	4	15
4.1. 4.2.	Аналитическая истина, «онтологическая нейтральность» логики и «внутренний реализм» Семантика возможных миров и интенсиональные онтологии	13 14	4 4	2 2	7 8
	Раздел 5. Теория речевых актов. Семантика и прагматика	13	5	2	6
	Итого:	108	35	20	53

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

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

Работа на практических занятиях (доклады, обсуждения, решение задач) – 30 % итоговой оценки
1 письменная домашняя работа (60 мин.) - 30 % итоговой оценки
Устный зачет (120 мин.) – 40 % итоговой оценки

Базовый учебник

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996

Содержание программы

Раздел 1. Предмет логической семантики

Язык как информационная знаковая система. Функции языка. Язык и метаязык. Синтаксис, семантика, прагматика. Смысл и значение знака.

Этапы становления логической семантики и принципы её теоретического построения. Методы логической семантики.

Место логической семантики в системе когнитивных наук. Логическая семантика и когнитивная психология. Лингвистическая и логическая семантика. Теория значения и теория референции.

Логическая семантика и философия. Категории смысла и значения в логико-семиотическом и экзистенциальном измерениях.

Литература

Основная

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 18 - 49

Дополнительная

Ажеж К. Человек говорящий. Вклад лингвистики в гуманитарные науки. М.: УРСС, 2003

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001

Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003

Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. М.: Изд-во политической литературы, 2000

Мечковская Н.Б. Семиотика. Язык. Природа. Культура. М.: Академия, 2004

Смирнова Е.Д. Основы логической семантики. М.: Изд-во МГУ, 1990

Солсо Р. Когнитивная психология. М.: Тривола, 2002

Фреге Г. О смысле и значении // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000

Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Семиотика. М.: Радуга, 1983

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР, 2006

Раздел 2. Проблема смысла и значения в истории логики

Тема 2.1. Протосемантика:

Именование в логико-философских традициях Древнего Востока и Древней Греции

«Веды» как текст и как вечность. Семантика «великого речения» в Адвайта-Веданте. «Индийская силлогистика» как семиотическая деятельность: Готама и Дигнага. Логика ньяя о суждении как восприятии: концепция «проникновения сущностей». Буддистская логика о восприятии как суждении: статика значений и динамика реальности. Спор о семантико-онтологическом статусе небытия: «отсутствие присутствия» vs. «присутствие отсутствия».

Китайская иероглифика и категория «мин» (имя – понятие). Мин как знак и репрезентативная абстракция. Конфуцианско-даосская нумерология и протологика. Конфуцианский принцип «исправления имен» (чжэн мин) и природная теория имен. Проблема имен (мин) и реалий (ши) в «школе имен» (мин цзя). Школа «отделения твердого от белого» и «парадокс белой лошади» Гуньсунь Луна. Даосское учение о двойственности Дао: «безымянное Дао («у мин») и «Дао, имеющее имя» («ю мин»). Парадоксальная семантика чаньского коана.

Античные теории имени: натурализм против конвенционализма. Пифагорейская «семантика камешков». Диалог Платона «Кратил»: именование как деятельность. Аристотель о несовершенстве умозаключений «от знаков» и логика стоиков как «наука о знаках».

Литература

Основная

Дао Дэ Цзин // Древнекитайская философия. М.,: Мысль, 1972, т. 1, с. 114 - 138

Лунь Юй // Древнекитайская философия. М.,: Мысль, 1972, т. 1, с. 139 - 174

Гуньсунь Лун // Древнекитайская философия. М.: Мысль, 1973, т. 2, с. 58 - 65

Платон. Кратил // Платон. Собрание соч. в 4 т. М.: Мысль, 1990, т. 1, с. 613 - 681

Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М.: Мысль, 1978, с. 93-116

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 10 - 209

Дополнительная

Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по истории платонизма. Вып. 2, СПб.: СПб: Наука, 2000

Муммонкан. Застава без ворот. СПб.: Наука, 2000

Ньяя-сутры. Ньяя-бхашья. М.: Наука, 2001

Фрагменты ранних стоиков. Т.2, ч. 1. Логические и физические фрагменты. М.: Мысль, 2002

Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002

Базаров А.А. Институт философского диспута в тибетском буддизме. СПб.: Наука, 1998

Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984

Гайденко П.П. Научная рациональность и философский разум. М.: Прогресс-Традиция, 2003

Григорьева Т.П. Дао как свобода // Человек, 2004, №6, с. 79 - 85

Гриненко Г.В. Сакральные тексты и сакральная коммуникация. М.: Новый век, 2000

Зильберман Д.В. Генезис значения в философии индуизма. М.: Наука, 1998

Инголлс Д.Г.Х. Введение в индийскую логику навья-ньяя. М.: Наука, 1975

Канаева Н.А., Заболотных Э.П. Проблема выводного знания в Индии. Логико-эпистемологические воззрения Дигнаги и его идейных преемников. М.: Восточная литература, 2002

Кобзев А.И. Учение о символах и числах в китайской классической философии. М.: Восточная литература, 1994

Крушинский А.А. Язык и мышление в Древнем Китае // Вопросы философии, 2007, №5

Противоположности и парадоксы, М.: Канон+, 2008

Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003

Шохин В.К. Стратификация реальности в онтологии адвайта-веданты. М.: Изд-во ИФ РАН, 2004

Шуцкий Ю.К. Китайская классическая «Книга перемен». М.: Алетейя, 1993

Щербатской Ф.И. Теория познания и логика по учению позднейших буддистов. СПб.; Университетская книга, 1995

Эко У. Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007

Тема 2.2. Семантика в логике Средних веков и Нового времени

Категориальная система средневековой семантики: «естественные» и «конвенциональные» знаки, «ментальные слова» и «концепты», «пропозиции», «суппозиции» и «пресуппозиции», «универсум речи», «виртуальное» и «формальное».

Существование и сущность, имя и атрибут, дефиниция и инфиниция в катафатических доказательствах. Катафатическое доказательство как «аналогическая речь», его интенциональный и перформативный характер (Фома Аквинский, Иоанн Дунс Скот). Значение и понимание (Августин, Фома Аквинский). Проблема «именования неименуемого» в апофатике (Дионисий Ареопагит, Григорий Палама).

Онтологический аргумент: от Ансельма Кентерберийского к Декарту. Критика Кантом онтологического доказательства: существование как первопорядковый предикат и как квантор (второпорядковый предикат).

Картезианская Mathesis Universalis, «рациональная грамматика» Пор-Рояля и Lingua Characteristica Лейбница. Семантика возможных миров для аналитических истин и божественный произвол. «Иллокутивно невозможные» возможные миры в перформативной интерпретации когито. Теории знаков Гоббса, Локка, Гассенди.

Кант о «пустоте» логической формы и формальности аналитического априори. Проблема категориального синтеза: учение Канта о трансцендентальном схематизме как семантическая теория когнитивного типа.

Литература

Основная

Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.: Канон, 1995, 123 - 165

Декарт Р. Размышления о первой философии // Декарт Р. Сочинения. М.: Мысль, 1994, т.2, 3 - 417

Кант И. Критика чистого разума // Кант И. Собрание сочинений в восьми томах, М.: Изд-во Чоро, 1994, т.3, 448 - 454

Жильсон Э. Философия в средние века. М., 2004, с. 182 – 189, 397 – 415, 448 – 469, 483 - 495

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004, с. 257 – 417

Дополнительная

Арно А., Николь П. Логика как искусство мыслить. М.: Наука, 1991

Арно А., Лансло К. Всеобщая рациональная грамматика (Грамматика Пор-Рояля). М.: Наука, 1991

Иоанн Дунс Скот. Избранное. М.: Мысль, 2001

Оккам Уильям. Избранное. М.: Наука, 2002

Фома Аквинский. Сумма теологии // Фома Аквинский. Онтология и теория познания: фрагменты сочинений. М.: ИФ РАН, 2001

Антонова О.А., Соловьев С.В. Теория и практика виртуальной реальности: Логико-философский анализ. Спб.: Издательство Санкт-Петербургского университета, 2008

Басос А.В. «Единственный аргумент» Ансельма Кентерберийского // Истина и благо: универсальное и сингулярное. М.: ИФ РАН, 2002

Бирюкова Н.Б. Логическая мысль во Франции (17 – начало 19 столетий). Французские предвосхищения математической логики. М.: Эдиториал УРСС, 2006

Драгалина-Черная Е.Г. Картезианское cogito в семантике возможных миров // Логический анализ языка. Избранное 1988 – 1995. М.: Индрик, 2003

Драгалина-Черная Е.Г. Аналитическое априори как проблема трансцендентальной онтологии // Трансцендентальная антропология и логика. Калининград: КГУ, 2000

Драгалина-Черная Е.Г. «Слово к внемлющему» или «диалог с безумцем»? Логика и риторика «Прослогиона» // Модели рассуждения – 1: Логика и аргументация. Калининград: Изд-во Российского университета им. И.Канта, 2007

Жильсон Э. Учение Декарта о свободе и теология. Бытие и сущность // Э.Жильсон. Избранное. Христианская философия. М.: РОССПЭН, 2004

Кассирер Э. Жизнь и учение Канта. М.: Университетская книга, 1997

Лисанюк Е.Н. Средневековый диспут // Логико-философские штудии – 4. СПб.: Издательство Санкт-Петербургского университета, 2006

Неретина С., Огурцов А. Пути к универсалиям. Санкт - Петербург: Изд-во русской христианской гуманитарной академии, 2006

Неретина С.С. Аргумент, нуждающийся для своего обоснования только в себе: //al.ru/vol4/vox20-204-20-209neretina.pdf.

Рикер П. Я-сам как другой. М.: Изд-во гуманитарной литературы, 2008

Самохвалов К.Ф. Предикаты существования и «онтологический аргумент» // Логические исследования. Вып. 6. М.: Наука, 1999

Суини М. Лекции по средневековой философии. Выпуск 1. Средневековая христианская философия Запада. М.: Греко-латинский кабинет Ю.А.Шичалина, 2001

Эко У. Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007

Общая и рациональная грамматика Пор-Рояля. М.: Наука, 1990

Хомский Н. Картезианская лингвистика. М.: Эдиториал УРСС, 2005

Савельев А.Л.. История идеи универсальной грамматики (с древнейших времен и до Лейбница). СПб.: Издательство С.-Петербургского университета, 2006

Тема 2.3. Проблема смысла и значения в логике, философии и семиотике

конца 19 века - первой половины 20 века

Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и диахронное, значение и значимость. Семиотика Пирса - Морриса. Фанероскопия Пирса: репрезентамент – объект - интерпретанта, иконические знаки - индексы – символы. Бихевиоризм Морриса: знак – десигнат – интерпретанта - интерпретатор, синтаксис – семантика – прагматика.

Теория знака Гуссерля. Феноменологическая критика психологизма и программа трансцендентального обоснования логики. Формальная онтология как априорное учение о формальных структурах предметности. Знак и интециональность, ноэма и ноэзис. Горизонт ноэтического акта. Феномен как смысл.

«Аналитика присутствия» Хайдеггера: знаки и смыслы. Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика: риторика бессознательного.

Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат, принципы контекстуальности и композициональности.

Программа «логической критики языка». Концепция «идеального языка». «Логический атомизм», теория дескрипций и теория типов Рассела. Программа «преодоления метафизики логическим анализом языка»: семантические идеи Венского кружка и Львовско-Варшавской школы. «Миф концептуального каркаса» (Поппер).

«Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического». Функционалистская концепция значения позднего Витгенштейна. Принцип «семейного сходства» и теория прототипов. Проблема «следования правилу» и «скептический парадокс». «Языковая игра» как «форма жизни».

Литература

Основная

Реале Д., Антисери Д. Западная философия от истоков до наших дней. Том 4. От романтизма до наших дней. СПб.: Петрополис, 1997, с.314 – 319, 369 – 376, 387 – 396, 406 – 414, 453 – 484, 590 – 595, 616-626, 635 – 644, 424 - 727

Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С. Избранные философские произведения. М.: Логос, 2000, с. 176 – 222

Моррис Ч. Основания теории знаков // Семиотика. М.: Радуга, 1983, с.37 – 89

Соссюр Ф. де. Курс общей лингвистики. Часть 1. Общие принципы. Глава 3. Статическая лингвистика и эволюционная лингвистика. Часть 2. Синхроническая лингвистика. Глава 4. Языковая значимость. // Соссюр Ф. де. Труды по языкознанию. М.: Прогресс, 1977, с. 112-132, 144- 160.

Гуссерль Э. Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, с. 216 - 296

Карнап Р. Преодоление метафизики логическим анализом языка // Аналитическая философия: становление и развитие. М.: Дом интеллектуальной книги, 1998, с. 69-89

Фреге Г. О смысле и значении // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 230 - 246

Фреге Г. Мысль. Логическое исследование // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 326 - 342

Рассел Б. Дескрипции // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 41 - 54

Витгенштейн Л. Логико-философский трактат // Витгенштейн Л. Философские работы. Ч.1. М.: Гнозис, 1994, с. 5 - 74

Витгенштейн Л. Философские исследования // Витгенштейн Л. Философские работы. Ч.2. М.: Гнозис, 1994, с. 77 - 319

Дополнительная

Гуссерль Э. Феноменология // Логос, 1991, вып. 1

Карнап Р. Эмпиризм, семантика и онтология // Карнап Р. Значение и необходимость. М.: ЛКИ, 2007

Крипке С. Витгенштейн о правилах и индивидуальном языке // Логос, №11, 1999

Переписка Эдмунда Гуссерля и Готлоба Фреге // Гуссерль Э. Избранные работы. М.: Территория будущего, 2005

Пирс Ч.С. Рассуждение и логика вещей. М.: Издательство РГГУ, 2005

Поппер К. Объективное знание. Эволюционный подход. М.: Едиториал УРСС, 2004

Рассел Б. Философские основания атомизма. Томск: Водолей, 1993

Рассел Б. Введение в математическую философию. Новосибирск: Сибирское университетское издательство, 2007

Твардовский К. Логико-философские и психологические исследования. М.: РОССПЭН, 1997

Фреге Г. Основоположения арифметики. Томск: Водолей, 2000

Журнал “Erkenntnis” («Познание»). Избранное. М.: Идея-пресс, 2006

Апель К.-О. Трансформация философии. М.: Логос, 2001

Бейкер Г.П., Хакер П.М.С. Скептицизм, правила и язык. М.: Канон+, 2007

Бирюков Б.В. В логическом мире Фреге // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 443 - 509

Васюков В.Л. Формальная феноменология. М.: Наука, 1999

Воленьский Я. Львовско-варшавская философская школа. М.: РОССПЭН, 2004

Деррида Ж. Голос и феномен. Работы по теории знака Гуссерля. СПб., 1999

Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Альфа, 2000

Драгалина-Черная Е.Г. От алгебры к геометрии рассуждения: «логическая хирография» Ч.С.Пирса// Модели рассуждений – 2: Аргументация и рациональность. Калининград: Изд-во Российского государственного университета им. И.Канта, 2008, с. 96 - 108

Ингарден Р. Введение в феноменологию Э.Гуссерля. М.: Дом интеллектуальной книги, 1999

Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000

Карнап Р., Ган Г., Нейрат О. Научное миропонимание – Венский кружок // Логос, 2005, №2

Камю А. Бунтующий человек. М.: Республика, 1990

Кирющенко В. Язык и знак в прагматизме. СПб.: Издательство Европейского университета в Санкт-Петербурге, 2008

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Лакан Ж. Инстанция буквы в бессознательном, или судьба разума после Фрейда. М.: Наука, 1997

Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Макеева Л. Язык и реальность // Логос, 2006, №6

Менчковская Н.Б. Семиотика. Язык, природа, культура. М.: Академия, 2004

Мерло-Понти М. Феноменология восприятия. М.: Наука, 1999

Поссмор Дж. Сто лет философии. М.: Прогресс - традиция, 1998

Рикер П. Кант и Гуссерль // Интенциональность и текстуальность. Томск: Водолей, 1998

Рикер П. Конфликт интерпретаций. Очерки о герменевтике. М.: Медиум, 1995

Руткевич А.М. Психоаналитическое учение о символе и интерпретации. М.: ГУ-ВШЭ, 2003

Сартр Ж.-П.. Бытие и ничто. М.: Республика, 2000

Серкова В.А. Феноменологическая дескрипция. СПб.: Изд-во С.-Петербургского ун-та, 2003

Слинин Я.А. Феноменологическое истолкование логики // Логические исследования, М.: Наука, 1999, вып. 8

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996

Сокулер З.А. Людвиг Витгенштейн и его место в философии ХХ века. Долгопрудный: Изд-во Физтех, 1994

Сорина Г.В. Логико-культурная доминанта. Очерки теории и истории психологизма и антипсихологизма в культуре. М.: Прометей, 1993

Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004

Эдмондс Д., Айдиноу Д. Кочерга Витгенштейна. М.: УРСС, 2004

Франкл В. Человек в поисках смысла. М.: Прогресс, 1990

Хайдеггер М. Время и бытие. М.: Республика, 1993

Шестов Л. Memento Mori (По поводу теории познания Эдмунда Гуссерля) // Шестов Л. Соч. В 2-х томах. Т. 1. М., 1993

Шлик М. Поворот в философии // Аналитическая философия: становление и развитие, М.: Прогресс, 1998

Шпет Г. Явление и смысл. Томск: Водолей, 1996

Pietarinen, A.-V. Signs of Logic. Peircean Themes on the Philosophy of Language, Games, and Communication. Synthese Library, Vol. 329, 2006

Martin Kusch. Language as Calculus vs Language as the Universal Medium: A Study of Husserl. Heidegger and Gadamer. Dordrecht : Kluwer Academic Publishers. 1989

Hintikka, Jaakko. Lingua Universalis Vs. Calculus Ratiocinator. Boston: Kluwer Academic Publishers, 1997

Раздел 3. Семантические парадоксы.

Выразительные, вычислительные и дедуктивные возможности формализмов

Семантические проблемы обоснования логических систем. Логические и семантические парадоксы. Самоприменимость и непредикативные определения. Семантическая замкнутость языка. Истинность и осмысленность. Определение понятия истинности для формализованных языков: схема Тарского. Выразительные возможности языков формальных теорий: теорема Тарского.

Формальные системы, алгоритмы и вычислимые функции. Рекурсивно разрешимые и рекурсивно перечислимые множества. Конструктивный объект. Машина Тьюринга и тезис Чёрча. Неразрешимость общей проблемы остановки. Тест Тьюринга и «китайская комната» Сёрля.

Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами.

Философский смысл «ограничительных» теорем. Формализуемое и неформализуемое в знании. Сильный и слабый искусственный интеллект. «Парадокс изобретателя».

Основная

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005, с. 167 - 227

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 107 - 132

Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие, М., 1998, с. 90 - 129

Дополнительная

Антонова О.А., Соловьев С.В. Теория и практика виртуальной реальности: Логико-философский анализ. Спб.: Издательство Санкт-Петербургского университета, 2008

Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994

Драгалина-Черная Е.Г. От тривия к инженерии знаний // Электронный журнал «Знание, понимание, умение» 2008 №11 (ссылка скрыта)

Вейнгартнер П. Фундаментальные проблемы теорий истины. М.: Наука, 2005

Виноград Т., Флорес Ф. О понимании компьютеров и познания // Язык и интеллект. М.: Прогресс, 1996

Кейслер Г., Чэн Ч.Ч. Теория моделей. М.: Мир, 1977

Клайн М. Математика. Утрата определенности. М.: Мир, 1984

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000

Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики. М.: УРСС, 2003

Сёрль Дж. Открывая сознание заново. М., 2002

Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4

Смирнова Е.Д. Основы логической семантики. М.: Изд-во МГУ, 1990

Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию.М.: Мир, 1990

Тейз А., Грибомон П., Юлен Г и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных. М.: Мир, 1998

Тьюринг А. Может ли машина мыслить? М.: Мир, 1960

Хант Э. Искусственный интеллект. М.: Мир, 1978

Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о разуме и машинах в духе Льюиса Кэрролла. М.: Бахрах-М, 2000

Шульга Е. Компьютерная герменевтика //Вопросы философии, 2007, №2

Wang H.. Logical journey from Godel to philosophy. MIT Press, 1996

Раздел 4. Язык, семантика, онтология

Тема 4.1. Аналитическая истина, «онтологическая нейтральность» логики и «внутренний реализм»

Теоретико-модельные свойства формальных теорий. Множественность интерпретаций, нестандартные модели и парадокс Сколема. Феномен онтологической редукции, «парадокс» Патнэма и философские основания теоретико-модельных семантик.

Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна. Концептуальная относительность и внутренний реализм. Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма».

Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы. Кванторы как функции выбора и как второпорядковые предикаты.

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

Литература

Основная

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 212 - 299

Куайн У. Онтологическая относительность // Современная философия науки. М.: Наука, 1996, с. 40 – 60

Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН, 1999 с. 19 - 155

Дополнительная

Барвайс Д. Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982

Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994

Вартофский М. Модели. Репрезентация и научное понимание. М.: Прогресс, 1988

Гильберт Д. Естествознание и логика // Кантовский сборник. Калининград, 1990

Драгалина-Черная Е.Г. Логика и онтология обобщенной квантификации // Логический анализ языка. Квантификативный аспект языка. М.: Индрик, 2005, с. 36 - 44

Драгалина-Черная Е.Г. Формальные онтологии как абстрактные логики // Логические исследования. Выпуск 12. М.: Наука, 2005, 162 - 169

Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Логический анализ языка. Квантификативный аспект языка. М.: Индрик, 2005

Кейслер Х. Основы теории моделей // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2004

Куайн У. Еще раз о неопределенности перевода // Логос, 2005, 47

Куайн У.В.О. Философия логики. М.: Канон+, 2008

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Малиновский Б. Проблема значения в примитивных языках // Эпистемология & Философия науки, 2005, №3

Маникас П. Уиллард Ван Орман Куайн // Американская философия. М.: Идея-Пресс, 2008

Макеева Л.Б. Философия Х.Патнэма. М.: ИФ РАН, 1996

Математика и опыт. М.: Изд-во МГУ, 2003

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000

Патнэм Х. Философия сознания. М.: Наука, 1999

Сепир Э. Язык: Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и культурологии. М., 1993, с. 26 – 203

Сёрль Д. Открывая сознание заново. М.: Идея-Пресс, 2002

Смирнова Е.Д. Аналитическая истинность // Методологические аспекты когнитивных процессов (Вычислительные системы, 172). Новосибирск: Институт математики им. С.Л.Соболева СО РАН, 2002

Фреге Г. Основоположения арифметики. Томск: Водолей, 2000

Хакинг Я. Представление и вмешательство: Начальные вопросы философии естественных наук. М.: Логос, 1998

Хинтикка Я. Проблема истины в современной философии // Вопросы философии, 1996, № 9

Сепир Э. Введение в изучение речи // Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993

Рубашкин В.Ш., Лахути Д.Г. Онтология: от натурфилософии к научному мировоззрению и инженерии знаний / Вопросы философии, 2005, №1, С. 64 – 81

Сильверстейн М. Уорфианство и лингвистическое воображение нации // Логос. 2005. N 4. С. 71 - 115

Б.М.Величковский. Когнитивная наука. Основы психологии познания. М.: Смысл, 2006

Солсо Р. Когнитивная психология. М.: Тривола, 2002

Шульц В.Л., Любимова Т.М. Язык как метареальность и прогностическая структура // Вопросы философии, 2008, №7

Shapiro S.. The limits of Logic, Dartmouth: Aldershot, 1996

Read S. Thinking About Logic: An Introduction to the Philosophy of Logic. Oxford: Oxford University Press, 1995

Putnam H. Humanism with a Human Face. Cambridge, 1990

Тема 4.2. Семантика возможных миров и интенсиональные онтологии

Семантические принципы классической логики и основания их пересмотра в интенсиональной логике. Семантики «возможных миров» для интенсиональных логических систем. «Возможные миры», точки соотнесения и «виртуальная реальность». Проблема информативности логических законов и семантика «невозможных» возможных миров.

Референциальная непрозрачность интенсиональных контекстов и «загадка контекстов мнения». Интенсиональность как интенциональность. Проблема кросс-идентификации и интенционального тождества: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки. Онтологический статус интенсиональных сущностей и нео-эссенциализм. Теоретико-игровые семантики для интенсиональной логики.

Основная

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 133- 211

Крипке С. Тождество и необходимость // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 340 - 376

Дополнительная

Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Изд-во Альфа, 2000

Крипке С. Загадка контекстов мнения // Новое в зарубежной лингвистике. М.: Радуга, 1986, вып. 18

Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003

Кастанеда Г.-Н. Художественный вымысел и действительность: их фундаментальные связи// Логос, 1999, №3

Куайн У. Референция и модальность // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 87 - 108

Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999

Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003

Сааринен Э. Хинтикка, Кастанеда и Куайн о квантификации «в»: некоторые основополагающие проблемы в интенсиональной логике // Исследования по неклассическим логикам. М.: Прогресс, 1989

Сидоренко Е.А. Семантика возможных миров: от Лейбницевской к Юмовской // Логические исследования. Вып. 3, М.: 1995

Сидоренко Е.А. Логика. Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002

Хинтикка Я. Логико - эпистемологические исследования. М.: Прогресс, 1980

van Benthem, J. Logic in Games, Electronic lecture notes, ILLC University of Amsterdam & Department of Philosophy, Stanford University. 1999,ence.uva.nl/~johan/Teaching

Раздел 6. Теория речевых актов.

Семантика и прагматика

Теория речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена. «Компетенция» и «употребление» в порождающей грамматике Хомского. Теория «подразумевания» Грайса. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативы и констативы.

Постулаты речевого общения, коммуникативные неудачи и коммуникативные импликатуры. Иллокутивное самоубийство. Исчисление речевых актов Сёрля и Вандервекена. Конституирующие правила аргументативного речевого акта: семантика и прагматика. Значение и действие. Логическое обоснование и рационализация действий.

Дискурс и текст. Критерии текстуальности. Логические аспекты порождения и интерпретации текста: нарративные операторы. Текст, контекст и гипертекст. Интертекстуальность. Типология текстов. Художественный и философский тексты: логическая структура и специфика референции. Методы логической герменевтики в анализе философских текстов.

Нарративная семантика и семиологическая интерпретация культуры: идеология и мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык. «Дискурсивные практики» и прагматика «мира повседневности». «Практический смысл» и «практические логики» Бурдье. Теория коммуникативного действия Хабермаса. Трансцендентальная «языковая игра» Апеля. «Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета.

Литература

Основная

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001, С. 336 - 358

Серль Дж. Референция как речевой акт // Новое в зарубежной лингвистике, М: Радуга, 1982, вып. 13, с. 179 - 202

Серль Дж., Вандервекен Д. Основные понятия исчисления речевых актов // Новое в зарубежной лингвистике, М.: Радуга, 1986, вып. 18, с. 242 - 263

Дополнительная

Апрель К.-О. Трансформация философии. М.: Логос, 2001

Бодрияр Ж. К критике политической экономии знака. М.: Библион, 2003

Брокмейер Й., Харре Р. Нарратив: проблемы и обещания одной альтернативной парадигмы // Вопросы философии, 2000, №3

Бурдье П. Практический смысл. СПб.: Алетейя, 2001

Вержбицкая А. Язык. Культура. Познание. М.: Русские словари, 1996

Вригт Г.Х. Логико-философские исследования. М.: Прогресс, 1986

Грайс Г. Логика и речевое общение // Новое в зарубежной лингвистике, М: Радуга, 1985, вып. 17

Грифцова И.Н. Логика как теоретическая и практическая дисциплина. К вопросу о соотношении формальной и неформальной логики. М., 1998

Деннет Д.С. Виды психики: на пути к пониманию сознания. М.: Прогресс, 2004

Кастанеда Г.-Н. Художественный вымысел и действительность: их фундаментальные связи // Логос, 1999, №3

Лакофф Дж., Джонсон М. Метафоры, которыми мы живем. М.: УРСС, 2004

Матурана У. Биология познания // Язык и интеллект. М.: Прогресс, 1996

Остин Дж. Как производить действия при помощи слов. Смысл и сенсибилии. М.: Прогресс, 1999

Остин Дж. Три способа пролить чернила. СПб.: Алетейя, 2006

Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3

Пинкер С. Язык как инстинкт. М.: УРСС, 2004

Порус В.Н. Метафора и рациональность // Высшее образование в России. 2005, № 1

Пьеге-Гро Н. Введение в теорию интертекстуальности. М.: УРСС, 2007

Противоречие и дискурс. М.: Институт философии РАН, 2005

Французская семиотика. От структурализма к постстуктурализму. М.: Прогресс, 2000

Юлина Н.С. Головоломки проблемы сознания. Концепция Дэниела Деннета. М.: Канон+, 2004

Хабермас Ю. Моральное сознание и коммуникативное действие. СПб.: Наука, 2006

Хомский Н. Картезианская лингвистика. М.: Эдиториал УРСС, 2005

Тугендхат Э. Введение в аналитическую философию языка. // Логос, 1999, №20

Соболева М.Е. Философия как «критика языка» в Германии. – СПб.: Изд-во С.-Петербургского ун-та, 2005

Шюц А. Избранное: Мир, светящийся смыслом. М.: РОССПЭН, 2004

Маклюэн М. Понимание media. М.: Кучково поле, 2007

Луман Н. Медиа коммуникации. М.: Логос, 2005

Успенский Б.А. Ego Loquens. Язык и коммуникационное пространство. М.: РГГУ, 2007

Тематика докладов, рефератов, письменных домашних работ

Место логической семантики в системе когнитивных наук. Логическая семантика и когнитивная психология. Лингвистическая и логическая семантика.
«Индийская силлогистика» как семиотическая деятельность: ньяя и буддизм.
Мин как знак и репрезентативная абстракция. Школа «отделения твердого от белого» и парадокс «белой лошади».
Парадоксальная семантика чаньского коана.
Диалог Платона «Кратил»: именование как деятельность.
Референциальное манипулирование в античной софистике.
Логика стоиков как «наука о знаках».
Существование и сущность, имя и атрибут, дефиниция и инфиниция в латинской катафатике. Проблема «именования неименуемого» в апофатике.
Виртуальная реальность: от схоластики к Интернету.
Семантика онтологического аргумента: от Ансельма Кентерберийского к Декарту и Канту. Существование как предикат и как квантор.
Семантика возможных миров для аналитических истин и божественный произвол: Декарт и Лейбниц.
«Универсальная характеристика» и «всеобщая математика»: сходство и различие исследовательских программ.
Логико-семантические идеи Гоббса, Локка и Гассенди.
Кант о «пустоте» логической формы и формальности аналитического априори. Учение Канта о трансцендентальном схематизме как семантическая теория.
Семиология де Соссюра: язык и речь, означающее и означаемое, синхронное и диахронное, значение и значимость.
Семиотика и фанероскопия Пирса: репрезентамен – объект – интерпретанта.
Диаграмматическая логика Ч.С.Пирса.
Бихевиористская семиотика Морриса: знак – десигнат – интерпретанта – интерпретатор.
Смысл как феномен: феноменологическая семантика Гуссерля.
«Аналитика присутствия» Хайдеггера: знаки и смыслы.
Парадокс, нонсенс и абсурд. Смысл и абсурд в экзистенциальном измерении.
Психоаналитика как семиотика: риторика бессознательного (Фрейд). Символ и архетип (Юнг). Реальное, воображаемое, символическое (Лакан).
«Воля к смыслу» в экзистенциальном психоанализе. «Терапия смысла» (Франкл).
Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат, принципы контекстуальности и композициональности.
Логическая критика естественного языка и принципы построения «идеального языка». «Преодоление метафизики логическим анализом языка» (Карнап).
Теория дескрипций и теория типов Рассела.
«Картинная» семантика раннего Витгенштейна: семантический солипсизм.
Принцип «семейного сходства» позднего Витгенштейна и современные функционалистские концепции значения: теория прототипов.
Проблема «следования правилу» и «скептический парадокс»: Витгенштейн и Крипке.
Язык как «форма жизни» и «жизненный мир»: Витгенштейн и Гуссерль.
«Языковые игры» Витгенштейна и теоретико-игровая семантика Хинтикки.
Логические и семантические парадоксы. Самоприменимость и непредикативные определения.
Тарский о семантической замкнутости естественного языка. Определение понятия истинности для формализованных языков: схема Тарского. Философские основания теоретико-модельной семантики Тарского.
«Сильный» и «слабый» искусственный интеллект. Тест Тьюринга и «китайская комната» Сёрля.
Формализуемое и неформализуемое в знании: философский смысл «ограничительных» теорем.
Теорема Геделя и религиозно-философский апофатизм.
Теоретико-модельные парадоксы: множественность интерпретаций, нестандартные модели и «онтологическая редукция».
Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна. «Миф концептуального каркаса» (Поппер).
Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы.
Критерии и границы логического: принцип онтологической нейтральности Куайна, критерий инвариантности Тарского, теорема Линдстрёма.
Философские основания семантики «возможных миров». «Невозможные» возможные миры.
Интенсиональность как интенциональность. Проблемы кросс-идентификации и интенционального тождества: «жесткие десигнаторы» Крипке и «индивидуализирующие функции» Хинтикки.
Референциальная непрозрачность и «загадка контекстов мнения». Пропозициональные установки de re и de dicto. Онтологический статус интенсиональных сущностей и нео-эссенциализм.
Ситуационные и теоретико-игровые семантики для интенсиональных логик.
Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории.
Принципы теории речевых актов и её эволюция: от позднего Витгенштейна до Сёрля и Вандервекена.
Локутивные, иллокутивные и перлокутивные речевые акты. Перформативы и констативы. Перформативная гипотеза.
Исчисление речевых актов Сёрля и Вандервекена.
«Компетенция» и «употребление» в порождающей грамматике Хомского.
Теория «подразумевания» Грайса. Постулаты речевого общения, коммуникативные неудачи и коммуникативные импликатуры. Иллокутивное самоубийство.
Аргументативные речевые акты. Аргументация и обоснование.
Семантика метафоры. «Метафоры, которыми мы живем».
Значение и действие. Логическое обоснование и рационализация действий.
Аристотель о теоретических и практических рассуждениях. Практический силлогизм и целевое обоснование.
Модели ограниченной рациональности: теория коммуникативного действия Хабермаса и трансцендентальная «языковая игра» Апеля.
Дискурс и текст. Текст, контекст, гипертекст, интертекст. Художественный и философский тексты: логическая структура и специфика референции.
Логические аспекты порождения и интерпретации текста: нарративные операторы. Методы логической герменевтики в анализе философских и художественных текстов.
Нарративная семантика и семиологическая интерпретация культуры: идеология и мифология, консенсус и рефлексия, интерпретация и деконструкция, власть и язык.
«Дискурсивные практики» и прагматика «мира повседневности». «Практический смысл» и «практические логики» Бурдье.
«Натурализованные семантики»: язык как инстинкт (Пинкер) и как адаптивная деятельность (Матурана), «эволюционный аргумент» Деннета.

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

Язык как информационная знаковая система. Функции языка. Язык и метаязык.
Этапы становления логической семантики и принципы её теоретического построения. Методы логической семантики.
Семантические проблемы в школах адвайта-веданты и ньяя. Буддистская логика и «индийский силлогизм».
Проблема имен (мин) и реалий (ши) в философии Древнего Китая. Конфуцианский принцип «исправления имен» и учение даосов о двойственности Дао: «у мин» и «ю мин».
Античные теории имени: натурализм и конвенционализм.
Категориальная система средневековой семантики: «естественные» и «конвенциональные» знаки, «ментальные слова» и «концепты», «пропозиции», «суппозиции» и «пресуппозиции», «универсум речи», «виртуальное» и «формальное».
Декарт и Лейбниц: аналитические истины и «возможные миры», «всеобщая математика» и «универсальная характеристика». Семантика картезианского когито.
Рациональная грамматика Пор-Рояля.
Семиотические принципы английских эмпириков XVII века.
Логико-семантические идеи Канта.
Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса.
Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис.
Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика.
Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат.
Программа «преодоления метафизики логическим анализом языка»: семантические идеи Венского кружка и Львовско-Варшавской школы.
«Логический атомизм», теория дескрипций и теория типов Рассела.
«Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического».
Функционалистская концепция значения позднего Витгенштейна. «Языковая игра» как «форма жизни».
Семантические проблемы обоснования логических систем. Логические и семантические парадоксы.
Определение понятия истинности для формализованных языков: схема Тарского. Выразительные возможности языков формальных теорий.
Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля.
Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл «ограничительных» теорем.
Теоретико-модельные свойства формальных теорий. Нестандартные интерпретации и парадокс Сколема.
Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна.
Квантификация и онтологические допущения языка: критерий Куайна и его альтернативы.
Семантика «возможных миров» для интенсиональных логических систем. Проблемы кросс-идентификации и интенционального тождества.
Дихотомия аналитических и синтетических истин. У.Куайн о «двух догмах эмпиризма».
Принципы теории речевых актов и основные этапы её развития.
Типы речевых актов. Постулаты речевого общения.
Значение и действие. Логическое обоснование и рационализация действий. Парадоксы предпочтения и эффективного действия.
Дискурс и текст. Критерии текстуальности. Художественный и философский текст: специфика референции.
Нарративная семантика и семиологическая интерпретация культуры. Философские основания «натурализованных семантик».

Автор программы

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

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

и теории познания философского факультета

ГУ – ВШЭ Е.Г. Драгалина – Черная

Blog

Программа дисциплины Логическая семантика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г

Содержание

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

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

Логическая семантика

Рекомендована секцией УМС

Одобрена на заседании кафедры

Москва