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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Макеева Л. Язык и реальность // Логос, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Логический анализ языка. Квантификативный аспект языка. М.: Индрик, 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/

Раздел 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

📎📎📎📎📎📎📎📎📎📎