Geum.ru

Планы семинарских занятий Логика (1,2,3,4 модули) для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г

Вид материалаПланы семинарских занятий

Содержание


Самостоятельная работа
Раздел I. Предмет логики
Раздел II. Логическая семиотика
Раздел III. Элементы традиционной логики
Традиционная теория понятия
Раздел IV. Символическая логика
Раздел V. Логические основы теории аргументации
Формы рубежного контроля и структура итоговой оценки
Тематика докладов и рефератов
Семинар 4. Традиционная теория понятия – 1. Общая характеристика и виды понятий.
Семинар 5. Традиционная теория понятия – 2. Отношения между понятиями.
Тематика докладов и рефератов
Семинар 7. Силлогистика – 1. Непосредственные силлогистические рассуждения.
Семинар 8. Силлогистика- 2. Простой категорический силлогизм.
Тематика докладов и рефератов
Семинар 13. Классическая логика предикатов - 1. Язык первопорядковой логики предикатов.
Семинар 14. Классическая логика предикатов - 2. Семантика первопорядковой логики предикатов.
Семинар 15. Классическая логика предикатов - 3. Исчисления предикатов.
Тематика докладов и рефератов
Тематика докладов и рефератов
...
Полное содержание
Подобный материал:

Министерство экономического

развития и торговли Российской Федерации
Министерство образования

Российской Федерации



Государственный университет – Высшая школа экономики

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




Планы семинарских занятий




Логика

(1,2,3,4 модули)





для направления 030100.62 - Философия

подготовки бакалавра


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




edragalina@hse.ru


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



№
Название

Темы
Всего

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

Лекции
Сем. и практ.

занятия




Раздел I. Предмет логики
16
4
4
8




Раздел II. Логическая семиотика
16
4
2
10



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

3.1.

Традиционная теория понятия
24
6
6
12

3.2.

Силлогистика
22
6
4
12



Раздел IV. Символическая логика
120
30
20
70

4.1.
Классическая логика высказываний
50
12
8
30

4.2.
Классическая логика предикатов
46
10
6
30

4.3.
Неклассическая логика
34
8
6
20




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






















Итого:
216
54
40
122


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

Итоговая оценка по учебной дисциплине складывается из следующих элементов:
  • Работа на практических занятиях (доклады, обсуждения, решение задач) – 20% от итоговой оценки
  • 4 письменные аудиторные контрольные работы (240 мин.) – 40% от итоговой оценки
  • Устный экзамен и зачет (по 120 минут) – 40% от итоговой оценки



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


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


Планы семинарских занятий


Семинар 1. Предмет логики – 1. Логическая форма и логическое следование.

  1. Правильное рассуждение как предмет логики. Отношение логического следования. Истинность мысли и формальная правильность рассуждения.
  2. Основные этапы развития логики. Логика традиционная и теоретическая.
  3. Место логики в системе когнитивных наук. Психологизм в логике и логицизм в психологии. Нормативный характер логики.


Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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

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

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

Величковский Б.М. Когнитивная наука. Основы психологии познания. М.: Смысл, 2006

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


Семинар 2. Предмет логики – 2. Законы логики, парадоксы, софизмы.

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


Литература

Основная

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

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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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

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

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

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

Хофштадтер Д. Гёдель, Эшер, Бах: эта бесконечная гирлянда. М.: Бахрах -М, 2001

Драгалина-Черная Е.Г. Смеяться или плакать? Парадокс как несмешная шутка // Логический анализ языка. Языковые механизмы комизма. М.: Индрик, 2007

Тематика докладов и рефератов


  1. Логика в системе культуры. Логика традиционная и теоретическая.
  2. Психологизм в логике и логицизм в психологии.
  3. Когнитивные предпосылки возникновения теории рассуждений. Пралогическое мышление.
  4. Парадокс, нонсенс, абсурд.
  5. Парадокс и докса.
  6. Античные софизмы и парадоксы.
  7. Апории Зенона: логический анализ.


