47.03.01- Философия › data › 2017 › 09 › 05 › 1171653288 › program-17… ·...

Федеральное государственное автономное образовательное учреждение высшего профессионального образования

"Национальный исследовательский университет "Высшая школа экономики"

Факультет Гуманитарных наук Школа философии

Рабочая программа дисциплины Логика

для образовательной программы «Философия» направления подготовки 47.03.01 - Философия

уровень - бакалавр

Разработчики программы Драгалина-Черная Е.Г., доктор философских наук, профессор

[email protected] Долгоруков В.В., кандидат философских наук, преподаватель

[email protected]

Одобрена на заседании Школа философии «___»____________ 2017 г.

Руководитель Школа философии В.Н. Порус ________

Рекомендована Академическим советом образовательной программы «___»____________ 2017 г., № протокола_________________

Утверждена «___»____________ 2017 г.

Академический руководитель образовательной программы Е.Г. Драгалина-Черная _________________

Москва, 2017 Настоящая программа не может быть использована другими подразделениями

университета и другими вузами без разрешения подразделения-разработчика программы

1 Область применения и нормативные ссылки

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

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

Программа разработана в соответствии с: • образовательным стандартом НИУ ВШЭ по направлению подготовки 47.03.01 Философия, уровень подготовки: бакалавр;

• образовательной программой по направлению подготовки 47.03.01 Философия, уровень подготовки: бакалавр;

• рабочим учебным планом университета по направлению подготовки 47.03.01 Философия, утвержденным в 2015г.

2 Цели освоения дисциплины

Целями освоения дисциплины логика являются: • ознакомление с логическими принципами анализа информации и принятия рациональных решений;

• обучение образцам корректных логических операций и металогическим знаниям, • обучение правилам аргументации и полемики, навыкам рационального убеждения в дискурсах различного типа, в том числе, в философском дискурсе;

• ознакомление с концептуальным аппаратом логической семиотики и принципами его использования в интерпретации текстовой информации;

• оценка философского значения и границ метода формализации, знакомство с теоретико-модельными и теоретико-доказательственными свойствами формальных теорий, анализ методологического значения ограничительных теорем о выразительных, вычислительных и дедуктивных возможностях формализмов;

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

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

НИУ ВШЭ оценивается, исходя из многовековой традиции, рассматривающей логику как органон философии и включающей её в тривиум - фундамент классического образования. Логическая грамотность – не дополнение, а базисный компонент профессиональной компетентности любого гуманитария, в особенности, философа. Эта профессиональная компетентность предъявляет особые требования к аналитической культуре, предполагая систематическое и осознанное обращение к логическим методам. Изучение логики образует базисный компонент профессиональной подготовки философа, поскольку способствует формированию культуры мышления, развивает способность логически правильно выстраивать и анализировать философские аргументы, помогает понять роль логики в современных философских исследованиях.

Курс логики для студентов образовательной программы «Философия» НИУ ВШЭ

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

Настоящая программа составлена профессором факультета гуманитарных наук, доктором философских наук Драгалиной-Черной Еленой Григорьевной (часть 1, разделы I-IV, часть 2) и преподавателем факультета гуманитарных наук, кандидатом философских наук Долгоруковым Виталием Владимировичем (часть 1 - раздел V).

3 Компетенции обучающегося, формируемые в результате освоения дисциплины

В результате освоения дисциплины студент должен: • Знать: принципы и методы традиционной и математической, классической и неклассических логик, металогические свойства и онтологические предпосылки различных логических систем.

• Уметь: критически анализировать аргументативные тексты, классифицировать логические операции.

• Иметь навыки (приобрести опыт): логического анализа различного рода рассуждений, публичной речи, аргументации, ведения дискуссий и полемики, использования металогических знаний в практической деятельности.

В результате освоения дисциплины студент осваивает следующие компетенции:

Компетенция Код по НИУ

Дескрипторы – основные признаки освоения (показатели достижения

результата)

Формы и методы обучения, способствующие

формированию и развитию компетенции

Способность ясно, логически верно и аргументировано строить письменную и устную речь и использовать ее в профессиональной деятельности; владение навыками публичной и научной речи

ОК-2 Дает определение основных принципов логического анализа информации, различает дедуктивные и вероятностные методы обоснования, распознает манипулятивные приемы в дискурсах различного типа, демонстрирует способность выявления фантомных идеологем и категориальных ошибок в философском дискурсе, выявления противоречий и импликативных отношений между аргументами, исключать информационную избыточность текстов.

Чтение первоисточников и комментирующей ли литературы, выступления с докладами, решение задач, участие в дискуссиях, анализ кейсов

Владение культурой мышления, способностью к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения; способностью в письменной и устной речи правильно и убедительно

ОК-1 Различает корректные и некорректные приемы, используемые в аргументации, обосновывает собственную позицию, интерпретирует и критически оценивает позицию оппонента.

Решение задач, участие в дискуссиях, анализ кейсов

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

ОК-7 Дает определение основных категорий традиционной и математической, классической и неклассических логик, распознает виды рассуждений и логические ошибки в них, применяет метод формализации, строит доказательства в натуральном исчислении высказываний и натуральном исчислении предикатов, владеет навыками корректных операций с понятиями, демонстрирует понимание принципов преодоления парадоксов, аналитической реконструкции традиционных онтологических и эпистемологических проблем.

Чтение первоисточников и комментирующей ли литературы, выступления с докладами, решение задач, участие в дискуссиях, анализ кейсов, выступления с докладами, выполнение контрольных работ, решение задач, участие в дискуссиях, анализ кейсов

4 Место дисциплины в структуре образовательной программы

Дисциплина «Логика» относится к базовой части цикла дисциплин гуманитарного, социального и экономического цикла при подготовке бакалавров направления 030100.62 - Философия.

Изучение данной дисциплины основывается на следующих дисциплинах: • история философии; • онтология и теория познания, компьютерная грамотность,

• математика. Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и компетенциями:

