Логика - Школа философии

Министерство экономического
развития и торговли Российской
Федерации
Министерство образования
Российской Федерации
Государственный университет – Высшая
школа экономики
Факультет
Философии
Программа дисциплины
Логика
(1,2,3,4 модули)
для направления 030100.62 - Философия
подготовки бакалавра
Автор Драгалина – Черная Е.Г.
[email protected]
Рекомендована секцией УМС
Одобрена на заседании кафедры
«Философия»
онтологии, логики и теории познания
Председатель
Е.Г. Драгалина-Черная
зав. кафедрой
____________________
« 13 » мая
В.Н.Порус
«
2008 г.
Утверждена УС факультета
философии
________________________________
Ученый секретарь
Макеева Л.Б.
________________________________
«13» мая 2008г.
Москва
»
2008 г.
2
Тематический план учебной дисциплины
Самостоятельна
я работа
Раздел I. Предмет логики
Раздел II. Логическая семиотика
Раздел III. Элементы традиционной
логики
16
4
4
8
16
46
4
12
2
10
10
24
Традиционная теория понятия
24
22
120
50
46
34
18
6
6
30
12
10
8
4
6
4
20
8
6
6
4
12
12
70
30
30
20
10
216
54
40
122
Название
Темы
3.1.
3.2.
4.1.
4.2.
4.3.
Аудиторные
часы
Сем. и
практ.
занятия
№
Всего
часов
Силлогистика
Раздел IV. Символическая логика
Классическая логика высказываний
Классическая логика предикатов
Неклассическая логика
Раздел V. Логические основы теории
аргументации
Итого:
Лекции
Формы рубежного контроля и структура итоговой оценки
Итоговая оценка по учебной дисциплине складывается из следующих элементов:

Работа на практических занятиях (доклады, обсуждения, решение задач) – 20% от
итоговой оценки

4 письменные аудиторные контрольные работы (240 мин.) – 40% от итоговой
оценки

