Программа дисциплины «логика» для направления 030100. 68 «Философия» подготовки магистра для магистерской программы «Философская антропология»

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

Содержание

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

Правительство Российской Федерации

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

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

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

«ЛОГИКА»

для направления 030100.68 – «Философия»

подготовки магистра

для магистерской программы «Философская антропология»

Автор Макеева Л.Б., кандидат философских наук

lmakeeva@hse.ru

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

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

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

Программа разработана в соответствии с:

Образовательным стандартом НИУ по направлению подготовки 030100.68 Философия, уровень подготовки: магистр;
Основной образовательной программой по направлению подготовки 030100.68 Философия, уровень подготовки: магистр;
Рабочим учебным планом университета по направлению подготовки 030100.68 Философия, магистерская программа «Философская антропология», утвержденным в 2011г.

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

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

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

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

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

• научить студентов четко распознавать логические ошибки и просчеты.

• ознакомить студентов с основами теории аргументации и логическими приемами аргументативного дискурса.

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

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

Знать – основные понятия и принципы логики, формы рационального мышления, основные логические законы и методы формализации, основные логические теории (силлогистику, логику высказываний и логику предикатов), критерии и основные виды правильных рассуждений, правила выполнения логических операций.
Уметь – осуществлять логические операции, строить выводы, выполнять логические упражнения, распознавать логические ошибки.
Иметь навыки (приобрести опыт) логического анализа различного рода суждений, построения аргументации, ведения дискуссий и полемики.

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

Компетенция	Код по ФГОС/ НИУ	Дескрипторы – основные признаки освоения (показатели достижения результата)	Формы и методы обучения, способствующие формированию и развитию компетенции
Владение культурой мышления, способность в письменной и устной речи правильно и убедительно оформить результаты мыслительной деятельности	ИК-1	Знает основные приемы и уловки, используемые в аргументации, применяет корректные и убедительные способы обоснования в различных дискурсах, в том числе и философском	Участие в дискуссии, выступление с докладом
Знание логики (логический анализ естественного языка, классическая логика высказываний и предикатов, основные типы неклассических логик, правдоподобные рассуждения, основные формы и приемы рационального познания)	ПК-1	Дает определение основных логических понятий, распознает виды умозаключений и логические ошибки в рассуждениях, определениях и классификациях, применяет методы формализации и логического анализа, строит доказательства в натуральном исчислении высказываний	Решение логических задач, выполнение упражнений

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

Поскольку дисциплина «Логика» относится к циклу дисциплин общепрофессиональных при подготовке бакалавров направления 030100.62 – Философия, настоящий адаптационный курс предназначен для тех студентов магистратуры, обучающихся по программе «Философская антропология», которые закончили бакалавриат по иному направлению подготовки, чем 030100.62 – Философия, и, соответственно, не прослушали курса «Логика».

Изучение данной дисциплины базируется на следующих дисциплинах:

информатика;
математика.

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

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

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

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

№	Название раздела	Всего часов	Аудиторные часы			Самостоятельная работа
№	Название раздела	Всего часов	Лекции	Семинары	Практические занятия	Самостоятельная работа
1	Предмет логики	11	2	2		7
2	Логика и язык	11	2	2		7
3	Традиционная логика. Учение о понятии и суждении	20	4	4		12
4	Традиционная логика. Силлогистика	20	4	4		12
5	Классическая логика высказываний	37	8	6		23
6	Классическая логика предикатов	25	6	4		15
7	Логические основы теории аргументации	20	4	4		12
	Итого:	144	30	26		88

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

Тип контроля	Форма контроля	1 год		Параметры
Тип контроля	Форма контроля	1	2	Параметры
Текущий (неделя)	контрольная работа		*	письменная работа 60 минут
Итоговый	зачет		*	тест 60 минут

Критерии оценки знаний, навыков

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

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

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

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