• знание основ теории множеств, аксиоматического метода, теории алгоритмов; • понимание природы философского знания и методологии философского познания; • умение классифицировать различные философские школы, устанавливать связь между логическими и онтолого-эпистемологическими позициями философов. Основные положения дисциплины «Логика» должны быть использованы в

дальнейшем при изучении следующих дисциплин: «Онтология и теория познания», «История философии», «Теория аргументации», «Философия языка», «Философия науки», «Математика» и др.

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

ЧАСТЬ 1. ДЕДУКТИВНАЯ ЛОГИКА

№ Название темы Всего часов

Аудиторные часы Самостоятельная работа

Лекции

Сем. и практ. занятия

1 Раздел I. Предмет логики 14 4 4 6 2 Раздел II. Основы логической

семиотики 14 4 4 6

3 Раздел III. Элементы традиционной логики

36 8 8 20

Традиционная теория понятия 16 4 4 8 Силлогистика 24 6 6 12 4 Раздел IV. Основы

классической логики 64 16 16 32

Основы классической логики высказываний

32 8 8 16

Основы классической логики предикатов

32 8 8 16

5 Раздел V. Элементы неклассических логик

76 16 16 44

Модальная логика и ее расширения

52 10 10 32

Девиантные (альтернативные) логики

24 6 6 12

Итого: 204 48 48 108

ЧАСТЬ 2. ФИЛОСОФИЯ ЛОГИКИ

№

Название темы

Всего часов

Аудиторные часы

Самостоятельная работа

Лекции

Сем. и практ. занятия

11

Раздел I. Становление и развитие логической семантики

18 4 4 10

Раздел 2. Философские проблемы обоснования логики

18 4 4 10

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

18 4 4 10

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

8 2 2 4

Итого: 62 14 14 34

6. Формы контроля знаний студентов

Тип контроля

Форма контроля

Параметры **

1 2 3

Текущий (неделя)

Контрольная работа

2 2 8 Письменная работа 15 минут

Промежуточный

Экзамен * * * В первом, втором и третьем модулях устный экзамен – 120 минут.

Экзамен

*

4.1 Критерии оценки знаний, навыков Чтобы получить положительную оценку студент должен участвовать в дискуссиях,

проводимых на семинаре, решать задачи, выполнить не менее 50% заданий в контрольной работе, продемонстрировать на экзамене знание учебного материала в объеме не менее 70 %.

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

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

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

Оценки по всем формам контроля выставляются по 10-ти балльной шкале.

5 Содержание дисциплины

ЧАСТЬ 1. ДЕДУКТИВНАЯ ЛОГИКА

Раздел I. Предмет логики Правильное рассуждение как предмет логики. Отношение логического следования. Понятия логической формы и логического закона. Когнитивные предпосылки возникновения теории рассуждений. Основные этапы развития логики. Логика как философская наука. Паралогизмы, парадоксы, софизмы.

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

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

Дополнительная Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005 Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001 Драгалина-Черная Е.Г. Неформальные заметки о логической форме. СПб.: Алетейя, 2015. Брюшинкин В.Н. Логика. М.: Гардарики, 2001 Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004 Солсо Р. Когнитивная психология. М.: Тривола, 2002 Кассен Б. Эффект софистики. М, СПб, 2000 Лукасевич Я. О принципе противоречия у Аристотеля. М.- СПб.: Центр гуманитарных инициатив, 2012

Раздел II. Основы логической семиотики

Язык как информационная знаковая система. Понятие семиотической ситуации. Основные семиотические аспекты языка: синтаксис, семантика, прагматика. Семиозис как когнитивный процесс. Функции языка. Естественные и искусственные языки. Логические и дескриптивные термины. Формализация и символизация. Принципы построения формализованных логических языков. Язык-объект и метаязык. Смысл и значение знака. Денотация и коннотация. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты. Язык и онтология. Гипотеза лингвистической относительности Сепира – Уорфа.



Дополнительная Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996 Смирнова Е.Д. Основы логической семантики. М., 1990 Бах Э. Неформальные лекции по формальной семантике. М.: УРСС, 2009. Бейкер М.К. Атомы языка. Грамматика в темном поле сознания. М.: ЛКИ, 2008

Дескола Ф. По ту сторону природы и культуры. М.: Новое литературное обозрение, 2012 Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999 Бурас М., Кронгауз М. Жизнь и судьба гипотезы лингвистической относительности // Наука и жизнь, №8, 2011 Крейдлин Г.Е., Кронгауз М.А. Семиотика, или азбука общения. М.: Наука, 2013 Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. М., 2000 Макеева Л.Б. Язык, онтология и реализм. М.: Издательский дом Высшей школы экономики, 2011. Пикер С. Субстанция мышления. Язык как окно в человеческую природу. М.: УРСС, 2013 Семиотика. М.: Радуга, 1983 Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993 Эко У. Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007 Савельев А.Л. История идеи универсальной грамматики (с древнейших времен и до Лейбница). СПб.: Издательство С.-Петербургского университета, 2006 Драгалина-Черная Е.Г. Онтологии для Абеляра и Элоизы. М.: Издательский дом НИУ ВШЭ, 2012.

Раздел III. Элементы традиционной логики

Тема 1. Традиционная теория понятия Имя, смысл, понятие. Способы образования и виды понятий. Понятия и комплексы. Натурализм и конвенционализм в теории именования. Китайская иероглифика и категория «мин» (имя – понятие). Конфуцианский принцип «выправления имен» (чжэн мин). Проблема имен (мин) и реалий (ши) в школе имен (мин цзя). Диалог Платона «Кратил»: именование как деятельность. Содержание и объем понятия. Обобщение и ограничение понятий. Отношения между понятиями по объему. Булевы операции с объемами понятий. Деление понятий. Классификация и категоризация. Категориальные ошибки. Определение и его типы. Определение и диэреза у Платона и Аристотеля. Идея и понятие. Доказательства из определения: онтологический аргумент и его критика Кантом. Эссенциализм классической теории понятия и её альтернативы. Теория прототипов и принцип «семейного сходства».


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

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