Семинар 3. Логическая семиотика

  1. Язык как информационная знаковая система. Этапы развития семиотики и её междисциплинарный статус.
  2. Знак и информация. Виды знаков.
  3. Понятие семиотической ситуации. Основные семиотические аспекты языка: синтаксис, семантика, прагматика.
  4. Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.

Литература

Основная

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


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

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

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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

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

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

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

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

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

Французская семиотика. От структурализма к постстуктурализму. М.: Прогресс, 2000

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

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

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

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006


Тематика докладов и рефератов

  1. Виды знаков и их функционирование в культуре. Образ, знак, символ
  2. Функции языка. Естественные и искусственные языки. Формализованные языки и формальные онтологии
  3. Национальные языки и национальные образы мира. Логико-философский анализ гипотезы лингвистической относительности



Семинар 4. Традиционная теория понятия – 1. Общая характеристика и виды понятий.




  1. Способы образования понятий. Содержание и объем понятия.
  2. Виды понятий. Понятия и комплексы.
  3. Обобщение и ограничение понятий.

Литература

Основная

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

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

Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Наука, 1989

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Асмус В.Ф. Логика М.: Эдиториал УРСС, 2001

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

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

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006


Семинар 5. Традиционная теория понятия – 2. Отношения между понятиями.




  1. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий.
  2. Булевы операции с объемами понятий.

Литература

Основная

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

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

Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Наука, 1989

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Асмус В.Ф. Логика М.: Эдиториал УРСС, 2001

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

Семинар 6. Традиционная теория понятия- 3. Операции деления и определения.

  1. Деление понятий. Классификация и категоризация.
  2. Определение и его типы: явные и неявные, реальные и номинальные определения.


Литература

Основная

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

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

Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ. М.: Наука, 1989

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Асмус В.Ф. Логика М.: Эдиториал УРСС, 2001

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

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


Тематика докладов и рефератов

  1. Традиционная теория понятия и ей альтернативы. Теория прототипов и принцип «семейного сходства». Фреймовые модели представления знания
  2. Понятия, концепты, комплексы. Логические и психолого-дидактические модели понятийной деятельности ребенка
  3. Классификация и категоризация. Естественные и искусственные классификации. Категориальные ошибки
  4. Теория определения и диэреза у Платона и Аристотеля
  5. Спор об универсалиях. Номинализм и реализм в средневековой и современной логике
  6. «Доказательства из определения» и онтологический аргумент

Семинар 7. Силлогистика – 1. Непосредственные силлогистические рассуждения.




  1. Суждение, вопрос, императив. Простые и сложные суждения.
  2. Простые категорические атрибутивные суждения и принципы их силлогистического анализа. Семантика традиционной силлогистики.
  3. Обращение и выводы по логическому квадрату.

Литература

Основная

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

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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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

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

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

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


Семинар 8. Силлогистика- 2. Простой категорический силлогизм.




  1. Простой категорический силлогизм: термины, фигуры, модусы.
  2. Проверка правильности силлогизма по общим правилам и круговым схемам.
  3. Сложные и сокращенные силлогизмы.



Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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

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

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

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

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006


Тематика докладов и рефератов
  1. Принципы построения иллокутивной логики. Провокационные вопросы и демагогические ответы.
  2. Вопрос и вопрошание в философии.
  3. Логическое учение Аристотеля. Силлогистика Аристотеля и современная логика
  4. Методологические трудности традиционной силлогистики. Силлогистические теории в современной логике


Семинар 9. Классическая логика высказываний – 1. Язык классической логики высказываний.


  1. Формализация и символизация. Принципы построения формализованных логических языков.
  2. Язык классической логики высказываний: алфавит и понятие правильно построенной формулы.
  3. Выражение необходимого и достаточного условия на языке классической логики высказываний. Конверсия и контрапозиция.


Литература

Основная

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

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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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

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

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

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