Раздел 1. Предмет логики

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1. 2 ч.	Логика как наука о правильных рассуждениях и иных интеллектуальных операциях. Истинность мысли (суждения) и правильность рассуждения (умозаключения). Понятия логической формы, логического следования и логического закона. Основные этапы развития логики. Возникновение логики как аспект «греческого чуда». Логика в системе культуры. Логика традиционная и теоретическая. Логика классическая и неклассическая. Специфика логических законов. Психологизм и антипсихологизм в трактовке природы логики. Нормативный характер логики. Основные законы традиционной логики. Понятие противоречия. Парадоксы и софизмы, их роль в развитии логики и науки.	Понятие, суждение, умозаключение как формы рационального познавательного мышления. Логическая и грамматическая формы мысли. Критерий правильности умозаключений. Когнитивные предпосылки возникновения логики. Логика и софистика. Паралогизмы и софизмы. Парадокс в узком и широком смысле. Примеры логических парадоксов.

Общий объем самостоятельной работы – 7 часов, из них самостоятельное освоение ряда тем данного раздела по учебной литературе – 5 часов, выполнение домашних заданий (задач и логических упражнений) – 2 часа.

Формы проведения семинарских занятий: проверка усвоенного материала, проверка домашнего задания, проведение дискуссии, решение задач, доклады.

Литература

Основная

1. Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 1 «Предмет и основные понятия логики». 13-39;

2. Коэн М., Нагель Э. Введение в логику и научный метод. М.: Социум, 2010. Глава 1 «Предмет логики». С. 29-56.

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

1. Арно А., Николь П. Логика, или искусство мыслить. Пер. с франц. В.П.Гайдамака. М.: Наука, 1997. С. 5-25;

2. Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Изд-во МГУ, 1989. С. 6-39;

3. Маковельский А.О. История логики. Жуковский-Москва: Кучково поле, 2004. С. 86-162, 257-278, 307-332;

4. Ивин А.А. Искусство правильно мыслить. М.: Просвещение, 1986;

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

6. Карпенко А.С. Предмет логики в свете основных тенденций её развития // Логические исследования. Выпуск 11, М.: Наука, 2004;

7. Кассен Б. Эффект софистики. М, СПб, 2000;

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

Раздел 2. Логика и язык

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1. 2 ч.	Язык как информационная знаковая система. Понятие знака. Семиозис и семиотический треугольник. Виды знаков (знаки-индексы, знаки-образы, знаки-символы). Основные семиотические аспекты языка: синтаксис, семантика и прагматика. Функции языка. Естественные и искусственные языки. Смысл и значение языкового знака. Логическая онтология и основные семантические категории языковых выражений. Принципы построения формализованных логических языков. Язык-объект и метаязык. Интенсиональные и экстенсиональные контексты.	Понятие знака у Ч. Пирса и Ф. де Соссюра. Семиотика как общая теория знаковых систем, теоретические предпосылки ее возникновения. Междисциплинарный статус семиотики. Виды знаков и их функционирование в культуре. Знак и информация. Разновидности искусственных языков. Язык и онтология. Гипотеза лингвистической относительности Сепира и Уорфа.

Общий объем самостоятельной работы – 7 часов, из них самостоятельное освоение ряда тем данного раздела по учебной литературе – 5 часов, выполнение домашних заданий логических упражнений) – 2 часа.

Формы проведения семинарских занятий: проверка усвоенного материала, проверка домашнего задания, проведение дискуссии, доклады.

Литература

Основная

1. Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 2 «Логический анализ языка». С. 40-64.

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

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

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

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

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

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

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

7. Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993;

8. Фреге Г. Логика и логическая семантика. М.: Аспект Пресс, 2000;

9. Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. Пер. с англ. С.П.Евтушенко. М.: Республика, 2000;

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

Раздел 3. Традиционная логика. Учение о понятии и суждении.

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

Общий объем самостоятельной работы – 12 часов, из них самостоятельное освоение ряда тем данного раздела по учебной литературе – 6 часов, выполнение домашних заданий (решение задач и упражнений) – 6 часов.

Формы проведения семинарских занятий: проверка усвоенного материала, проверка домашнего задания, проведение дискуссии, доклады.

Литература

Основная

1. Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 9 «Понятие», глава 10 «Определение», глава 7 «Cиллогистика», §§1, 2. С. 242-250, 379-446;