Гуньсунь Лун // Древнекитайская философия. М.: Мысль, 1973, т. 2, с. 58 - 65 Платон. Кратил // Платон. Собрание соч. в 4 т. М.: Мысль, 1990, т. 1, с. 613 - 681 Аристотель. Первая Аналитика // Аристотель. Сочинения в 4-х томах, т. 2. М.: Мысль, 1978. С. 117-254. Комментарий Прокла на платоновский диалог «Кратил» // Материалы к исследованиям по истории платонизма. Вып. 2, СПб.: СПб: Наука, 2000 Ансельм Кентерберийский. Прослогион // Ансельм Кентерберийский. Сочинения. М.: Канон, 1995, 123 – 165

Кант И. Критика чистого разума // Кант И. Собрание сочинений в восьми томах, М.: Изд-во Чоро, 1994, т.3, 448 - 454 Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М., 1989 Драгалина-Черная Е. Г. Выправление имен: от грамматики к логике социального софтвера //Философский журнал. 2016. Т. 9. № 4. С. 147-157 Драгалина-Черная Е. Г. Via eminentiae как инференциальная и аргументативная стратегия // Полемическая культура и структура научного текста в Средние века и раннее Новое время. М.: Издательский дом НИУ ВШЭ, 2012. С. 243-258 Горбатов В.В. Логика. М.: Юрайт, 2011 Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002 Родин А.В. Математика Евклида в свете философии Платона и Аристотеля. М.: Наука, 2003 Оксфордское руководство по философской теологии. М., 2013 Дэвис С. Бог, разум и теистические доказательства. М.: Наука, 2016. Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004

Тема 2. Силлогистика

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


Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 242 - 273 Дополнительная

Аристотель. Первая Аналитика // Аристотель. Сочинения в 4-х томах, т. 2. М.: Мысль, 1978. С. 117-254. Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М.: Мысль, 1978, с. 93-116 Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002 Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс – Традиция, 2011 Горбатов В.В. Логика. М.: Юрайт, 2011 Брюшинкин В.Н. Логика. М.: Гардарики, 2001 Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001 Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Издательство иностранной литературы, 1959 Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004 Орлов Е.В. Философский язык Аристотеля. Новосибирск: Издательство Сибирского отделения Российской Академии наук, 2011

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

Раздел IV. Основы классической логики Тема 1. Основы классической логики высказываний

Формальная теория и логическое исчисление. Mathesis Universalis Декарта и Lingua Characteristica Лейбница. Синтаксический и семантический подходы к логическому следованию. Язык и законы классической логики высказываний. Табличное построение классической логики высказываний. Натуральное исчисление высказываний. Эвристические приемы поиска вывода в натуральном исчислении высказываний. Аксиоматические теории. Виды аксиоматик. Формальные аксиоматики. Аксиоматический подход к построению исчисления высказываний. Мета-теоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода.


Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 85 - 159 Дополнительная

Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005 Брюшинкин В.Н. Логика. М.: Гардарики, 2001 Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001 Горбатов В.В. Логика. М.: Юрайт, 2011 Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005 Клини С. К. Математическая логика. М.: Мир, 1973 Мендельсон Э. Введение в математическую логику. М.: Мир, 1976 Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000 Gamut L.T.F. Logic, Language and Meaning, Volume I: Introduction to Logic, University of Chicago Press, 1991. Horn L.R. A Natural History of Negation. Chicago: University of Chicago Press, 1989. Bergmann, M., J. Moor and J. Nelson, The logic book, sixth edition, New York: McGraw-Hill. Elementary and intermediate level, 2013 Forbes, G. Modern Logic, Oxford: Oxford University Press. Elementary textbook, 1994.

Тема 2. Основы классической логики предикатов

Язык логики предикатов первого порядка. Свободные и связанные индивидные переменные. Экзистенциальная и универсальная квантификация. Семантика логики предикатов первого порядка. Классы, множества, кортежи. Свойства и отношения. Понятие модели. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы,

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



Дополнительная Барвайс Д. Введение в логику первого порядка // Справочная книга по математической

логике. Часть 1: Теория моделей. М.: Прогресс, 1982 Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005 Куайн У. Философия логики. М.: Канон+, 2008 Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005 Клини С. К. Математическая логика. М.: Мир, 1973 Мендельсон Э. Введение в математическую логику. М.: Мир, 1976 Смирнов В.А. Логико-философские труды. М.: Эдиториал УРСС, 2001. Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000 Драгалина-Черная Е.Г. Онтологии для Абеляра и Элоизы. М.: Издательский дом НИУ ВШЭ, 2012. Gamut L.T.F. Logic, Language and Meaning, Volume I: Introduction to Logic, University of Chicago Press, 1991 Bergmann, M., J. Moor and J. Nelson, The logic book, sixth edition, New York: McGraw-Hill. Elementary and intermediate level, 2013 Forbes, G. Modern Logic, Oxford: Oxford University Press. Elementary textbook, 1994.

Раздел V. Элементы неклассических логик

Тема 1. Основы алетической модальной логики Модальная логика. Типы модальностей: алетические, деонтические, темпоральные, эпистемические, доксатические, аксиологические. Философские основания и истоки идеи возможных миров. Основные системы модальных логик (K, T, D, D4, D5, S4, S5), дедуктивные отношения между ними. Семантика возможных миров. Теорема Скотта и Леммона. Проблема квантификации в модальной логике. De re и de dicto прочтение. Формула Баркан. 2D - семантика.


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

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


Portner P. Modality. Oxford: Oxford University Press, 2009. Many-Dimensional Modal Logics: Theory and Applications / eds. D.Gabbay et al. Amsterdam: Elsevier, 2003. Moss L.S., Tiede H.J. Applications of modal logic in linguistics // Studies in Logic and Practical Reasoning. 2007. Vol. 3. P. 1031–1076. Garson J.W. Modal Logic for Philosophers. Cambridge: Cambridge University Press, 2006. Chagrov A., Zakharyaschev M. Modal logic. Oxford, 1997 Handbook of modal logic/ eds. N.Y. Bilenko , J. van Benthem, F. Wolter. Amsterdam, 2006. Тема 2. Основы темпоральной логики Семантика темпоральной логики. Логика линейного времени. Логика ветвящегося времени. Проблема взаимоотношения темпоральных и алетических операторов. Темпоральная логика предикатов.


Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с.274–377. Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, с. 278–466.