Семинар 10. Классическая логика высказываний – 2. Табличное построение классической логики высказываний.

  1. Табличная интерпретация пропозициональных связок.
  2. Выполнимые и тождественно-ложные формулы. Законы классической логики высказываний.
  3. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам.
  4. Сокращенные таблицы истинности.


Литература

Основная

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

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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

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

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

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


Семинар 11. Классическая логика высказываний – 3. Натуральное исчисление высказываний.

  1. Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию.
  2. Натуральное исчисление высказываний: правила введения и удаления пропозициональных связок, понятия вывода и доказательства. Теорема дедукции.
  3. Эвристические приемы поиска вывода в натуральном исчислении высказываний.



Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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


Семинар 12. Классическая логика высказываний – 4. Аксиоматическое исчисление высказываний.

  1. Аксиоматические формальные теории. Виды аксиоматик.
  2. Аксиоматический подход к построению исчисления высказываний.
  3. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота.

Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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


Тематика докладов и рефератов

  1. Логические теории и логические исчисления. Синтаксический и семантический подходы к логическому следованию
  2. Пропозициональные связки классической логики высказываний и их выражение в естественном языке. Взаимная выразимость функций истинности. Функционально полные системы пропозициональных связок
  3. Семантические (аналитические) таблицы для классической логики высказываний. Принципы формализации семантических таблиц в исчислении секвенций. Теорема об устранении сечения
  4. Дилеммы и рассуждения по случаям
  5. Культурно-возрастная детерминация навыков дедуктивных рассуждений. Когнитивный эгоцентризм и рассуждения от противного.
  6. Формализация, символизация, аксиоматизация. Философские основания аксиоматического метода.
  7. Независимость аксиом и «воображаемые аксиоматики» формальных теорий.
  8. Метатеоретические свойства классического исчисления высказываний.

Семинар 13. Классическая логика предикатов - 1. Язык первопорядковой логики предикатов.




  1. Функциональные и предикатные константы. Свойства и отношения.
  2. Экзистенциальная и универсальная квантификация. Свободные и связанные индивидные переменные.
  3. Термы и формулы первопорядковой логики предикатов.


Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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

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


Семинар 14. Классическая логика предикатов - 2. Семантика первопорядковой логики предикатов.




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

Литература

Основная

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


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

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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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

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

Семинар 15. Классическая логика предикатов - 3. Исчисления предикатов.




  1. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.
  2. Металогические свойства исчисления предикатов первого порядка.
  3. Первопорядковая логика предикатов и традиционная логика. Понятие как специфицированная переменная. Принципы погружения традиционной силлогистики в логику предикатов первого порядка.
  4. Расширения первопорядкового исчисления предикатов. Языки высших порядков. Квантификация и онтологические допущения языка: критерий Куайна.


Литература

Основная

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


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

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

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

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

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

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

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

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

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

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

Драгалина-Черная Е.Г. Онтология обобщенной квантификации // Труды научно-исследовательского семинара логического центра Института философии РАН. Выпуск XVII, М.: ИФ РАН, 2004, с. 53-61


Тематика докладов и рефератов

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


Семинар 16. Неклассическая логика – 1. Семантика возможных миров для модальной логики. Эпистемическая логика.
  1. Принципы построения модальных (интенсиональных) логических систем. Интенсиональные и экстенсиональные контексты.
  2. Виды модальностей. Модальности de re и de dicto.
  3. Эпистемическая логика. Парадокс «логического всеведения». Методы кросс-идентификации и проблема онтологического статуса «возможных объектов».
  4. Знание и мнение. Проблема Гетье: является ли обоснованное истинное мнение знанием? «Парадокс познаваемости».

Литература

Основная

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

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

Карнап Р. Значение и необходимость. Исследование по семантике и модальной логике. М.: УРСС, 2007

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

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

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

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

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

Скотт Д. Советы по модальной логике // Семантика модальных и интенсиональных логик. М.: Прогресс, 1981

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