2. Брюшинкин В.Н. Логика. М.: Гардарики, 2001. Глава 2 «Понятие о понятии», §§ 2-3, глава 3 «Мир понятий», глава 4 «Определение понятий», глава 5 «Деление понятий». Глава 6 «Суждение и его виды» §§ 1-2, глава 7 «Отношения между суждениями» § 1. С.47-129, 152-157;

3. Коэн М., Нагель Э. Введение в логику и научный метод. М.: Социум, 2010. Глава 2 «Анализ суждений», глава 3 «Отношения между суждениями», глава 12 «Классификация и определение». С. 59-123, 311-338.

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

1. Ивлев Ю.В. Логика. М.: Изд-во Проспект, 2004. Глава 4 «Суждение. Вопрос. Норма», §§ 1, 3. С. 38-42, 50-53;

2. Арно А., Николь П. Логика, или искусство мыслить. Пер. с франц. В.П.Гайдамака. М.: Наука, 1997. С. 79-140;

3. Ивин А.А. Искусство правильно мыслить. М.: Просвещение, 1986;

4. Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Изд-во МГУ, 1989;

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

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

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

8. Субботин А.Л. Классификация. М.: Изд-во ИФ РАН, 2001;

9. Горский Д.П. Определение (логико-методологические проблемы). М.: Мысль, 1974.

Раздел 4. Традиционная логика. Силлогистика

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1. 2 ч.	Простые атрибутивные суждения и их силлогистический анализ. Силлогистика как теория формальных отношений между общими терминами. Законы силлогистики. Виды силлогистических умозаключений. Непосредственные силлогистические умозаключения (обращение, превращение, противопоставление субъекту и предикату, умозаключения по логическому квадрату).	Силлогистика как первая логическая теория, ее особенности. Простые атрибутивные суждения и силлогистика. Семантика силлогистики. Виды силлогистических умозаключений.
2. 2 ч.	Простой категорический силлогизм, его состав, фигуры и модусы. Общие правила силлогизма и свойства правильных модусов различных фигур. Проверка правильности силлогизма по общим правилам и круговым схемам. Энтимема, восстановление энтимемы в полный силлогизм. Сложные и сокращенные силлогизмы.	Термины, фигуры и модусы простого категорического силлогизма. Правила простого категорического силлогизма. Энтимемы и полисиллогизмы. Сориты. Проблемы традиционной силлогистики.

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1. 2 ч.	Принципы построения формализованных логических языков. Понятия логической теории и логического исчисления. Язык и семантика классической логики высказываний. Логические связки как истинностные функции и способы их выражения в естественном языке. Табличное определение логических связок. Взаимная выразимость истинностных функций. Запись сложных суждений на языке классической логики высказываний. Тождественно-истинные, тождественно-ложные и выполнимые формулы классической логики высказываний.	Те же самые темы, что обсуждались на лекции.
2. 2 ч.	Логические отношения между формулами классической логики высказываний. Понятие логического закона в классической логике высказываний. Проверка правильности умозаключений по таблицам истинности. Виды выводов логики высказываний. Условно-категорическое умозаключение и его модусы. Разделительно-категорическое умозаключение и его модусы. Условно-разделительные умозаключения. Непрямые умозаключения в логике высказываний (рассуждение от противного, рассуждение путем сведения к абсурду, рассуждение по случаям).	Те же самые темы, что обсуждались на лекции.
3. 2 ч.	Понятие теории и исчисления. Специфика логических исчислений. Исчисление высказываний. Понятия вывода, выводимости, доказательства и теоремы в исчислении высказываний. Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Прямые и непрямые, основные и производные правила вывода. Теорема дедукции. Эвристические приемы поиска вывода в натуральном исчислении высказываний.	Те же самые темы, что обсуждались на лекции.
4. 2 ч.	Понятие аксиомы. Виды аксиоматических теорий. Аксиоматический подход к построению исчисления высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом. Теорема дедукции. Метатеоретические свойства исчислений высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода.

Общий объем самостоятельной работы – 23 часа, из них ознакомление с учебной литературой – 12 часов, выполнение домашних заданий (решение задач и упражнений, построение доказательств) – 11 часов.