Карпенко А.С. Фатализм и случайность будущего. Логический анализ. М.: Наука, 1990. Perloff M., Belnap N. Future contingents and the battle tomorrow // The Review of Metaphysics. 2011. Vol. 64. P. 581–602. Hintikka J. The Once and Future Sea Fight: Aristotle’s Discussion of Future Contingents in De Interpretatione IX // The Philosophical Review. 1964. Vol. 73, № 4. P. 461–492. Тема 3. Основы деонтической логики Деонтическая логика и логика действий. Парадоксы деонтической логики. Редукция Андерсона.


Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с.274–377. Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, с. 278–466.


Aqvist L. Deontic Logic // The Handbook of Philosophical Logic / Eds. D. Gabbay, F. Guenthner. Dordrecht, 1998. Vol. 8. Р. 147–264

Тема 4. Основы эпистемической логики Эпистемическая логика. Знание и метазнание. Формы группового знания. Доксатическая логика. Операторы убеждения и условного убеждения. Динамическая эпистемическая логика. Публичное объявление (public announcement). Операторы информационного обновления: Классические задачи динамической эпистемической логики: «чумазые дети», «рассуждающие мудрецы». Эпистемическая логика и формальная эпистемология. Парадокс Мура, парадокс Фитча, проблема Геттьера на языке эпистемической логики.


Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, с. 278–466. Pacuit E. Dynamic Epistemic Logic I: Modeling Knowledge and Belief // Philosophy Compass. 2013. Vol. 8, № 9. P. 798–814. Pacuit E. Dynamic Epistemic Logic II: Logics of Information Change // Philosophy Compass. 2013. Vol. 8, № 9. P. 815–833. van Ditmarsch H.P., van der Hoek W., Kooi B. Dynamic Epistemic Logic. Dordrecht: Springer, 2007.


Kooi B. Dynamic Epistemic Logic // Handbook of Logic and Language. Amsterdam: Elsevier, 2011. Girard P., Roy O., Marion M. Dynamic Formal Epistemology. Dordrecht, 2011. Hendricks V. Mainstream and Formal Epistemology. Cambridge: Cambridge University Press, 2006. Belief Revision meets Philosophy of Science / eds. E.J. Olsson, S. Enqvist. Dordrecht: Springer, 2011.

Дополнительная Васюков В.Л. Формальная онтология. М.: ИФ РАН, 2006. Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико- игровой семантики и прагматики. СПб. : Алетейя, 2014. Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996. A Companion to Philosophical Logic/ ed. D.Jacquette. Oxford Blackwell, 2002. Belnap N., Perloff M., Xu M. Facing the Future. Agents and Choices in Our Indeterminist World. Oxford: Oxford University Press, 2001. Burgess J. P. Philosophical logic. Princeton, 2009. Grayling A. C. An Introduction to Philosophical Logic. Oxford: Blackwell,1997. Haack S. Philosophy of Logic. Cambridge, 1978. Handbook of Philosophical Logic. Vol.1-17. 2nd ed. / eds. D.Gabbay , F. Guenthner Dordrecht: Springer, 2001–2014. Horn L.R. A Natural History of Negation. Chicago: University of Chicago Press, 1989. Horty J. Agency and Deontic Logic. Oxford: Oxford University Press, 2012. Priest G. An introduction to non-classical logic: from if to is. Cambridge: Cambridge University Press, 2008. Sider T. Logics for Philosophy. Oxford, 2010.

The Blackwell Guide to Philosophical Logic / ed. L. Goble. Oxford: Blackwell, 2001. van Benthem J. A Manual of Intensional Logic. Stanford, 1989. van Benthem J. Logic in Games. Cambridge MA; L.: MIT Press, 2014. van Benthem J. Logical dynamics of information and interaction. Cambridge: Cambridge University Press, 2010. van Benthem J. Modal Logic for Open Minds. Center for the Study of Language and Information, 2010. Williamson T. Modal Logic as Metaphysics. Oxford, 2015.

Тема 5. Многозначные логики Многозначные логики (трехзначная логика Лукасевича, логика Бочвара, трехзначные логики Клини). Тезис Сушко.


Карпенко А.С. Развитие многозначной логики. М.: Издательство ЛКИ, 2010. Дополнительная

Лукасевич Я. О принципе противоречия у Аристотеля. М.- СПб.: Центр гуманитарных инициатив, 2012 Тема 6. Интуиционистская логика Семантика Крипке для интуиционистской логики. Связь интуиционистской логики с модальной логикой. Аксиоматическое построение интуиционистской логики. Натуральное исчисление для интуиционистской логики высказываний.


Гейтинг А. Интуиционизм. М.: Мир, 1965 Дополнительная

Драгалин А. Г. Конструктивная теория доказательств и нестандартный анализ. М.: Едиториал УРСС, 2003 Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000 Dummett, M. Elements of intuitionism, second edition, Oxford: Oxford University Press., 2000 Тема 7. Релевантные и паранепротиворечивые логики Аксиоматическое построение систем R, E и FDE. Логика B4. «Discussive logic» . Logic of Paradox.


Зайцев Д.В. Обобщенная релевантная логика и модели рассуждений. М.: Креативная

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

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

Дополнительная Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005. Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000. Beall J.C., Restall G. Logical pluralism. Oxford: Oxford University Press, 2006. Handbook of Philosophical Logic. Vol.4.: book. 2nd ed. / ed. Gabbay D., Guenthner F. Dordrecht: Springer, 2002. Mann A.L., Sandu G., Sevenster M. Independence-Friendly Logic: A Game-Theoretic Approach. Cambridge: Cambridge University Press, 2011. Priest G. An introduction to non-classical logic: from if to is. Cambridge: Cambridge University Press, 2008.

