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

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

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


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


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

для направления 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

Неретина С.С. Аргумент, нуждающийся для своего обоснования только в себе: //http://vox-journal.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: http://www.zpu-journal.ru/e-zpu/2008/1/Dragalina-Chernaia/


Ингарден Р. Введение в феноменологию Э.Гуссерля. М.: Дом интеллектуальной книги, 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,http://staff.science.uva.nl/~johan/Teaching