Формы проведения семинарских занятий: проверка усвоенного материала, проверка домашнего задания, решение задач, построение доказательств.

Литература

Основная

1. Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008. С. 85 – 158;

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

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

2. Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002;

3. Гильберт Д., Аккерман В. Основы теоретической логики. Пер. с нем. А.А.Ерофеева. М.: Гос. изд. иностр. лит-ры, 1947;

4. Конверский А.Е. Логика традиционная и современная. М.: Идея-Пресс, 2010.

Раздел 6. Классическая логика предикатов

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1. 2 ч.	Язык первопорядковой логики предикатов. Термы и формулы. Квантор существования и квантор всеобщности. Кванторы как второпорядковые предикаты. Область действия квантора. Свободные и связанные переменные. Местность терма и формулы.	Те же самые темы, что обсуждались на лекции.
2. 2 ч.	Семантика первопорядковой логики предикатов. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Виды формул (общезначимые, выполнимые и опровержимые). Законы первопорядковой логики предикатов. Понятие модели. Отношения между формулами первопорядковой логики предикатов Два часа.	Те же самые темы, что обсуждались на лекции.
3. 2 ч.	Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости. Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка. Первопорядковая логика предикатов и традиционная логика. Квантификация и онтологические обязательства Куайна.

Общий объем самостоятельной работы – 15 часов, из них ознакомление с учебной литературой – 9 часов, выполнение домашних заданий (решение задач и упражнений, построение доказательств) – 6 часов.

Формы проведения семинарских занятий: проверка усвоенного материала, проверка домашнего задания, проведение дискуссии.

Литература

Основная

1. Бочаров В.А., Маркин В.И. Ведение в логику. М.: ИД «Форум»-ИНФРА-М, 2008. Глава 7 «Cиллогистика. С. 159-241.

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

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

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

3. Гильберт Д., Аккерман В. Основы теоретической логики. Пер. с нем. А.А.Ерофеева. М.: Гос. изд. иностр. лит-ры, 1947;

4. Конверский А.Е. Логика традиционная и современная. М.: Идея-Пресс, 2010.

Раздел 7. Логические основы теории аргументации

Заня- тие	Содержание лекционных тем	Содержание семинарских тем
1.	Аргументация и убеждение. Аргументация и обоснование. Виды аргументации. Основные аспекты аргументации. Доказательство и опровержение как виды теоретической аргументации. Строение доказательства (тезис, аргументы, демонстрация). Виды доказательств (прямое и косвенное, апагогическое и разделительное косвенное доказательство). Требования к доказательству. Типичные логические ошибки в доказательстве. Два часа.	Отличие аргументации от формального доказательства. Диалогичность аргументации. Требования к рациональному диалогу. Логические стратегии доказательства. Виды опровержений. Два часа.
2.	Спор и его виды (диалектический, компромиссный и эристический). Условия рационального спора. Лояльные и нелояльные приемы и аргументы в споре. Аргументы ad rem и аргументы ad hominem. Логика и риторика. Два часа.	Спор, полемика, дискуссия, дебаты, диспуты, прения. Этические нормы рациональной аргументации. Логико-риторические приемы и уловки. Два часа.

Тематика заданий текущего контроля

Тематика докладов на семинарских занятиях

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. Суждение как форма мысли. Виды суждений.

17. Простое атрибутивное суждение, его логический состав.

18. Деление простых атрибутивных суждений по количеству и качеству.

19. Отношения между простыми атрибутивными суждениями. Логический квадрат.

20. Принципы построения формализованных логических языков. Язык-объект и метаязык.

21. Язык классической логики высказываний. Понятие правильно построенной формулы.

22. Логические связки и табличный метод их определения.

23. Виды формул классической логики высказываний

24. Логические отношения между сложными высказываниями.

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

26. Умозаключение как форма мышления. Дедукция и индукция.

27. Виды дедуктивных умозаключений.

28. Условно-категорическое умозаключение и его модусы.

29. Разделительно-категорическое умозаключение и его модусы.