ЧАСТЬ 2. ФИЛОСОФИЯ ЛОГИКИ

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


Гуссерль Э. Логические исследования. Исследования по феноменологии и теории познания. М.: Дом интеллектуальной книги, 2001. Том II. Исследования по феноменологии и теории познания. Введение Пирс Ч. С. Леди Уэлби. Что такое значение? // Пирс Ч.С. Избранные философские произведения. М.: Логос, 2000 Моррис Ч. Основания теории знаков // Семиотика. М.: Радуга, 1983, с.37 – 89 Соссюр Ф. де. Курс общей лингвистики. Часть 1. Общие принципы. Глава 3. Статическая лингвистика и эволюционная лингвистика. Часть 2. Синхроническая лингвистика. Глава 4. Языковая значимость. // Соссюр Ф. де. Труды по языкознанию. М.: Прогресс, 1977, с. 112-132, 144- 160

Фреге Г. О смысле и значении // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 230 - 246 Фреге Г. Мысль. Логическое исследование // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 326 – 342 Рассел Б. Дескрипции // Новое в зарубежной лингвистике. М.: Радуга, 1982, вып. 13, с. 41 - 54 Карнап Р. Преодоление метафизики логическим анализом языка // Аналитическая философия: становление и развитие. М.: Дом интеллектуальной книги, 1998, с. 69-89 Карнап Р. Эмпиризм, семантика и онтология // Карнап Р. Значение и необходимость. М.: ЛКИ, 2007 Витгенштейн Л. Логико-философский трактат // Витгенштейн Л. Философские работы. Ч.1. М.: Гнозис, 1994, с. 5 - 74 Витгенштейн Л. Философские исследования // Витгенштейн Л. Философские работы. Ч.2. М.: Гнозис, 1994, с. 77 – 319 Крипке С. Витгенштейн о правилах и индивидуальном языке // Логос, №11, 1999


Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С. Избранные философские произведения. М.: Логос, 2000, с. 176 – 222 Пирс Ч.С. Рассуждение и логика вещей. М.: Издательство РГГУ, 2005 Гуссерль Э. Идеи к чистой феноменологии и феноменологической философии. М.: Дом интеллектуальной книги, с. 216 - 296 Витгенштейн Л. О достоверности // Витгенштейн Л. Философские работы (часть 1). М.: Гнозис, 1994. С. 321 – 406. Витгенштейн Л. Некоторые замечания о логической форме // Витгенштейн Л. Дневники. 1914–1916. . М.: Канон+, 2009. С. 321–329. Гуссерль Э. Феноменология // Логос, 1991, вып. 1 Переписка Эдмунда Гуссерля и Готлоба Фреге // Гуссерль Э. Избранные работы. М.: Территория будущего, 2005 Переписка Алексиуса Мейнога и Бертрана Рассела // Эпистемология и философия науки, 2013, №2. Рассел Б. Философские основания атомизма. Томск: Водолей, 1993 Рассел Б. Введение в математическую философию. Новосибирск: Сибирское университетское издательство, 2007 Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004 Фреге Г. Основоположения арифметики. Томск: Водолей, 2000 Журнал “Erkenntnis” («Познание»). Избранное. М.: Идея-пресс, 2006 Пассмор Дж. Сто лет философии. М.: Прогресс-Традиция, 1998 Апель К.-О. Трансформация философии. М.: Логос, 2001 Бейкер Г.П., Хакер П.М.С. Скептицизм, правила и язык. М.: Канон+, 2007 Бирюков Б.В. В логическом мире Фреге // Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000, с. 443 — 509 Ингарден Р. Введение в феноменологию Э.Гуссерля. М.: Дом интеллектуальной книги, 1999 Карнап Р., Ган Г., Нейрат О. Научное миропонимание – Венский кружок // Логос, 2005, №2 Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999.

Макеева Л.Б. Язык, онтология и реализм. М.: Издательский дом Высшей школы экономики, 2011. Сокулер З.А. Людвиг Витгенштейн и его место в философии ХХ века. Долгопрудный: Изд-во Физтех, 1994 Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004 Эдмондс Д., Айдиноу Д. Кочерга Витгенштейна. М.: УРСС, 2004 Шлик М. Поворот в философии // Аналитическая философия: становление и развитие, М.: Прогресс, 1998 Драгалина-Черная Е.Г. Онтологии для Абеляра и Элоизы. М.: Издательский Дом НИУ ВШЭ, 2012. Драгалина-Черная Е.Г. Неформальные заметки о логической форме. СПб.: Алетейя, 2015. Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001 Хинтикка Я. О Витгенштейне // Хинтикка Я. О Витгенштейне. Витгенштейн Л. Из «лекций» и «заметок». М.: Канон+, 2013 Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996. Реале Д., Антисери Д. Западная философия от истоков до наших дней. Том 4. От романтизма до наших дней. СПб.: Петрополис, 1997. Coffa J. A. The Semantic Tradition from Kant to Carnap: To the Vienna Station. Cambridge: Cambridge University Press., 1991. Dummett M. Frege: Philosophy of Language. Cambridge: Harvard University Press, 1981 Kneale W. and M. Kneale. The Development of Logic, Oxford, 1962. Раздел 2. Философские проблемы обоснования логики Семантическое обоснование логических систем. Логические и семантические парадоксы. Семантическая замкнутость языка. Определение понятия истинности для формализованных языков: схема Тарского. Понятие дедуктивной системы и теоретико-модельное определение логического следования. Критерий инвариантности Тарского и принцип онтологической нейтральности Куайна. Теоретико-модельные свойства формальных теорий. Множественность интерпретаций, нестандартные модели и парадокс Сколема. Феномен онтологической редукции, парадокс Патнэма и философские основания теоретико-модельных семантик. Куайн о непостижимости референции и неопределенности перевода, «двух догмах эмпиризма», «центре» и «периферии» научной теории.


