Программа дисциплины логика для направления 030100. 62 Философия подготовки бакалавра

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

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

Содержание Тема 6. Исчисление вероятностей Основная литература Тема 7. Основные интерпретации вероятности и их использование для построения вероятностной логики Основная литература Вопросы для оценки качества освоения дисциплины Часть 3. логическая семантика Раздел 2. Семантические основания неклассических логических систем Раздел 3. Семантическое обоснование логики. Выразительные, вычислительные и дедуктивные возможности формализмов Раздел 4. Семантика и прагматика. Теория речевых актов. Аргументативные речевые акты.

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

• Программа дисциплины концепции и концептуальный анализ в математике и гуманитарном, 335.24kb.
• Планы семинарских занятий Логика (1,2,3,4 модули) для направления 030100. 62 Философия, 231.59kb.
• Программа дисциплины Этика для направления 030100. 62 «Философия» подготовки бакалавра, 548.5kb.
• Рабочая программа дисциплины Для направления 03020062 «Политология» (программа подготовки, 315.9kb.
• Программа дисциплины «логика» для направления 030100. 68 «Философия» подготовки магистра, 313.53kb.
• Программа спецкурса «Индийская философия древности и средневековья» для направления, 554.79kb.
• Программа дисциплины Теории сакрального для направления 030100. 62 «Философия» подготовки, 186.94kb.
• Программа дисциплины История зарубежной философии Философия эпохи Возрождения, Нового, 334.03kb.
• Программа дисциплины История религий для направления 030100. 62 «Философия» подготовки, 445.09kb.
• Программа дисциплины Эстетика для направления 030100. 62 «Философия» подготовки бакалавра, 279.61kb.

Тема 6. Исчисление вероятностей

Понятие исчисления. Аксиоматизация теории вероятностей.

Основные правила и определения исчисления вероятности для безусловных (категорических) высказываний: правило нормировки, правило задания значений «1» и «0», правило для логически эквивалентных высказываний, определение взаимной несовместимости высказываний, частное правило для дизъюнкции, правило для отрицания, общее правило для дизъюнкции, определение условной вероятности, определение независимости высказываний, общее правило для конъюнкции, частное правило для конъюнкции.

Основные правила и определения исчисления вероятностей для условных высказываний. Правило Байеса и его значение для индуктивной логики. Упрощенная формулировка правила Байеса (для двух гипотез). Общая формулировка правила Байеса. Правило Байеса как выражение идеи обучения на опыте.

Основная литература

Кайберг Г. Вероятность и индуктивная логика. Пер. с англ. Б.Л. Лихтенфельда. М.: Прогресс, 1978. Глава 2 «Исчисление вероятностей». С. 22-44.

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

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5^th ed. –Belmont: Wadsworth. P. 109-136;

Пойа Д. Математика и правдоподобные рассуждения. Пер. с англ. И.А.Вайнштейна. М.: Наука, 1975. С. 338-370;

Рассел Б. Человеческое познание и его границы. Пер. с англ. Н.В.Воробьева. Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001. С. 367-373.

Тема 7. Основные интерпретации вероятности и их использование для построения вероятностной логики

Классическая интерпретация вероятности. Понятие априорной вероятности и симметрично сбалансированных данных. Вероятность как отношение числа благоприятных исходов к общему числу возможных исходов. Принцип равновозможности. Принцип индифферентности. Парадоксы Бертрана. Критика классической интерпретации вероятностей.

Частотная интерпретация вероятности. Понятие апостериорной вероятности. Вероятность как коллективное свойство массовых явлений. Вероятность как относительная частота. Вероятность как предел относительной частоты. Трудности частотной интерпретации вероятностей. Вероятностная логика Г.Рейхенбаха. Вероятность (вес) высказывания как относительная частота истинностных значений высказываний данного типа в референтном классе высказываний.

Интерпретация вероятности как предрасположенности, ее достоинства и недостатки.

Персоналистская (субъективная) интерпретация вероятности. Вероятность как мера (степень) веры в некоторое высказывание. Персональная (субъективная) вероятность как ставочный коэффициент. Условия честного пари. Голландские условия пари (Dutchbook). Принцип когерентности. Правило Байеса как способ преодоления субъективизма в оценке вероятностей высказываний по мере поступления новых данных. Байесизм, его достоинства и недостатки.

Логическая интерпретация вероятности. Вероятность как объективное отношение между высказываниями (Дж.М.Кейнс). Вероятность как степень подтверждения гипотезы эмпирическими данными. Вероятностная логика Р.Карнапа, ее ключевые понятия (описание состояния, описание структуры, область высказывания, степень подтверждения (с-функция), мера описания состояния, мера описания структуры, мера высказывания). Два возможных определения меры описания состояния.

Основная литература

Карнап Р. Философские основания физики. М., 2006. Глава 2 «Индукция и статистическая вероятность»; глава 3 «Индукция и логическая вероятность». С. 59-85;

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 8 «Правдоподобные рассуждения», §1. С. 447-453;

Кайберг Г. Вероятность и индуктивная логика. Пер. с англ. Б.Л. Лихтенфельда. М.: Прогресс, 1978. Глава 5 «Интерпретация вероятности как степени следования», глава 13 «Теории подтверждения». С. 81-99, 247-270.

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

Кайберг Г. Вероятность и индуктивная логика. Пер. с англ. Б.Л. Лихтенфельда. М.: Прогресс, 1978. С. 45-80, 100-112;

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

Рассел Б. Человеческое познание и его границы. Пер. с англ. Н.В.Воробьева. Киев: Ника-Центр – М.: Институт общегуманитарных исследований, 2001. С. 373-448;

Гемпель К. Исследования по логике подтверждения // Гемпель К. Логика объяснения. Пер. с англ. А.О.Назаровой. М.: ДИК, 1998. С. 32-88;

Вригт фон Г.Х. Парадоксы подтверждения / Пер. с англ. П.И.Быстрова // Вригт фон Г.Х. Логико-философские исследования. Избр. Труды. М.: Прогресс, 1986. С. 483-497;

Костюк В.Н. Подтверждение и принятие гипотезы // Индуктивная логика и формирование научного знания. М.: Наука, 1987. С. 9-22;

Гудмен Н. Факт, фантазия и предсказание / Пер. с англ. А.Л.Никифорова // Гудмен Н. Способы создания миров. М.: Идея-Пресс, Праксис, 2001. С. 37-60;

Skyrms, Brian (2000). Choice and Chance: An Introduction to Inductive Logic. 5^th ed. –Belmont: Wadsworth. P. 51-68, 137-150.

Задания для контрольной работы

Примерные теоретические вопросы:

1. Сформулируйте различие между дедуктивными и индуктивными умозаключениями.

2. Сформулируйте различие между элиминативной и энумеративной индукцией. Почему Бэкон первую называл «научной индукцией», а вторую определял как «детскую вещь»?

3. В чем состоит индуктивное оправдание индукции, предложенное М.Блэком и Р.Брейтуэйтом?

4. В чем состоит ограниченность Миллевских методов установления причинных связей?

5. Сформулируйте различие между индуктивной и эпистемической вероятностью. Приведите примеры, иллюстрирующие это различие.

6. В чем состоит различие между эмпирической и эпистемической вероятностью? Является ли их различение, на ваш взгляд, обоснованным?

7. Какое значение имеет теорема Байеса для индуктивной логики?

8. Почему в своей системе вероятностной логики Р.Карнап предлагает вычислять логическую вероятность высказываний, используя описания структур?

Упражнения:

1. Сравнить индуктивные выводы по их индуктивной силе.

2. Определить вид правдоподобного рассуждения и описать его логическую структуру.

3. Определить, по какому из предложенных Миллем методов сделан вывод в предложенном рассуждении.

4. Опираясь на методы экспериментального исследования в теоретической реконструкции фон Вригта, определить, при каких условиях имело бы место элиминирование определенных факторов в качестве необходимых или достаточных условий для наступления заданного события.

5. Определить эпистемическую вероятность определенного высказывания.

6. Применить теорему Байеса для вычисления эпистемической вероятности определенного высказывания.

7. Сформулировать описания состояния и описания структуры для некоторого заданного формального языка.


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

1. Дедуктивные и индуктивные рассуждения, их различие. Неадекватность традиционного определения дедукции как рассуждения от общего к частному, а индукции – как рассуждения от частного к общему.
   
2. Обобщающая индукция. Полная и неполная индукция.
   
3. Энумеративная и элиминативная индукции. Элиминативная индукция как вид научной индукции.
   
4. Статистические индуктивные рассуждения, их виды и отличие от нестатистических индуктивных рассуждений.
   
5. Рассуждения по аналогии, их структура и виды.
   
6. Популярная и научная индукция.
   
7. Абдуктивные выводы, их отношение к индукции и роль в научном познании.
   
8. Индукция как научный метод. Индуктивизм и гипотетико-дедуктивная модель научного познания. Индукция как обратная дедукция.
   
9. Проблема индукции.
   
10. Основные подходы к решению проблемы оправдания индукции.
    
11. Индуктивное оправдание индукции.
    
12. Прагматистское оправдание индукции.
    
13. Принцип индукции Б.Рассела.
    
14. Понятие причины, виды причин и основные принципы причинности.
    
15. Метод единственного сходства.
    
16. Метод единственного различия.
    
17. Соединенный метод сходства и различия.
    
18. Метод сопутствующих изменений и метод остатков.
    
19. Экспликация понятия причины в терминах необходимых и достаточных условий.
    
20. Прямой и обратный методы сходства в теоретической реконструкции Г.Х. фон Вригта.
    
21. Метод различия в теоретической реконструкции Г.Х. фон Вригта.
    
22. Комбинированные методы в теоретической реконструкции Г.Х. фон Вригта.
    
23. Термин «вероятность» и его значения. Эмпирическая и эпистемическая вероятность.
    
24. Понятие индуктивной вероятности. Отношение между индуктивной и эпистемической вероятностью.
    
25. Исчисление вероятностей. Основные правила исчисления вероятностей для высказываний.
    
26. Теорема Байеса и его значение для индуктивной логики.
    
27. Классическая интерпретация вероятностей и принцип индифферентности.
    
28. Частотная интерпретация вероятности и ее основные недостатки.
    
29. Интерпретация вероятности как предрасположенности.
    
30. Персоналистская интерпретация вероятности. Принцип когерентности. Условия Dutchbook.
    
31. Логическая интерпретация вероятности, основные идеи. Индуктивная вероятность как степень подтверждения.
    
32. Подход Р.Карнапа к построению вероятностной логики.
    
33. Подход Г.Рейхенбаха к построению вероятностной логики.
    
34. Парадоксы подтверждения.
    
35. Отношение подтверждения. Понятие подтверждающего примера и критерий Нико.
    
36. Парадокс Н.Гудмена. Экстраполируемые и неэкстраполируемые регулярности.
    

ЧАСТЬ 3. ЛОГИЧЕСКАЯ СЕМАНТИКА


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


Раздел 1. Становление и этапы развития логической семантики

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

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

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

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

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

Литература

Основная

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


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


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

Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С. Избранные философские произведения. М.: Логос, 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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


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

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


Драгалина-Черная Е.Г. Контекстуальность и композициональность. От «принципа Фреге» к когнитивным семантикам // Модели рассуждения -3: когнитивный подход, Калининград: Изд-во РГУ им. И.Канта, 2009


Раздел 2. Семантические основания неклассических логических систем

Принципы классической логики и философские основания их пересмотра в неклассической логике. Основные разделы неклассической логики.

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

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

Временная логика. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд. Аристотель о «завтрашнем морском сражении»: логический статус высказываний о будущих случайных событиях и фатализм. Выражение алетических модальностей через временные. Минимальная система временной логики и её расширения.

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

Релевантная логика. Парадоксы материальной импликации. Понятия релевантного следования и обобщенных описаний состояний.

Интуиционистская логика. Идейные предпосылки возникновения интуиционистской логики. Критика Брауэром «чистых теорем существования» и программа Гильберта обоснования математики. Понятия конструктивного объекта и конструктивного доказательства. Трактовка истины и моделирование роста знания в интуиционистской логике. Колмогоровская интерпретация интуиционистской логики как «исчисления задач». Интуиционистское исчисление высказываний. Модели Крипке для интуиционистской логики. Связь интуиционистской и модальной логик.

Паранепротиворечивые, динамические и немонотонные логики как модели неполного, противоречивого, модифицирующегося знания.


Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 274 – 378


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

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

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

Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005

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

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

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

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

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

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

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

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

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

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

Сидоренко Е.А. Релевантная логика. М.: Изд-во ИФ РАН, 2000

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

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

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

Драгалина-Черная Е.Г.(ред.). Возможные миры: семантика, онтология, метафизика. М.: Канон +, 2011

Е.Г.Драгалина-Черная, Д.В.Зайцев (ред.) Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011

Раздел 3. Семантическое обоснование логики. Выразительные, вычислительные и дедуктивные возможности формализмов

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

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

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

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


Основная

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

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


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

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

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

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

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

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

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

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


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

Куайн У. С точки зрения логики. 9 логико-философских очерков. Томск, 2003

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

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

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

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

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

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

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

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

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

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

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

Драгалина-Черная Е.Г. Границы логики: онтологический поворот // Философия науки, № 14, ИФ РАН, 2009, с. 87-99


Драгалина-Черная Е.Г. Семантическое обоснование логики: истоки и перспективы // Логическая семантика: перспективы для эпистемологии и философии языка. М.: Креативная экономика, 2011

Раздел 4. Семантика и прагматика. Теория речевых актов. Аргументативные речевые акты.


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

Конституирующие правила аргументативного речевого акта: семантика и прагматика. Аргументация как обоснование мнений и действий. Основные этапы развития искусства и теории аргументации. Аргументация, доказательство, убеждение.

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

Спор и полемика. Виды спора: диалектический, эристический и софистический споры. Логические и психологические уловки, применяемые в споре. Внушение и рациональное доказательство. Аргументативные стратегии и тактики.

Логические аспекты порождения и интерпретации текста: нарративные операторы. Философский текст: логическая структура и специфика референции.


Литература

Основная

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


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

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

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

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

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

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

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

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

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

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

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

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

Важнейшие концепции теории аргументации. СПб., 2006

Герасимова И.А. Введение в теорию и практику аргументации. М: Логос, 2003

Зайцев Д.В. Теория и практика аргументации. М.: ИНФРА-М, 2007

Алексеев А.П. Философский текст. Идеи, аргументация, образы. М., 2006

Еемерен Ф, Гротендорст Р. Аргументация: анализ, представление, проверка. СПб., 2004

Зарецкая Е.Н. Риторика. Теория и практика речевой коммуникации. М., 1999

Мысль и искусство аргументации. М., 2003

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