30. Условно-разделительные умозаключения

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

32. Обращение как вид непосредственного силлогистического умозаключения.

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

34. Общие правила простого категорического силлогизма. Проверка силлогизмов с помощью круговых схем.

35. Энтимема. Восстановление энтимемы в полный силлогизм.

36. Основные виды индуктивных умозаключений.

37. Язык классической логики высказываний. Табличное построение классической логики высказываний. Законы классической логики высказываний.

38. Логические отношения между формулами классической логики высказываний. Понятие логического закона в классической логике высказываний.

39. Прямые и непрямые умозаключения в логике высказываний.

40. Понятие теории и исчисления. Специфика логических исчислений.

41. Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Эвристические приемы поиска вывода в натуральном исчислении высказываний.

42. Аксиоматическое исчисление высказываний. Исчисления с конечным числом аксиом и правилом подстановки и исчисления со схемами аксиом.

43. Аксиоматическое исчисление высказываний. Правила вывода: прямые и непрямые, основные и производные. Теорема дедукции.

44. Метатеоретические свойства исчисления высказываний.

45. Первопорядковая логика предикатов, ее язык. Переменные и кванторы.

46. Семантика первопорядковой логики предикатов.

47. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.

48. Аргументация, обоснование, убеждение.

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

50. Спор, виды спора. Логические и психологические приемы и уловки, применяемые в споре.

Примеры заданий промежуточного контроля (в виде контрольной работы)

1. Определить, является ли данное утверждение или рассуждение парадоксальным (в широком или узком смысле).

2. Определить вид знака.

3. Найти понятия, находящиеся с данным понятием в отношениях: (а) пересечения; (б) подчинения; (г) противоречия.

4. Изобразить с помощью кругов Эйлера отношения между данными понятиями.

5. Осуществить обобщение и ограничение данного понятия.

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

7. Проверить правильность деления.

8. Проверить правильность определения и установить его вид.

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

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

11. Определить по таблицам истинности, в каком логическом отношении находятся данные высказывания.

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

13. Определите фигуру, модус и правильность следующего силлогизма.

14. Восстановить энтимему в полный силлогизм и проверить ее правильность.

15. Доказать теорему в натуральном исчислении высказываний.

16. Выявить уловку в аргументации.

17. Выявить ошибку в аргументации.

Примеры заданий итогового контроля (в виде экзаменационного теста)

Парадокс брадобрея является популярной версией

 апории Зенона «Ахиллес и черепаха»

 парадокса лжеца

 парадокса Мура

 парадокса Рассела

Знаком-индексом называется знак, у которого связь с обозначаемым

 всегда носит случайный характер.

 устанавливается конвенционально.

 носит, как правило, причинно-следственный характер.

 представляет собой отношение сходства или подобия.

Из перечисленных не может быть правильным дедуктивное умозаключение

 с истинными посылками и истинным заключением

 с ложными посылками и истинным заключением

 с истинными посылками и ложным заключением

 с ложными посылками и ложным заключением

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

 превращением

 противопоставлением субъекту

 противопоставлением предикату

 обращением

В определении «Состав преступления – это признаки социально-правовых явлений (деяний), отражаемых составом преступления» допущена ошибка

 тавтология.

 слишком узкое определение.

 слишком широкое определение.

 определение неизвестного через неизвестное.

Какая из перечисленных формул является выражением закона тождества в классической логике высказываний?

 (p →p)→p

 p ∨ p

 p&p

 p≡p (или p→q)

Два высказывания находятся в отношении противоречия, если и только если

 они несовместимы по истинности и несовместимы по ложности.

 они совместимы по истинности, но несовместимы по ложности.

 они несовместимы по истинности, но совместимы по ложности.

 они несовместимы или по истинности, или по ложности.

Если ни одна формула, которая может быть записана на языке теории Т, не доказуема совместно со своим отрицанием, то теория Т называется

 синтаксически непротиворечивой теорией.

 синтаксически полной теорией.

 семантически полной теорией.

 непротиворечивой в абсолютном смысле.

Порядок формирования оценок по дисциплине