Шрамко Я.В. Аналитическая эпистемология // Аналитическая философия, М.: РУДН, 2006

Драгалина-Черная Е.Г. Есть ли жизнь в возможных мирах? Семантика веры и неверия // Логический анализ языка. Между ложью и фантазией. М.: Индрик, 2008, с. 46-54


Семинар 17. Неклассическая логика – 2. Временная логика.
  1. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд.
  2. Виды временных модальностей.
  3. Логический статус высказываний о будущих случайных событиях и фатализм. Выражение алетических модальностей через временные.

Литература

Основная

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

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


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

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

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

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

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

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


Семинар 18. Неклассическая логика – 3. Проблема истины в многозначной, интуиционистской и релевантной логиках.
  1. Многозначные логики. Проблема содержательной интерпретации истинностных значений в многозначной логике.
  2. Интуиционистская логика. Понятия конструктивного объекта и конструктивного доказательства. Трактовка истины и моделирование роста знания в интуиционистской логике.
  3. Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов.


Литература

Основная

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


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

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

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

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

Войшвилло Е.К. Символическая логика (классическая и релевантная): философско-методологические проблемы. М.: Высшая школа, 1989

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

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

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

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

Тематика докладов и рефератов

  1. Принципы классической логики и философские основания их пересмотра в неклассической логике
  2. Модальная логика. Философские основания семантики "возможных миров"
  3. Принципы и антиномии отношения именования. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты
  4. Парадокс «логического всеведения» и пути его разрешения
  5. Фатализм и его логический анализ
  6. Парадоксы материальной импликации и проблема информативности логических законов. Понятие обобщенных описаний состояний
  7. Идейные предпосылки возникновения интуиционистской логики. Критика Брауэром «чистых теорем существования» и программа Гильберта обоснования математики
  8. Интуиционистское исчисление высказываний. Модели Крипке для интуиционистской логики. Связь интуиционистской и модальной логик
  9. Многозначные логики. Проблема содержательной интерпретации истинностных значений в многозначной логике
  10. Моделирование неполного, противоречивого, модифицирующегося знания в паранепротиворечивых, динамических и немонотонных логических системах
  11. Многообразие логических систем и проблема единства логического знания



Семинар 19. Логические основы теории аргументации – 1. Аргументация, доказательство, убеждение.

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

Литература

Основная

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


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

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

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

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

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

Крючкова С.Е. Основы теории аргументации: Курс лекций. М.: Изд-во МГТУ «Станкин», 2004

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

Т.А. ван Дейк. Язык, познание, коммуникация. М.: Прогресс, 1989

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006


Семинар 20. Логические основы теории аргументации – 2. Логические принципы полемики.
  1. Спор и полемика. Виды спора.
  2. Логические и психологические уловки, применяемые в споре.
  3. Аргументативные стратегии и тактики.


Литература

Основная

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


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

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

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

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

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

Крючкова С.Е. Основы теории аргументации: Курс лекций. М.: Изд-во МГТУ «Станкин», 2004

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

Т.А. ван Дейк. Язык, познание, коммуникация. М.: Прогресс, 1989

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

Т.А. ван Дейк. Язык, познание, коммуникация. М., 1989

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

Противоречие и дискурс. М.: Институт философии РАН, 2005

Шейгал Е. Семиотика политического дискурса. М.: Гнозис, 2004

Драгалина-Черная Е.Г. Логика с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006


Тематика докладов и рефератов

  1. Аргументативные речевые акты. Логическая доказательность и риторическая убедительность.
  2. Принципы «критического мышления». «Критическое мышление» и «неформальная логика».
  3. Философский текст и аргументация в философии.
  4. Аргументативные техники правовой, политической, PR и бизнес – коммуникации.



Доктор философских наук,

профессор кафедры онтологии, логики

и теории познания философского факультета

ГУ – ВШЭ Е.Г. Драгалина – Черная