Программа дисциплины Логическая семиотика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г
Вид материала | Программа дисциплины |
- Программа дисциплины Логическая семантика для направления 030100. 62 Философия подготовки, 315.35kb.
- Планы семинарских занятий Логика (1,2,3,4 модули) для направления 030100. 62 Философия, 231.59kb.
- Программа дисциплины Логическая семантика для направления 520400 Философия подготовки, 318.98kb.
- Программа дисциплины Логика для направления 031400. 62 Культурология подготовки бакалавра, 238.74kb.
- Планы семинарских занятий Логика для направления 031400. 62 Культурология подготовки, 184.82kb.
- Программа дисциплины концепции и концептуальный анализ в математике и гуманитарном, 335.24kb.
- Программа дисциплины Эстетика для направления 030100. 62 «Философия» подготовки бакалавра, 279.61kb.
- Программа дисциплины Западноевропейская автобиография как историко-культурный феномен, 188.79kb.
- Программа дисциплины Концепции современного естествознания для направления 030100., 394.53kb.
- Программа дисциплины Этика для направления 030100. 62 «Философия» подготовки бакалавра, 548.5kb.
Государственный университет – Высшая школа экономики
Факультет Философии
Программа дисциплины
Логическая семиотика
для направления 030100.62 - Философия
подготовки бакалавра
Автор Драгалина – Черная Е.Г.
edragalina@hse.ru
Рекомендована секцией УМС«Философия» Председатель Е.Г. Драгалина-Черная ____________________ «13» октября 2009г. Утверждена УС факультета философии ________________________________ Ученый секретарь И.В.Макарова ________________________________ «13» октября 2009г. | Одобрена на заседании кафедрыонтологии, логики и теории познания зав. кафедрой В.Н.Порус «13» октября 2009г. |
Москва
2009
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Чтение курса логической семиотики на философском факультете ГУ-ВШЭ преследует следующие основные цели:
- ознакомление с концептуальным аппаратом логической семиотики;
- изучение историко-логической и историко-философской проблематики в перспективе «лингвистического поворота» современной философии;
- оценка философского значения и границ метода формализации, знакомство с теоретико-модельными и теоретико-доказательственными свойствами формальных теорий, анализ методологического значения «ограничительных» теорем о выразительных, вычислительных и дедуктивных возможностях формализмов;
- выявление экспликативного и эвристического потенциала логической семантики как формальной онтологии;
- обоснование специфики семиосферы, семантико-прагматический анализ философского дискурса с использованием аппарата теории речевых актов.
Проблематика смысла и значения, уходящая корнями в сакраментальный для любого философствующего субъекта вопрос «Что все это значит?», образует ядро не только современной аналитической философии, но также феноменологии, герменевтики и всех направлений философии, апеллирующих к «трансцендентальной смысловой реальности». Вместе с тем, выявление принципов и границ формализации знания, тесно связанное с задачами преодоления семантических парадоксов, предполагает обращение к таким теоретико-модельным свойствам формальных теорий как полнота, непротиворечивость, компактность, категоричность, а также к точным результатам современной математической логики о выразительных и дедуктивных возможностях формализмов. Построение точных семантик для неклассических логических систем служит эффективным средством аналитической реконструкции традиционных онтологических и эпистемологических проблем, связанных с категориями истинности, необходимости, долженствования, сущности и существования, знания и веры. Обращение к концептуальному аппарату теории речевых актов позволяет включить в сферу логического анализа не только синтаксис и семантику, но и прагматику языка.
Курс логической семиотики на философском факультете ГУ-ВШЭ является обязательным для всех студентов, специализирующихся по философии. Он охватывает два модуля. Проведение семинарских занятий является необходимым компонентом курса. Изучение курса завершается устным зачетом. Учебным планом предусмотрена одна письменная домашняя работа, основные выводы которой докладываются студентами на семинарских занятиях.
Тематический план учебной дисциплины
№ | Название Темы | Всего Часов | Аудиторные часы | Самостоятельная работа | |
Лекции | Сем. и практ. Занятия | ||||
| Раздел 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
Драгалина-Черная Е.Г. Аналитическое априори как проблема трансцендентальной онтологии // Трансцендентальная антропология и логика. Калининград: КГУ, 2000
Драгалина-Черная Е.Г. «Слово к внемлющему» или «диалог с безумцем»? Логика и риторика «Прослогиона» // Модели рассуждения – 1: Логика и аргументация. Калининград: Изд-во РГУ им. И.Канта, 2007
Драгалина-Черная Е.Г Тяжба о «ста талерах»: via eminentiae // Кантовский сборник, 2009, 2 (30)
Жильсон Э. Учение Декарта о свободе и теология. Бытие и сущность // Э.Жильсон. Избранное. Христианская философия. М.: РОССПЭН, 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
Драгалина-Черная Е.Г Парадокс индоктринации: от «языковых игр» к «жизненным мирам» // Электронный журнал «Знание, понимание, умение» 2008 №1: ссылка скрыта
Ингарден Р. Введение в феноменологию Э.Гуссерля. М.: Дом интеллектуальной книги, 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
Драгалина-Черная Е.Г. Контекстуальность и композициональность. От «принципа Фреге» к когнитивным семантикам // Модели рассуждения -3: когнитивный подход, Калининград: Изд-во РГУ им. И.Канта, 2009
Драгалина-Черная Е.Г. Путь к очевидности: парадокс и докса // Противоположности и парадоксы (Методологический анализ), М.: Канон +, 2008, с. 234 – 242
Вейнгартнер П. Фундаментальные проблемы теорий истины. М.: Наука, 2005
Виноград Т., Флорес Ф. О понимании компьютеров и познания // Язык и интеллект. М.: Прогресс, 1996
Кейслер Г., Чэн Ч.Ч. Теория моделей. М.: Мир, 1977
Клайн М. Математика. Утрата определенности. М.: Мир, 1984
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянской культуры, 2004
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Пенроуз Р. Новый ум короля. О компьютерах, мышлении и законах физики. М.: УРСС, 2003
Сёрль Дж. Открывая сознание заново. М., 2002
Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4
Смирнова Е.Д. Основы логической семантики. М.: Изд-во МГУ, 1990
Тейз А., Грибомон П., Луи Ж. и др. Логический подход к искусственному интеллекту: от классической логики к логическому программированию.М.: Мир, 1990
Тейз А., Грибомон П., Юлен Г и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных. М.: Мир, 1998
Тьюринг А. Может ли машина мыслить? М.: Мир, 1960
Хант Э. Искусственный интеллект. М.: Мир, 1978
Хомский Н. Картезианская лингвистика. М.: УРСС, 2006
Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о разуме и машинах в духе Льюиса Кэрролла. М.: Бахрах-М, 2000
Шульга Е. Компьютерная герменевтика //Вопросы философии, 2007, №2
Wang H.. Logical journey: from Godel to philosophy. MIT Press, 1996
Фреге Г. Логика и логическая семантика. М.: Аспект Пресс, 2000
Раздел 4. Язык, семантика, онтология
Тема 4.1. Аналитическая истина, «онтологическая нейтральность» логики и «внутренний реализм»
Теоретико-модельные свойства формальных теорий. Множественность интерпретаций, нестандартные модели и парадокс Сколема. Феномен онтологической редукции, «парадокс» Патнэма и философские основания теоретико-модельных семантик.
Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна. Концептуальная относительность и внутренний реализм. Дихотомия аналитического и синтетического: У.Куайн о «двух догмах эмпиризма». Онтологические допущения языка: критерий Куайна и его альтернативы.
Критерии и границы логического: принцип онтологической нейтральности Куайна, критерий инвариантности Тарского, теорема Линдстрёма. Многообразие логических систем и проблема единства логического знания.
Литература
Основная
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 212 - 299
Куайн У. Онтологическая относительность // Современная философия науки. М.: Наука, 1996, с. 40 – 60
Тарский А. Понятие истины в языках дедуктивных наук // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН, 1999 с. 19 - 155
Дополнительная
Барвайс Д. Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982
Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994
Вартофский М. Модели. Репрезентация и научное понимание. М.: Прогресс, 1988
Гильберт Д. Естествознание и логика // Кантовский сборник. Калининград, 1990
Драгалина-Черная Е.Г. Формальные онтологии как абстрактные логики // Логические исследования. Выпуск 12. М.: Наука, 2005, 162 - 169
Драгалина-Черная Е.Г. Логика и онтология в формальной философии В.А.Смирнова // Вопросы философии, 2009, №3, 108-118
Драгалина-Черная Е.Г. Границы логики: онтологический поворот // Философия науки, № 14, ИФ РАН, 2009, с. 87-99
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 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 века.
- Логико-семантические идеи Канта.
- Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса.
- Теория знака Гуссерля. Знак и интециональность, ноэма и ноэзис.
- Смысл и абсурд в экзистенциальном измерении. Психоаналитика как семиотика.
- Антипсихологизм и логицизм Фреге. Бикомпонентная семантика Фреге: функция и предмет, смысл и денотат.
- Программа «преодоления метафизики логическим анализом языка»: семантические идеи Венского кружка и Львовско-Варшавской школы.
- «Логический атомизм», теория дескрипций и теория типов Рассела.
- «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического».
- Функционалистская концепция значения позднего Витгенштейна. «Языковая игра» как «форма жизни».
- Семантические проблемы обоснования логических систем. Логические и семантические парадоксы.
- Определение понятия истинности для формализованных языков: схема Тарского. Выразительные возможности языков формальных теорий.
- Машина Тьюринга и тезис Чёрча. Тест Тьюринга и «китайская комната» Сёрля.
- Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл «ограничительных» теорем.
- Философские основания порождающих грамматик. Глубинная структура как логическая форма.
- Теоретико-модельные свойства формальных теорий. Нестандартные интерпретации и парадокс Сколема.
- Язык, семантика, онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна. Онтологические допущения языка: критерий Куайна и его альтернативы.
- Семантика «возможных миров» для интенсиональных логических систем. Проблемы кросс-идентификации и интенционального тождества.
- Дихотомия аналитических и синтетических истин. У.Куайн о «двух догмах эмпиризма».
- Принципы теории речевых актов и основные этапы её развития.
- Типы речевых актов. Постулаты речевого общения.
- Значение и действие. Логическое обоснование и рационализация действий. Парадоксы предпочтения и эффективного действия.
- Дискурс и текст. Критерии текстуальности. Художественный и философский текст: специфика референции.
- Нарративная семантика и семиологическая интерпретация культуры. Философские основания «натурализованных семантик».
Автор программы
доктор философских наук,
профессор кафедры онтологии, логики
и теории познания философского факультета
ГУ – ВШЭ Е.Г. Драгалина – Черная