Преподаватель оценивает работу студентов на семинарских занятиях по их активности в дискуссиях, по правильности выполнения ими заданий (в виде упражнений и задач) на семинаре, по правильности их ответов на вопросы преподавателя. Оценки за работу на семинарских и практических занятиях преподаватель выставляет в рабочую ведомость. Накопленная оценка по 10-ти балльной шкале за работу на семинарских и практических занятиях определяется перед итоговым контролем – О_{аудиторная}.

Преподаватель оценивает самостоятельную работу студентов по правильности выполнения ими домашних заданий, по полноте и глубине освещения ими темы доклада. Оценки за самостоятельную работу студента преподаватель выставляет в рабочую ведомость. Накопленная оценка по 10-ти балльной шкале за самостоятельную работу определяется перед итоговым контролем – О_{сам. работа}.

Оценка за текущий контроль учитывает результаты студента по текущему контролю следующим образом:

О_{текущий} = О_к/р

Результирующая оценка за итоговый контроль в форме экзамена выставляется по следующей формуле, где О_{экзамен} – оценка за работу непосредственно на экзамене:

О_{итоговый} = 0.3·О_{экзамен} + 0.3·О_{текущий} + 0.2·О_{сам. работа} + 0.2·О_{аудиторная}

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

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

Базовый учебник

Бочаров В.А., Маркин В.И. Ведение в логику. М.: ИД «Форум»-ИНФРА-М, 2008

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

Коэн М., Нагель Э. Введение в логику и научный метод. М.: Социум, 2010;

Брюшинкин В.Н. Логика. М.: Гардарики, 2001;

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

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

1. Арно А., Николь П. Логика, или искусство мыслить. Пер. с франц. В.П.Гайдамака. М.: Наука, 1997;

2. Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Изд-во МГУ, 1989;

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

4. Ивин А.А. Искусство правильно мыслить. М.: Просвещение, 1986;

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

6. Карпенко А.С. Предмет логики в свете основных тенденций её развития // Логические исследования. Выпуск 11, М.: Наука, 2004;

7. Кассен Б. Эффект софистики. М, СПб, 2000;

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

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

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

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

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

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

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

15. Сепир Э. Избранные труды по языкознанию и культурологи. М.: Прогресс, 1993;

16. Фреге Г. Логика и логическая семантика. М.: Аспект Пресс, 2000;

17. Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и искусства. Пер. с англ. С.П.Евтушенко. М.: Республика, 2000;

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

19. Ивлев Ю.В. Логика. М.: Изд-во Проспект, 2004;

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

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

22. Субботин А.Л. Классификация. М.: Изд-во ИФ РАН, 2001;

23. Горский Д.П. Определение (логико-методологические проблемы). М.: Мысль, 1974;

24. Бочаров В.А., Маркин В.И. Силлогистические теории. М.: Прогресс – Традиция, 2011;

25. Маркин В.И. Силлогистические теории в современной логике. М.: Изд-во МГУ, 1986;

26. Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001;

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

28. Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002;

29. Гильберт Д., Аккерман В. Основы теоретической логики. Пер. с нем. А.А.Ерофеева. М.: Гос. изд. иностр. лит-ры, 1947;

30. Конверский А.Е. Логика традиционная и современная. М.: Идея-Пресс, 2010;

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

32. Ивин А.А. Теория аргументации. М.: Гардарики, 2000. Глава 1 «Задачи теории аргументации». С. 7-44.

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

34. Мысль и искусство аргументации. М.: Прогресс-Традиция, 2003;

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

36. Поварнин С.И. Спор. О теории и практике спора // Логика и риторика. Хрестоматия. Минск: Тетра-Системс, 1997;

37. Ееремен Ф., Гротендорст Р. Аргументация, коммуникация, ошибки. СПб: Васильевский остров, 2004;

38. Важнейшие концепции аргументации. СПб: Филологический факультет Санкт-Петербургского университета, 2006;

39. Мысль и искусство аргументации. М.: Прогресс-Традиция, 2003.

Автор программы

доцент кафедры онтологии, логики и теории познания факультета философии ГУ - ВШЭ

Л.Б. Макеева

Blog