Тарский А. Семантическая концепция истины и основания семантики // Аналитическая философия: становление и развитие, М., 1998. C. 90 - 129 Куайн У. Ещё раз о неопределенности перевода // Логос. 2005. № 2. Куайн У. Две догмы эмпиризма// Куайн У.В.О. Слово и объект. М., 2000

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

Воленьский Я. Львовско-варшавская философская школа. М.: РОССПЭН, 2004 Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000 Макеева Л.Б. Язык, онтология и реализм. М.: Издательский дом Высшей школы экономики, 2011. Драгалина-Черная Е.Г. Онтологии для Абеляра и Элоизы. М.: Издательский Дом НИУ ВШЭ, 2012. Хинтикка Я. Проблема истины в современной философии // Вопросы философии, 1996, № 9 Барвайс Д. Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982 Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994 Вейнгартнер П. Фундаментальные проблемы теорий истины. М.: Наука, 2005 Кейслер Г., Чэн Ч.Ч. Теория моделей. М.: Мир, 1977 Кейслер Х. Основы теории моделей // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982 Клайн М. Математика. Утрата определенности. М.: Мир, 1984 Куайн У. С точки зрения логики. 9 логико-философских очерков. Томск, 2003 Куайн У. Философия логики. М.: Канон+, 2008 Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000 Хакинг Я. Представление и вмешательство: Начальные вопросы философии естественных наук. М.: Логос, 1998 Гончаров С. С, Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. М.: Интерпракс, Новосибирск: Институт математики СО РАН, 1994. Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996 Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС Barwise J. and S.Feferman, eds. Model-Theoretic Logic. New York, 1985.

Раздел 3. Выразительные, вычислительные и дедуктивные возможности формализмов Формальные системы, алгоритмы и вычислимые функции. Машина Тьюринга и тезис Тьюринга-Чёрча. Тест Тьюринга и «китайская комната» Сёрля. Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл ограничительных теорем. Формализуемое и неформализуемое в знании. Сильный и слабый искусственный интеллект.


Тьюринг А. Может ли машина мыслить? М.: Мир, 1960 Сёрл, Дж. Разум мозга — компьютерная программа? // В мире науки. 1990. № 3.


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

Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994 Виноград Т., Флорес Ф. О понимании компьютеров и познания // Язык и интеллект. М.: Прогресс, 1996 Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000 Беклемишев Л.Д. Теорема Геделя о неполноте и границы ее применимости // Успехи математических наук, 2010, т. 65, вып. 5. Белнап Н. Как нужно рассуждать компьютеру // Белнап Н., Стил Т. Логика вопросов и ответов. М.: Прогресс, 1981. С. 208–239. Гончаров С. С, Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. — М.: Интерпракс, Новосибирск: Институт математики СО РАН, 1994. Хант Э. Искусственный интеллект. М.: Мир, 1978 Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. Метафорическая фуга о разуме и машинах в духе Льюиса Кэрролла. М.: Бахрах-М, 2000 Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС Раздел 4. Основы логической прагматики. Теория речевых актов и ее альтернативы Теория речевых актов и её эволюция. Локутивные, иллокутивные и перлокутивные речевые акты. Перформативная гипотеза. Коммуникативные импликатуры Грайса, постулаты речевого общения и коммуникативные неудачи. Постграйсианские прагматические теории. Основы теоретико-игровой семантики и прагматики. Конститутивные и регулятивные правила: институт и ритуал. Конституирующие правила аргументативного речевого акта. Аргументация как обоснование мнений и действий.


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


Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004 Макеева Л.Б. Язык, онтология и реализм. М.: Издательский дом Высшей школы экономики, 2011 Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001 Важнейшие концепции теории аргументации. СПб., 2006 Васюков В. Л., Драгалина-Черная Е. Г., Долгоруков В. В. Logica Ludicra: аспекты теоретико-игровой семантики и прагматики. СПб.: Алетейя, 2014. Герасимова И.А. Введение в теорию и практику аргументации. М: Логос, 2003 Грайс П., Стросон П. В защиту догмы // Эпистемология & философия науки, 2012. №2. Еемерен Ф, Гротендорст Р. Аргументация: анализ, представление, проверка. СПб., 2004

Еемерен Ф., Гроотендорст Р. Речевые акты в аргументативных дискуссиях (теоретическая модель анализа дискуссий, направленных на разрешение конфликта мнений). СПб., 1994 Зайцев Д.В. Теория и практика аргументации. М.: ИНФРА-М, 2007 Лакофф Дж., Джонсон М. Метафоры, которыми мы живем. М.: УРСС, 2004 Мысль и искусство аргументации. М., 2003 Остин Дж. Как производить действия при помощи слов. Смысл и сенсибилии. М., 1999 Остин Дж. Три способа пролить чернила. СПб.: Алетейя, 2006 Пинкер С. Язык как инстинкт. М.: УРСС, 2004 Серль Дж. Логический статус художественного дискурса // Логос, 1999, №3 Сёрль Дж. Рациональность в действии. М., 2004 Серль Дж., Вандервекен Д. Основные понятия исчисления речевых актов // Новое в зарубежной лингвистике, М.: Радуга, 1986, вып. 18 Сёрль Дж. Открывая сознание заново. М., 2002 Сёрль Дж. Сознание, мозг, наука // Путь, 1993, №4 Томаселло М. Истоки человеческого общения. М.: Языки славянских культур, 2011. Уолтон Д. Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002. Успенский Б.А. Ego Loquens. Язык и коммуникационное пространство. М.: РГГУ, 2007 Bar-Hillel Y. Out of the Pragmatic Wastebasket // Linguistic Inquiry. 1971. Vol. 2, № 3. P. 401–407. Brown P., Levinson S.C. Politeness: Some Universals in Language Usage. Cambridge: Cambridge University Press, 1987. Campbell J. The Liar’s Tale: A History of Falsehood. N.Y.; L.: W. W. Norton & Company, 2002. Chapman S. Paul Grice: Philosopher and Linguist. Basingstoke; NY: Palgrave Macmillan, 2005. Clark R. Meaningful Games: Exploring Language with Game Theory. Cambridge MA: The MIT Press, 2012. Franke M. Game Theoretic Pragmatics // Philosophy Compass. 2013. Vol. 8, № 3. P. 269–284. Game Theory and Linguistic Meaning // Current Research in the SemanticsPragmatics Interface / ed. Pietarinen A.-V. Oxford, 2007. Geurts B. Quantity Implicatures. Cambridge: Cambridge University Press, 2011. Jäger G. Applications of Game Theory in Linguistics // Language and Linguistics Compass. 2008. Vol. 2, № 3. P. 406–421. Key Notions for Pragmatics. Amsterdam; Philadelphia: John Benjamins Publishing Company, 2009. Language, Games, and Evolution // Language, games, and evolution / eds. А. Benz et al. Dordrecht: Springer, 2011. Levinson S.C. Presumptive Meanings: The Theory of Generalized Conversational Implicature. Cambridge MA; L.: A Bradford Book, 2000. Lewis D. Convention: A philosophical study. Cambridge MA: Harvard University Press, 1969. Meaning and Analysis: New Essays on Grice / ed. K. Petrus. Basingstoke: Palgrave Macmillan, 2010. Parikh P. Language and Equilibrium. Cambridge MA; L.: The MIT Press, 2010. Potts C. The Logic of Conventional Implicatures. Oxford: Oxford University Press, 2005. Skyrms B. Signals: Evolution, Learning, and Information. Oxford; N.Y.: Oxford University Press, 2010. The Handbook of Pragmatics / eds. Horn L.R., Ward G. Oxford: Blackwell, 2006.

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