Устный экзамен и зачет (по 120 минут) – 40% от итоговой оценки
Базовый учебник
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008
3
Содержание программы
Раздел I. Предмет логики
Правильное рассуждение как предмет логики. Отношение логического следования.
Истинность мысли и формальная правильность рассуждения. Понятия логической формы
и логического закона. Парадоксы и софизмы.
Логика в системе культуры. Когнитивные предпосылки возникновения теории
рассуждений. Аристотель – «отец логики». Основные этапы развития логики. Логика
традиционная и теоретическая. Формирование и современное состояние символической
логики.
Рассуждение и знание. Логика как наука о представлении, переработке и
пополнении знания. Место логики в системе когнитивных наук. Психологизм в логике и
логицизм в психологии.
Нормативный характер логики.
Логика,
информатика,
когнитивная лингвистика.
Логика и металогика. Логика как философская наука. Значение логики.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 13 - 39
Дополнительная
Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005
Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001
Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002
Брюшинкин В.Н. Логика. М.: Гардарики, 2001
Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001
Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004
Солсо Р. Когнитивная психология. М.: Тривола, 2002
Величковский Б.М. Когнитивная наука. Основы психологии познания. М.: Смысл, 2006
Карпенко А.С. Предмет логики в свете основных тенденций её развития // Логические
исследования. Выпуск 11, М.: Наука, 2004, с. 149 - 171
Противоположности и парадоксы. М.: Канон+, 2008
Кассен Б. Эффект софистики. М, СПб: Университетская книга, 2000
Пиаже Ж. Речь и мышление ребенка. М.: Педагогика-Пресс, 1996
4
Грифцова И.Н. Логика как теоретическая и практическая дисциплина. М.: Эдиториал
УРСС, 1998
Леви-Стросс К. Первобытное мышление. М.: Педагогика - Пресс, 1999
Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. М.: Бахрах -М, 2001
Драгалина-Черная Е.Г. От тривия к инженерии знаний // Электронный журнал «Знание,
понимание, умение» 2008 №11 http://www.zpu-journal.ru/e-zpu/2008/11/Dragalina-Chernaia/
Драгалина-Черная Е.Г. Смеяться или плакать? Парадокс как несмешная шутка //
Логический анализ языка. Языковые механизмы комизма. М.: Индрик, 2007, c. 627 – 634
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Раздел II. Логическая семиотика
Язык
как
информационная
знаковая
система.
Теоретические
предпосылки
возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика
Пирса - Морриса. Этапы развития семиотики и её междисциплинарный статус.
Знак и информация. Виды знаков и их функционирование в культуре. Иконические
знаки, индексы и символы.
Сигналы и символы. Понятие семиотической ситуации.
Основные семиотические аспекты языка: синтаксис, семантика, прагматика. Семиозис
как когнитивный процесс.
Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.
Логические и дискриптивные термины. Формализация и символизация. Принципы
построения формализованных логических языков.
Смысл и значение знака. Денотация и коннотация. Референциальная непрозрачность.
Интенсиональные и экстенсиональные контексты. Проблема значения общих имен:
номинализм и платонизм.
Язык и онтология.
Гипотеза лингвистической относительности Сепира - Уорфа и
принцип онтологической относительности Куайна.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 40 - 64
Дополнительная
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996
Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001
5
Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Куайн У. Философия логики. М.: Канон+, 2008
Кронгауз М.А. Семантика. М.: Изд-во РГГУ, 2001
Лайонс Д. Лингвистическая семантика. Введение. М.: Языки славянских культур, М., 2003
Лангер С. Философия в новом ключе. Исследование символики разума, ритуала и
искусства. М.: Изд-во политической литературы, 2000
Пирс Ч.С. Учение о знаках: Разделение знаков. Икона, индекс, символ // Пирс Ч.С.
Избранные философские произведения. М.: Логос, 2000, с. 176 – 222
Семиотика. М.: Радуга, 1983
Смирнова Е.Д. Основы логической семантики. М.: Изд-во МГУ, 1990
Сепир Э. Избранные труды по языкознанию и культурологии. М.: Прогресс, 1993
Французская семиотика. От структурализма к постструктурализму. М.: Прогресс, 2000
Фреге Г. Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000
Эко У. Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Эко У. Поиски совершенного языка в европейской культуре. СПб.: Alexandria, 2007
Драгалина-Черная Е.Г. Формальные онтологии: аналитическая реконструкция. М.: Изд-во
Альфа, 2000
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Раздел III. Элементы традиционной логики
Тема 1. Традиционная теория понятия
Имя,
смысл,
понятие.
Способы
образования
и
виды
понятий.
Понятия,
псевдопонятия и комплексы. Содержание и объем понятия. Закон обратного отношения
между объемами и содержаниями понятий. Обобщение и ограничение понятий.
Отношения между понятиями по объему. Типы совместимости и несовместимости
понятий. Булевы операции с объемами понятий.
Деление понятий. Структура и виды деления. Дихотомическое деление и деление по
видоизменению признака. Ошибки в делении. Классификация и категоризация.
Естественные и искусственные классификации. Категориальные ошибки.
Определение и его типы. Определение и диэреза у Платона и Аристотеля.
Номинальные и реальные, явные и неявные определения. Индуктивные определения.
Методологические требования к определениям. Приемы, сходные с определением.
6
Идея и понятие. Эссенциализм традиционной теории понятия и её альтернативы.
Теория прототипов и принцип «семейного сходства». Понятийные и фреймовые модели
представления знания.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 279 - 422
Дополнительная
Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001
Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005
Асмус В.Ф. Логика М.: Эдиториал УРСС, 2001
Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.:
Наука, 1989
Гофман И. Анализ фреймов: эссе об организации повседневного опыта. М.: Институт
фонда «Общественное мнение», 2002
Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001
Ивлев Ю.В. Логика. М.: Проспект, 2004
Котарбиньский Т. Элементы теории познания, формальной логики и методологии науки.
Изд. Проект «Тривиум», 2000
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о
мышлении. М.: Языки славянских культур, 2004
Субботин А.Л. Классификация. М.: Изд-во ИФ РАН,, 2001
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Тема 2. Силлогистика
Суждения, вопросы, императивы. Простые и сложные суждения.
Простые категорические суждения и принципы их силлогистического анализа.
Силлогистика как теория формальных отношений в сфере общих терминов.
Непосредственные
силлогистические
рассуждения:
по
логическому квадрату,
обращение, превращение, противопоставление субъекту и предикату.
Простой категорический силлогизм: термины, фигуры, модусы. Общие правила
силлогизма и свойства правильных модусов различных фигур. Проверка правильности
силлогизма по общим правилам и круговым схемам. Сложные и сокращенные
силлогизмы.
7
Методологические трудности традиционной силлогистики: проблема единичных,
универсальных и пустых терминов.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 242 - 273
Дополнительная
Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005
Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001
Ахманов А.С. Логическое учение Аристотеля. М.: Едиториал УРСС, 2002
Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984
Брюшинкин В.Н. Логика. М.: Гардарики, 2001
Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001
Бочаров В.А. Аристотель и традиционная логика. М.: Изд-во МГУ, 1984
Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005
Маковельский А.О. История логики. Жуковский – Москва: Кучково поле, 2004
Маркин В.И. Силлогистические теории в современной логике. М.: Изд-во МГУ, 1986
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Раздел IV. Символическая логика
Тема 1. Классическая логика высказываний
Понятия логической теории и логического исчисления. Синтаксический и
семантический подходы к логическому следованию.
Логические и прикладные
формальные теории. Формальные аксиоматики. Независимость аксиом и «воображаемые
аксиоматики» формальных теорий.
Язык классической логики высказываний. Табличное построение классической логики
высказываний.
Законы классической логики высказываний.
Взаимная выразимость
функций истинности. Функционально полные системы пропозициональных связок.
Способы установления отношений между высказываниями и проверка правильности
рассуждений по истинностным таблицам. Сокращенные таблицы истинности.
Натуральное
исчисление
высказываний.
Правила
введения
и
удаления
пропозициональных связок. Эвристические приемы поиска вывода в натуральном
исчислении
высказываний.
Аксиоматический
подход
к
построению
исчисления
8
высказываний. Исчисления с конечным числом аксиом и правилом подстановки.
Исчисления со схемами аксиом.
производные.
Теорема
Правила вывода: прямые и непрямые, основные и
дедукции.
Понятия
вывода,
отношения
выводимости,
доказательства и теоремы в аксиоматическом и натуральном исчислении высказываний.
Метатеоретические
свойства
классического
исчисления
высказываний:
синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и
полнота,
разрешимость.
Понятие
независимости
аксиом
и
правил
вывода.
Альтернативные интерпретации классической логики высказываний: алгебраические
семантики и контактно-релейные схемы.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 85 - 159
Дополнительная
Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005
Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002
Брюшинкин В.Н. Логика. М.: Гардарики, 2001
Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001
Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001
Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Тема 2. Классическая логика предикатов
Язык первопорядковой логики предикатов.
Свободные и связанные индивидные
переменные. Экзистенциальная и универсальная квантификация. Кванторы как функции
выбора и как второпорядковые предикаты.
Семантика первопорядковой логики предикатов.
Свойства и отношения.
Классы,
множества, кортежи.
Предметная область, интерпретирующая функция и функция
приписывания значений индивидным переменным. Понятие модели (возможной
реализации). Выполнимые и общезначимые формулы.
Аксиоматическое и натуральное исчисления предикатов: понятия доказательства,
теоремы, вывода и отношения выводимости.
9
Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и
неполнота, неразрешимость классического исчисления предикатов первого порядка.
Первопорядковая
логика
предикатов
и
традиционная
логика.
Понятие
как
специфицированная переменная. Принципы погружения традиционной силлогистики в
логику предикатов первого порядка.
Расширения стандартной первопорядковой логики предикатов. Логика предикатов с
равенством. Ограниченные и обобщенные кванторы. Языки высших порядков.
Квантификация и онтологические допущения языка: критерий Куайна и его
альтернативы.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 159 - 241
Дополнительная
Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005
Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002
Маркин В.И. Силлогистические теории в современной логике. М.: Изд-во МГУ, 1986
Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Карнап Р. Преодоление метафизики логическим анализом языка // Аналитическая
философия: становление и развитие. М.: Дом интеллектуальной книги, 1998
Куайн У. Философия логики. М.: Канон+, 2008
Кюнг Г. Онтология и логический анализ языка. М.: Дом интеллектуальной книги, 1999
Драгалина-Черная Е.Г. Онтология обобщенной квантификации // Труды научноисследовательского семинара логического центра Института философии РАН. Выпуск
XVII, М.: ИФ РАН, 2004, с. 53-61
Тема 3. Неклассическая логика
Принципы классической логики и философские основания их пересмотра в
неклассической логике. Основные разделы неклассической логики.
Модальные
(интенсиональные)
логические
системы.
Интенсиональные
и
экстенсиональные контексты. Виды модальностей. Модальности de re
и de dicto.
Философские основания семантики "возможных миров". Свойства
отношения
10
достижимости и системы алетической модальной логики. Эпистемическая логика.
Парадокс «логического всеведения».
Методы кросс - идентификации и проблема
онтологического статуса «возможных объектов». Знание и мнение. Проблема Гетье:
является ли обоснованное истинное мнение знанием? «Парадокс познаваемости».
Временная логика. Трактовки временного ряда. Динамическая и статическая модели
времени: А - ряд и В - ряд.
Виды временных модальностей. Логический статус
высказываний о будущих случайных событиях и фатализм. Выражение алетических
модальностей через временные.
Многозначные логики.
Конечнозначные и бесконечнозначные логики. Проблема
содержательной интерпретации истинностных значений в многозначной логике.
Релевантная
логика.
информативности
Парадоксы
логических
материальной
законов.
Понятия
импликации.
релевантного
Проблема
следования
и
обобщенных описаний состояний.
Интуиционистская логика. Идейные предпосылки возникновения интуиционистской
логики. Критика Брауэром «чистых теорем существования» и программа Гильберта
обоснования математики. Понятия конструктивного объекта и конструктивного
доказательства.
Трактовка
истины
и
моделирование
роста
знания
в
интуиционистской логике. Колмогоровская интерпретация интуиционистской логики
как «исчисления задач».
Паранепротиворечивые, динамические и немонотонные логики как модели неполного,
противоречивого, модифицирующегося знания.
Литература
Основная
Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 274 – 378
Дополнительная
Аристотель. Об истолковании // Сочинения в 4-х т., Т. 2, М.: Мысль, 1978, с. 93-116
Карнап Р. Значение и необходимость. Исследование по семантике и модальной логике.
М.: УРСС, 2007
Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005
Ивлев Ю.В. Модальная логика. М.: Изд-во МГУ, 1991
Сидоренко Е.А. Логика. Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002
Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996
11
Хинтикка Я. Логико-эпистемологические исследования. М.: Прогресс, 1980
Шрамко Я.В. Аналитическая эпистемология // Аналитическая философия, М.: РУДН, 2006
Анисов А.М. Темпоральный универсум и его познание. М.: Изд-во ИФ РАН, 2000
Карпенко А. С. Фатализм и случайность будущего. Логический анализ. М.: ЛКИ/URSS,
2007
Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003
Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994
Войшвилло Е.К. Символическая логика (классическая и релевантная): философскометодологические проблемы. М.: Высшая школа, 1989
Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ. М.:
Едиториал УРСС, 2004
Клайн М. Математика. Утрата определенности. М.: Мир, 1984
Логико-философские труды В.А.Смирнова. М.: Едиториал УРСС, 2003
Сидоренко Е.А. Релевантная логика. М.: Изд-во ИФ РАН, 2000
Драгалина-Черная Е.Г. Есть ли жизнь в возможных мирах? Семантика веры и неверия //
Логический анализ языка. Между ложью и фантазией. М.: Индрик, 2008, с.46-54
Раздел V. Логические основы теории аргументации
Аргументация как обоснование мнений и
действий. Основные этапы развития
искусства и теории аргументации. Аргументация, доказательство, убеждение.
Структура доказательства и опровержения, их правила.
Виды и способы
контраргументации. Понятие критики. Логические требования к внешней и внутренней
критике. Принципы критического мышления. Критическое мышление и «неформальная
логика».
Спор и полемика. Виды спора: диалектический, эристический и софистический
споры. Логические и психологические уловки, применяемые в споре. Внушение и
рациональное доказательство. Специфика философской аргументации. Аргументативные
техники в правовой, политической, PR и бизнес – коммуникации.
рациональной
аргументации
и
возможность
её
«Риторический этос»
нормативной
регламентации.
Псевдоаргументация. Логика и риторика: «метафоры, которыми мы живем».
Логическое обоснование и рационализация действий. Аристотель о теоретических
и практических
рассуждениях. Практический силлогизм и целевое обоснование.
Логические основы принятия решений.
Парадоксы предпочтения и эффективного
действия. Модели ограниченной рациональности.
Литература
12
Основная
Герасимова И.А. Введение в теорию и практику аргументации. М: Логос, 2003, с. 11 – 61,
148 - 248
Дополнительная
Важнейшие концепции теории аргументации. СПб.: Филологический факультет СанктПетербургского университета , 2006
Зайцев Д.В. Теория и практика аргументации. М.: ИНФРА-М, 2007
Алексеев А.П. Философский текст. Идеи, аргументация, образы. М.: Прогресс-традиция,
2006
Еемерен Ф, Гротендорст Р. Аргументация, коммуникация, ошибки. СПб.: Васильевский
остров, 2004
Зарецкая Е.Н. Риторика. Теория и практика речевой коммуникации. М.: Дело, 1999
Крючкова С.Е. Основы теории аргументации: Курс лекций. М.: Изд-во МГТУ «Станкин»,
2004
Мысль и искусство аргументации. М.: Прогресс-Традиция, 2003
Уолтон Д. Аргументы ad hominem. М.: Институт фонда «Общественное мнение», 2002
Т.А. ван Дейк. Язык, познание, коммуникация. М.: Прогресс, 1989
Поварнин С.И. Спор. О теории и практике спора // Логика и риторика. Хрестоматия.
Минск: Тетра-Системс, 1997
Противоречие и дискурс. М.: Институт философии РАН, 2005
Шейгал Е. Семиотика политического дискурса. М.: Гнозис, 2004
Грайс Г.П. Логика и речевое общение // Новое в зарубежной лингвистике. Вып. 16, М.,
1985
Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: ГИТР,
2006
Задания для контрольных работ
1. Определить, является ли данное рассуждение парадоксальным.
2. Определить, к какому разделу семиотики (синтаксису, семантике или прагматике)
относится данный термин.
3. Определить, относится ли данное предложение (термин) к объектному или метаязыку.
4. Найти понятие, подчиненное по отношению к данному.
5. Найти понятие, подчиняющее данное.
6. Найти понятие, находящееся в отношении пересечения с данным.
13
7. Ограничить и обобщить данное понятие.
8. Проверить правильность ограничения.
9. Установить отношение данных понятий по объему.
10. Привести примеры понятий, объемы которых находятся в заданном круговыми
схемами отношении.
11. Проверить правильность деления.
12. Построить классификацию из данных понятий.
13. Проверить правильность определения и указать его вид.
14. Установить пресуппозицию и определить логическую корректность вопроса.
15. Определить вид атрибутивных суждений.
16. Проверить правильность обращения.
17. Сделать все возможные выводы по логическому квадрату из истинности (ложности)
данного суждения.
18. Провести операцию отрицания суждений (указать суждения, контрадикторные
данным).
19. Проверить правильность силлогизма.
20. Восстановить энтимему до полного силлогизма и проверить её корректность.
21. Выразить на языке логики высказываний логическую структуру данного
высказывания.
22. Построить таблицу истинности (полную и сокращенную) для формулы классической
логики высказываний и определить, является ли она логическим законом.
23. По таблицам истинности определить, в каком логическом отношении находятся
высказывания (формулы классической логики высказываний).
24. По таблицам истинности
(полным и сокращенным) проверить правильность
рассуждения.
25. Доказать теорему в натуральном исчислении высказываний.
26. Доказать метатеоремы о семантической и синтаксической непротиворечивости
аксиоматического исчисления высказываний.
27. Выразить на языке
логики предикатов первого порядка
данного высказывания.
28. Доказать теорему в натуральном исчислении предикатов.
29. Определить, является ли данный контекст интенсиональным.
логическую структуру
14
30. Выразить на языке
модальной (временной, эпистемической) логики
логическую
структуру данного высказывания.
31. Определить условия истинности и ложности данной формулы в семантике возможных
миров.
32. Определить условия истинности и ложности формулы в семантике «невозможных»
возможных миров (семантике с обобщенными описаниями состояния).
33. Проверить корректность модального рассуждения.
34. Назвать приемы и/или ошибки в аргументации.
Тематика докладов и рефератов
1.
Логика в системе культуры. Логика традиционная и теоретическая.
2.
Психологизм в логике и логицизм в психологии.
3.
Принцип «партиципации» в пралогическом мышлении.
4.
Античные софизмы и парадоксы.
5.
Логическое учение Аристотеля. Силлогистика Аристотеля и современная логика.
6.
Виды знаков и их функционирование в культуре. Образ, знак, символ.
7.
Функции языка. Естественные и искусственные языки. Формализованные языки и
формальные онтологии.
8.
Национальные языки и национальные образы мира. Логико-философский анализ
гипотезы лингвистической относительности.
9.
Традиционная теория понятия и ей альтернативы. Теория прототипов и принцип
«семейного сходства». Фреймовые модели представления знания.
10. Понятия, концепты, комплексы.
11. Классификация и категоризация. Естественные и искусственные классификации.
Категориальные ошибки.
12. Принципы построения иллокутивной логики. Провокационные вопросы и
демагогические ответы.
13. Методологические трудности традиционной силлогистики. Силлогистические
теории в современной логике.
14. Понятия логической теории и логического исчисления. Синтаксический и
семантический подходы к логическому следованию.
15
15. Пропозициональные связки классической логики высказываний и их выражение в
естественном языке. Взаимная выразимость функций истинности. Функционально
полные системы пропозициональных связок.
16. Семантические (аналитические) таблицы для классической логики высказываний.
Принципы формализации семантических таблиц в исчислении секвенций. Теорема
об устранении сечения.
17. Эвристические приемы поиска вывода в натуральном исчислении высказываний.
18. Дилеммы и рассуждения по случаям.
19. Рассуждение от противного и сведение к абсурду.
20. Формализация, символизация, аксиоматизация. Виды аксиоматик.
21. Независимость аксиом и «воображаемые аксиоматики» формальных теорий.
22. Аксиоматический подход к построению исчисления высказываний.
Теорема
дедукции.
23. Метатеоретические свойства классического исчисления высказываний.
24. Квантификация и онтологические допущения языка: критерий Куайна и его
альтернативы.
25. Метатеоретические свойства классического исчисления предикатов первого
порядка.
26. Принципы классической логики и философские основания их пересмотра в
неклассической логике.
27. Философские основания семантики "возможных миров".
28. Принципы и антиномии отношения именования.
29. «Референциальная непрозрачность».
Интенсиональные и экстенсиональные
контексты.
30. Парадокс «логического всеведения» и пути его разрешения.
31. Парадокс «непознаваемости» и пути его разрешения.
32. Временная логика. Временная логика. Трактовки временного ряда. Минимальная
система временной логики и её расширения.
33. Фатализм и его логический анализ.
34. Парадоксы материальной импликации и попытки их разрешения в релевантной
логике.
35. Идейные
предпосылки
интуиционистской логики.
возникновения
и
философские
основания
16
36. Интуиционистское
исчисление
высказываний.
Модели
Крипке
для
интуиционистской логики. Связь интуиционистской и модальной логик.
37. Многозначные логики. Проблема содержательной интерпретации истинностных
значений в многозначной логике.
38. Моделирование неполного, противоречивого, модифицирующегося знания в
паранепротиворечивых, динамических и немонотонных логических системах.
39. Основные этапы развития искусства и теории аргументации.
40. Аргументация и обоснование. Логическая доказательность и риторическая
убедительность.
41. Логические и психологические уловки, применяемые в споре.
42. Аргументативные стратегии и тактики.
Тематика курсовых работ
1.
Предмет и границы логики. Место логики в системе когнитивных наук.
2.
Логика и психология. Психологизм в логике и логицизм в психологии.
3.
Пралогическое мышление и когнитивные предпосылки возникновения теории
рассуждений.
4.
Парадокс, нонсенс, абсурд.
5.
Парадокс и докса.
6.
Апории Зенона.
7.
Античные софисты и софизмы.
8.
Логические идеи стоиков.
9.
Категория «логос» в античной философии.
10. Логическое учение Аристотеля.
11. Семиология Ф. де Соссюра.
12. Семиотика Ч.С.Пирса.
13. Виды знаков и их функционирование в культуре.
14. Поиски «совершенного языка»: от Адамова языка к искусственному интеллекту.
15. Национальные языки и национальные образы мира. Логико-философский анализ
гипотезы лингвистической относительности.
16. Семиотика культуры (искусства, кино, художественного творчества).
17. Формализованные языки и формальные онтологии.
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. «Метафоры, которыми мы живем».
политической,
PR
и
бизнес
–
18
42. Дискурс и текст. Текст, контекст, гипертекст, интертекст.
Вопросы для оценки качества освоения дисциплины
1.
Предмет логики. Понятия логической формы и логического следования.
2.
Основные этапы развития логики. Логика традиционная и теоретическая.
3.
Понятие логического закона. Основные законы традиционной логики. Паралогизмы,
софизмы и парадоксы.
4.
Место логики в системе когнитивных наук. Психологизм и антипсихологизм в логике.
5.
Язык как информационная знаковая система.
Теоретические предпосылки
возникновения общей теории знаковых систем. Этапы развития семиотики и её
междисциплинарный статус.
6.
Виды знаков и их функционирование в культуре. Иконические знаки, индексы и
символы. Сигналы и символы.
7.
Понятие семиотической
ситуации. Основные семиотические
аспекты
языка:
синтаксис, семантика, прагматика.
8.
Функции языка. Естественные и искусственные языки. Принципы построения
формализованных логических языков. Язык-объект и метаязык.
9.
Смысл и значение знака.
Интенсиональные и экстенсиональные контексты.
10. Понятие как форма мысли. Выражение понятий в языке. Понятия и комплексы.
11. Объем и содержание понятия. Закон обратного отношения между содержаниями и
объемами понятий. Обобщение и ограничение понятий.
12. Виды понятий.
13. Отношения между понятиями по объему. Типы совместимости и несовместимости
понятий.
14. Булевы операции над объемами понятий.
15. Деление понятий. Виды и правила деления. Классификация и категоризация.
16. Определение. Номинальные и реальные определения. Структура и виды явных и
неявных определений. Правила и возможные ошибки в определениях.
17. Суждение, вопрос, императив. Пресуппозиция вопроса и условия его логической
корректности.
18. Традиционная силлогистика: язык, способ анализа и условия истинности простых
категорических суждений. Отношения между простыми категорическими суждениями.
19
19. Непосредственные силлогистические рассуждения: выводы по логическому квадрату,
обращение, превращение, противопоставление субъекту и предикату.
20. Простой категорический силлогизм:
состав, фигуры и модусы. Общие правила
силлогизма.
21. Проверка силлогизмов с использованием круговых диаграмм.
22. Сокращенный силлогизм (энтимема). Сложные и сложносокращенные силлогизмы.
Условия их логической корректности.
23. Понятия
логической
теории
и
логического
исчисления.
Синтаксический
и
семантический подходы к логическому следованию.
24. Язык классической логики высказываний. Табличное построение классической
логики высказываний. Законы классической логики высказываний.
25. Способы установления отношений между высказываниями и проверка правильности
рассуждений по истинностным таблицам. Сокращенные таблицы истинности.
26. Натуральное
исчисление
высказываний.
Правила
введения
и
удаления
пропозициональных связок. Эвристические приемы поиска вывода в натуральном
исчислении высказываний.
27. Аксиоматический подход к построению исчисления высказываний.
Правила вывода:
прямые и непрямые, основные и производные. Теорема дедукции.
28. Метатеоретические свойства классического исчисления высказываний: синтаксическая
непротиворечивость и полнота, семантическая непротиворечивость и полнота,
разрешимость.
29. Язык первопорядковой логики предикатов.
Свободные и связанные индивидные
переменные. Экзистенциальная и универсальная квантификация.
30. Семантика первопорядковой логики предикатов.
Классы,
множества, кортежи.
Свойства и отношения. Понятие функции. Виды функций. Понятие модели.
31. Выполнимые и общезначимые формулы классической логики предикатов.
32. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства,
теоремы, вывода и отношения выводимости.
33. Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и
неполнота, неразрешимость классического исчисления предикатов первого порядка.
34. Понятие как специфицированная переменная.
35. Принципы погружения традиционной силлогистики в логику предикатов первого
порядка.
20
36. Расширения стандартной первопорядковой логики предикатов.
Языки высших
порядков и онтологический критерий Куайна.
37. Принципы классической логики и основания их пересмотра в неклассической логике.
Основные разделы неклассической логики.
38. Эпистемическая логика.
Парадокс «логического всеведения».
Методы кросс-
идентификации и проблема онтологического статуса «возможных объектов».
39. Знание и мнение. Проблема Гетье: является ли обоснованное истинное мнение
знанием? «Парадокс познаваемости».
40. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В
- ряд. Виды временных модальностей.
41. Логический статус высказываний о будущих случайных событиях и фатализм.
Выражение алетических модальностей через временные.
42. Интуиционистская логика. Понятия конструктивного объекта и конструктивного
доказательства.
Трактовка
истины
и
моделирование
роста
знания
в
интуиционистской логике.
43. Релевантная
логика.
Парадоксы
материальной
импликации.
Проблема
информативности логических законов.
44. Многозначные логики.
Проблема содержательной интерпретации истинностных
значений в многозначной логике.
45. Структура доказательства и опровержения, их правила.
46. Спор и полемика. Виды спора. Логические и психологические уловки, применяемые в
споре.
Автор программы
доктор философских наук,
профессор кафедры онтологии, логики
и теории познания философского факультета
ГУ – ВШЭ
Е.Г. Драгалина – Черная