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

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

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

Содержание

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

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

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

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

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

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

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

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

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

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

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

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

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

________________________

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

________________________

« » 200 г

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

________________________________

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

________________________________

«_____» _________________200_г

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

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

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

« » 200 г

Москва

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

№	Название Темы	Всего Часов	Аудиторные часы		^ Самостоятельная работа
№	Название Темы	Всего Часов	Лекции	Сем. и практ. Занятия	^ Самостоятельная работа
	^ Раздел 1. Предмет логической семантики	6	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. Философские основания теоретико-модельных семантик. Язык, семантика, онтология	14	4	2	8
	^ Раздел 5. Интенсиональные логики и нестандартные семантики	13	4	2	7
	^ Раздел 6. Теория речевых актов. Семантика и прагматика аргументации	15	5	4	6
	Итого:	108	35	20	53

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

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

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

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

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

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

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

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

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

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

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

Литература

Основная

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

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

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

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

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

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

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

Смирнова Е.Д. Основы логической семантики. М., 1990

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

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

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

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

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

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

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

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

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

Основная

Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 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

Гране М. Китайская мысль. М., 2004

Григорьева Т.П. Дао и логос. М., 1992

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

Делез Ж. Логика смысла. М., 1998

Дикий плющ. Духовная биография дзэнского наставника Хакуина. СПб., 2001

Древние системы письма. Этническая семиотика. М., 1986

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

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

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

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

Крушинский А.А. Логика «И Цзина». Дедукция в Древнем Китае. М., 1999

Крюков В.М. Ритуальная коммуникация в древнем Китае. М., 1997

Лосев А.Ф.Философия имени // Лосев А.Ф. Бытие, имя, космос. М., 1993

Радхакришнан С. Индийская философия. В 2-х т., М., 1994

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

Судзуки С. Наука дзен. Ум дзен. Киев, 1992.

Сущность дзен. Искусство быть свободным. СПб., 2000

Чаттерджи С., Дата Д. Индийская философия. М., 1994

Шохин В.К. Брахманистская философия. М., 1994

Шохин В.К. Ф.И.Щербатской и его компаративистская философия. М., 1998

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

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

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

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

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

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

Картезианская 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

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

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

Кассирер Э. Жизнь и учение Канта. М., 1997

Мамардашвили М. Картезианские размышления. М., 1993

Молчанов В.И. Cogito. Синтез. Субъективизм // Вопросы философии, 1996, №10

Неретина С.С. Концептуализм Абеляра. М., 1996

Неретина С.С. Тропы и концепты. М., 1999

Неретина С.С. Августин: значение и понимание // Истина и благо: универсальное и сингулярное. М., 2002

Рикер П. Кризис Cogito // Бессмертие философских идей Декарта. М., 1997

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

Суини М. Лекции по средневековой философии. М., 2001

Тема 3. Проблема смысла и значения в логике, философии и семиотике конца 19 века - первой половины 20 века

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

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

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

«Аналитика присутствия» Хайдеггера: знаки и смыслы. Смысл и абсурд в экзистенциальном измерении: Сартр и Камю. Парадокс, нонсенс и абсурд. Психоаналитика как семиотика: риторика бессознательного (Фрейд). Символ и архетип (Юнг). Реальное, воображаемое и символическое (Лакан). «Воля к смыслу» в экзистенциальном психоанализе. Абсурд как «экзистенциальный вакуум». «Терапия смысла» (Франкл).

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

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

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

Литература

Основная

Реале Д., Антисери Д. Западная философия от истоков до наших дней. Том 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

Поппер К. Объективное знание. Эволюционный подход. М.: Едиториал УРСС, 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

Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 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

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

Язык и интеллект. М., 1996

Уайтхед А.Н. Символизм, его смысл и воздействие. Томск, 1999

Феноменология искусства. М., 1996

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

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

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

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

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

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

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

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

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

Основная

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

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

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

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

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

Катасонов В.Н. Боровшийся с бесконечным. Философско-религиозные аспекты генезиса теории множеств Г.Кантора. М., 1999

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

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

Дрейфус Х., Дрейфус С. Создание сознания vs. моделирование мозга // Аналитическая философия: становление и развитие, М., 1998

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

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

Микешина Л.А., Опенков М.Ю. Новые образы познания и реальности. М., 1997

Манин Ю.И. Доказуемое и недоказуемое. М., 1979

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

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

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

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

Смирнова Е.Д. Основы логической семантики. М., 1990

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

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

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

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

Черч А. Введение в математическую логику. М., 1960

^ Раздел 4. Философские основания теоретико-модельных семантик.

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

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

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

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

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

Литература

Основная

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 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

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

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

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

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

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

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

^ Раздел 5. Интенсиональные логики и нестандартные семантики

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

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

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

Основная

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

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

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

Анисов А.М. Темпоральный универсум и его познание. М.: Изд-во ИФ РАН, 2000

Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М.: Едиториал УРСС, 2004

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

Ивлев Ю.В. Модальная логика. М.: Изд-во МГУ, 1991

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

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

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

Карпенко А.С. Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990

Карнап Р. Значение и необходимость. М.: Изд-во иностранной литературы, 1959

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

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

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

Рассел Б. Искусство мыслить. М.: Идея - Пресс, 1999

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

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

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

Смирнова Е.Д. Аналитическая истинность // Методологические аспекты когнитивных процессов. Новосибирск: Сибирское отделение РАН, 2002, с. 74 - 134

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

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

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

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

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

Спор и полемика. Виды спора: диалектический, эристический и софистический споры. Логические и психологические уловки, применяемые в споре. Внушение и рациональное доказательство. Специфика философской аргументации. Аргументативные техники в правовой, политической, PR и бизнес – коммуникации. Референциальное манипулирование. Эвфемизация и дисфемизация как риторические стратегии. «Риторический этос» рациональной аргументации и возможность её нормативной регламентации. Псевдоаргументация. Алогичность как риторический прием. Логика и риторика: «метафоры, которыми мы живем».

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

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

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

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

Литература

Основная

Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 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

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

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

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

Ришар Ж. Ментальная активность. Понимание, рассуждение, нахождение решений. М., 1998

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

Сорина Г.В. Основы принятия решений. М.: Экономистъ, 2004

Теория метафоры. М., 1990

Уолтон Д. Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002

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

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

Шейгал Е. Семиотика политического дискурса. М., 2004

Шмелев А.Д. Референция и художественный текст // Шмелев А.Д. Русский язык и внеязыковая действительность. М.: Языки славянской культуры, 2002

Шульга Е.Н. Когнитивная герменевтика. М., 2002

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

^ Тематика докладов и рефератов

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

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

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

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

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

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

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

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

Blog

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

Содержание

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

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

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

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

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

Москва