6 Оценочные средства для текущего контроля и аттестации студента

6.1 Вопросы для оценки качества освоения дисциплины Примерный перечень вопросов к зачету (экзамену) по всему курсу или к каждому

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

Вопросы для оценки качества освоения дисциплины (1 модуль)

1. Предмет логики. Понятия логической формы, логического следования, логического закона.

2. Основные законы традиционной логики. Софизмы и парадоксы. Парадокс лжеца и парадокс Рассела.

3. Язык как семиотическая система. Функции языка. Гипотеза лингвистической относительности.

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

5. Объем и содержание понятия. Понятия, комплексы, имена. Натурализм и конвенционализм. Диалог Платона «Кратил». Категория мин в китайской философии.

6. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий.

7. Деление, обобщение и ограничение понятий. Виды и правила деления. 8. Определение как операция с понятиями и терминами. Онтологический аргумент и

эссенциализм традиционной теории понятия. 9. Суждение и вопрос. Пресуппозиции вопроса и условия его логической корректности. 10. Традиционная силлогистика: способ анализа и условия истинности простых

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

11. Непосредственные силлогистические умозаключения: обращение, превращение, противопоставление субъекту, противопоставление предикату, чистое противопоставление.

12. Выводы по логическому квадрату. 13. Простой категорический силлогизм, его состав, фигуры и модусы. Общие правила

силлогизма. Проверка силлогизмов с использованием круговых диаграмм. Сокращенный силлогизм (энтимема).

14. Язык классической логики высказываний. Табличное построение классической логики высказываний. Выполнимость, тождественная истинность и тождественная ложность высказываний. Логическая и аналитическая истинность.

15. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам.

16. Натуральное исчисление высказываний. Правила вывода: прямые и непрямые, основные и производные.

17. Аксиоматический подход к построению формальных теорий. Метатеоретические свойства формальных теорий: синтаксическая и семантическая непротиворечивость, синтаксическая и семантическая полнота.

18. Доказательство синтаксической и семантической непротиворечивости классического исчисления высказываний.

19. Язык классической логики предикатов первого порядка. Индивидные, предикатные и функциональные константы. Экзистенциальная и универсальная квантификация.

20. Семантика классической логики предикатов первого порядка. Индивиды, свойства, отношения. Онтологический критерий Куайна. Платонистические и номиналистические языки.

Практические задания:

1. Установить отношение данных понятий по объему. 2. Найти понятие, подчиненное по отношению к данному (подчиняющее данное, находящееся в отношении пересечения с данным).

3. Привести примеры понятий, объемы которых находятся в заданном круговыми схемами отношении.

4. Проверить правильность обобщения, ограничения, деления, определения. 5. Сделать все возможные выводы по логическому квадрату из истинности (ложности) данного высказывания.

6. Осуществить обращение, превращение, противопоставление субъекту, противопоставление предикату, чистое противопоставление.

7. Проверить правильность силлогизма (по общим правилам и круговым схемам). 8. Восстановить энтимему до полного силлогизма. 9. Выразить на языке логики высказываний логическую структуру данного высказывания.

10. Провести эквивалентное преобразование или отрицание данного высказывания. 11. Построить таблицу истинности для формулы классической логики высказываний и определить, является ли она логическим законом (выполнимой, тождественно ложной).

12. По таблицам истинности определить, в каком логическом отношении находятся высказывания (формулы классической логики высказываний).

13. По таблицам истинности проверить правильность рассуждения. 14. Доказать теорему в натуральном исчислении высказываний. 15. Проверить правильность доказательства в аксиоматическом исчислении высказываний.

16. Выразить на языке логики предикатов первого порядка логическую структуру данного высказывания.


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

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

3. Принципы построения неклассических логик. Классификация неклассических логик. 4. Основные дедуктивные системы модальной логики. 5. Семантика Крипке для модальной логики. Схема Скотта-Леммона. 6. Квантификация в модальной логике. 7. Темпоральная логика. 8. Проблема согласования алетических и темпоральных модальных операторов. 9. Деонтическая логика. Парадоксы деонтической логики. 10. Логика действий. 11. Эпистемическая логика. Базовые операторы и их семантика. 12. Виды группового знания. 13. Доксатическая логика. Операторы убеждения и условного убеждения. 14. Операторы информационного обновления. 15. Парадокс Фитча и проблема Геттьера в эпистемической логике. 16. Интуииционистская логика. 17. Многозначная логика. Тезис Сушко. 18. Релевантная логика. 19. Паранепротиворечивые логики 20. Логический монизм и логический плюрализм.

Практические задания:

1. Построить вывод формулы в натуральном исчислении (классическая логика предикатов)

2. Построить вывод формулы в аксиоматическом исчислении (классическая логика высказываний)

3. Построить вывод формулы в аксиоматическом исчислении (классическая логика предикатов)

4. При помощи аналитических таблиц проверить правильность рассуждения 5. Построить модель и контрмодель для формулы (K, S4, S5) 6. Построить модель и контрмодель для формулы (эпистемическая логика) 7. Построить модель и контрмодель для формулы (темпоральная логика) 8. Построить модель и контрмодель для формулы (деонтическая логика и логика действий)

9. Доказать в аксиоматическом исчислении (K, S4, S5) 10. При помощи схемы Скотта-Леммона найти ограничения на отношение достижимости для указанной формулы

11. Привести пример формулы, которая различает данные модели (модальная, эпистемическая, темпоральная, интуиционисткая логика)

12. Построить вывод для интуиционистской формулы 13. Погрузить интуиционистскую формулу в S4 14. Проверить, является ли формула интуиционистской теоремой

15. Проверить, является ли формула теоремой релевантной логики (FDE) 16. При помощи DEL решить задачу (по типу задачи о чумазых детях) 17. Указать, в каких логических отношениях находятся формулы (модальная, темпоральная, эпистемическая логика)

18. Построить логический квадрат (шестиугольник) для указанных формул 19. Выразить логическую структуру высказывания на языке классической логики предикатов, эпистемической логики, модальной логики.

20. Определить, в каких логических системах можно показать общезначимость высказывания (правильность вывода)


1. Логический монизм и логический плюрализм. Проблема классификации логических систем. Логика и металогика.

2. Теоретико-доказательственный и теоретико-модельный подходы к логическому следованию. Теоретико-модельные парадоксы.

3. Семиология де Соссюра. 4. Прагматицизм, семиотика и диаграмматическая логика Пирса. 5. Бихевиористская семиотика Морриса. 6. Феноменология и теория знака Гуссерля. Знак и интенциональность, ноэма и ноэзис. 7. Антипсихологизм и логицизм Фреге. 8. Теория смысла и значения Фреге. 9. Теория дескрипций Рассела. 10. Логико-семантические идеи Венского кружка. Программа «преодоления метафизики логическим анализом языка».

11. «Образная» теория языка раннего Витгенштейна. Априорность логики и проблема «мистического».

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

13. Концепция “языковых каркасов” Карнапа. 14. Куайн о «двух догмах эмпиризма», «центре» и «периферии» научной теории, неопределенности перевода и “непостижимости референции”.

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

16. Концепция “жестких десигнаторов” Крипке и “загадка контекстов мнения”. 17. Теоремы Гёделя о неполноте достаточно богатых формальных теорий и недоказуемости непротиворечивости этих теорий их собственными средствами. Философский смысл ограничительных теорем.

18. Машина Тьюринга и тезис Чёрча-Тьюринга. Тест Тьюринга и «китайская комната» Сёрля.

19. Теория речевых актов: истоки и эволюция. Аргументативные речевые акты. 20. Коммуникативные импликатуры Грайса, постулаты речевого общения и коммуникативные неудачи.

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

(1 модуль) Оценка за итоговый контроль в 1 модуле в форме устного экзамена, включающего

теоретические вопросы и решение задач, выставляется по следующей формуле

Оитог1= 0,8·Оэкз1 + 0,2·Онакоп1

где Оэкз1 – оценка за ответ на экзамене в 1 модуле, Онакоп1 – накопленная оценка за

работу в 1 модуле, которая рассчитывается как среднее арифметическое от текущих контрольных работ.

Формы рубежного контроля и структура промежуточной оценки (2 модуль)

Оценка за итоговый контроль в 2 модуле в форме устного экзамена, включающего




работу во 2 модуле, которая рассчитывается как среднее арифметическое от текущих контрольных работ.

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

(3 модуль) Оценка за итоговый контроль в 3 модуле в форме устного экзамена, включающего




работу в 3 модуле, которая рассчитывается как среднее арифметическое от текущих контрольных работ.

Формула для расчета результирующей оценки (результирующая оценка проставляется в экзаменационную ведомость за 3 модуль)

Oрез = 0,35· Oитог1 + 0,35·Oитог2 + 0,3·Oитог3

Способ округления всех оценок во всех формулах – арифметический.

2. Учебно-методическое и информационное обеспечение дисциплины

Базовый учебник Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008 Основная литература Барвайс Д. Введение в логику первого порядка // Справочная книга по математической логике. Часть 1: Теория моделей. М.: Прогресс, 1982 Брюшинкин В.Н. Логика. М.: Гардарики, 2001

Дополнительная литература и основная литература по темам указаны в соответствующих разделах курса

Справочники, словари, энциклопедии

Справочная книга по математической логике: В 4-х частях (Теория моделей, множеств, рекурсии, доказательств и конструктивная математика) (Под ред. Дж.Барвайса), М.: Прогресс, 1982 Стэндфордская философская энциклопедия: http://plato.stanford.edu/contents.html Краткая история философской логики: http://consequently.org/writing/logicians/ A Companion to Philosophical Logic http://onlinelibrary.wiley.com/book/10.1002/9780470996751 Handbook of Philosophical Logic. Vol.1-17. 2nd ed. / eds. D.Gabbay , F. Guenthner Dordrecht: Springer, 2001–2014.

Электронные библиотеки Austhink Online Library of Critical Thinking Wiley Online Library Logic Matters База актуальной библиографии http://philpapers.org Latex for Logicians http://www.logicmatters.net/latex-for-logicians/

47.03.01- Философия › data › 2017 › 09 › 05 › 1171653288 › program-17… ·...

Documents