Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г



Скачать 209.13 Kb.
Дата07.11.2012
Размер209.13 Kb.
ТипПрограмма дисциплины


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

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

Министерство образования

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




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

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




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




Логика



для направления 030100.62 «Философия»
(подготовки бакалавра)

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


Рекомендовано секции УМС


________________________

Председатель

________________________

« » 200 г

Утверждено УС факультета

________________________________

Ученый секретарь

________________________________

«_____» _________________200_г

Одобрено на заседании кафедры


онтологии, логики и теории познания

зав. кафедрой Порус В.Н.

« » 200 г


Москва

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





Название

Темы

Всего

часов

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

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

Лекции

Сем. и практ.

занятия




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

18

6

4

8




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


20

6

4

10



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


44

12

8

24

3.1.

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


22

6

4

12

3.2.

Силлогистика


22

6

4

12



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


134

38

24

72

4.1.

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

44

12

8

24

4.2.

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

44

12

8

24

4.3.

Неклассическая логика

46

13

8

24





































Итого:

216

61

40

115


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

Итоговая оценка по учебной дисциплине складывается из следующих элементов:

  • Работа на практических занятиях (доклады, обсуждения, решение задач)

  • 4 письменные аудиторные контрольные работы (240 мин.)

  • Устный экзамен и зачет (по 120 минут)


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

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

Логика в системе культуры. Когнитивные предпосылки возникновения теории рассуждений. Аристотель – «отец логики». Основные этапы развития логики. Логика традиционная и теоретическая. Формирование и современное состояние символической логики.

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

Логика и металогика. Логика как философская наука. Значение логики.
Литература

Основная

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

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

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

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

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

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

Выготский Л.С. Мысль и язык. М.: Лабиринт, 1999

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

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

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

Рассел Б. Искусство мыслить. М.: Идея - Пресс, 1999

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

Пиаже Ж. Речь и мышление ребенка. М.: Педагогика-Пресс, 1996

Грифцова И.Н. Логика как теоретическая и практическая дисциплина. М.: Эдиториал УРСС, 1998

Леви-Стросс К. Первобытное мышление. М., 1999

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

Г.В.Сорина. Логико-культурная доминанта. Очерки теории и истории психологизма и антипсихологизма в культуре. М.: Прометей, 1993


Раздел II. Логическая семиотика
Язык как информационная знаковая система. Теоретические предпосылки возникновения общей теории знаковых систем. Семиология де Соссюра и семиотика Пирса - Морриса. Этапы развития семиотики и её междисциплинарный статус.

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

Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.

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

Смысл и значение знака. Денотация и коннотация. Референциальная непрозрачность. Интенсиональные и экстенсиональные контексты. Проблема значения общих имен: номинализм и платонизм.

Язык и онтология. Гипотеза лингвистической относительности Сепира - Уорфа и принцип онтологической относительности Куайна.

Литература

Основная

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

Смирнова Е.Д. Логика и философия. М.: РОССПЭН, 1996, с. 18 - 32
Дополнительная

Драгалина-Черная Е.Г. Формальные онтологии. М.: Изд-во Альфа, 2000

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

Куайн У. Слово и объект. М., 2000

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

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

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

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

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

Смирнова Е.Д. Основы логической семантики. М., 1990

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

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

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

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


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




Тема 1. Традиционная теория понятия


Имя, смысл, понятие. Способы образования и виды понятий. Понятия, псевдопонятия и комплексы. Содержание и объем понятия. Закон обратного отношения между объемами и содержаниями понятий. Обобщение и ограничение понятий. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий. Булевы операции с объемами понятий.

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

Определение и его типы. Определение и диэреза у Платона и Аристотеля. Номинальные и реальные, явные и неявные определения. Индуктивные определения. Методологические требования к определениям. Приемы, сходные с определением.

Идея и понятие. Эссенциализм традиционной теории понятия и её альтернативы. Теория прототипов и принцип «семейного сходства». Понятийные и фреймовые модели представления знания.

Литература

Основная

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

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

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

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

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

Гофман И. Анализ фреймов: эссе об организации повседневного опыта. М.: Институт фонда «Общественное мнение», 2002

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

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

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

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

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

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



Суждения, вопросы, императивы. Простые и сложные суждения.

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

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

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

Методологические трудности традиционной силлогистики: проблема единичных, универсальных и пустых терминов.

Литература

Основная

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

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

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

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

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

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

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

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

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

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

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

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


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

Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию. Логические и прикладные формальные теории. Формальные аксиоматики. Независимость аксиом и «воображаемые аксиоматики» формальных теорий.

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

Взаимная выразимость функций истинности. Функционально полные системы пропозициональных связок.

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

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

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

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

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

Альтернативные интерпретации классической логики высказываний: алгебраические семантики и контактно-релейные схемы.

Литература

Основная

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

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

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

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

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

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

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

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


Тема 2. Классическая логика предикатов



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

Семантика первопорядковой логики предикатов. Классы, множества, кортежи. Свойства и отношения. Отношения эквивалентности и порядка. Классы эквивалентности. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации). Выполнимые и общезначимые формулы.

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

Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.

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

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

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

Основная

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005, с. 88 – 142, 160 - 171
Дополнительная

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

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

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

Драгалина-Черная Е.Г. Формальные онтологии как абстрактные логики // Логические исследования. Выпуск 12. М.: Наука, 2005, 162 - 169
Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001

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

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

Тема 3. Неклассическая логика

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

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

Модальная логика. Виды модальностей. Философские основания семантики "возможных миров". Свойства отношения достижимости и системы алетической модальной логики.

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

Логика пропозициональных установок. Логический анализ высказываний о вере и знании. Парадокс «логического всеведения» и пути его разрешения.

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

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

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

Основная

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

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

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

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

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

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

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

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

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

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

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

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

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


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



  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. Многообразие логических систем и проблема единства логического знания



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



  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. Принципы построения паранепротиворечивых, динамических и немонотонных логических систем.

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

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

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

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

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



Похожие:

Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Теория аргументации для направления 030100. 62 "Философия" подготовки бакалавра Автор д ф. н., проф. Крючкова С. Е
Председатель Е. Г. Драгалина-Черная Зав кафедрой Порус В. Н
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Логика для направления 031400. 62 Культурология подготовки бакалавра Автор Драгалина Черная Е. Г

Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Логическая семантика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г
Проблема смысла и значения в логике, философии и семиотике конца 19 века первой половины 20 века
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины логика для направления 030100. 62 Философия подготовки бакалавра Авторы Драгалина-Черная Е. Г
Курс логики на отделении философского факультета ниу вшэ читается в течение 6-ти модулей (3-х модулей на первом курсе бакалавриата...
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПланы семинарских занятий Логическая семиотика для направления 030100. 62 Философия подготовки бакалавра Автор Драгалина Черная Е. Г
Проблема знака и его значения в логике, философии и семиотике конца 19 века первой половины 20 века
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины логика для направления 030100. 62 Философия подготовки бакалавра Автор м акеева Л. Б
Использование различных интерпретаций вероятности для построения вероятностной логики
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПланы семинарских занятий Логика для направления 031400. 62 Культурология подготовки бакалавра Автор Драгалина Черная Е. Г

Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Логика для направления 031400. 62 Культурология подготовки бакалавра Автор Драгалина Черная Е. Г
Охватывает два модуля. Проведение семинарских занятий по логике связано с обучением практическим навыкам корректных логических операций...
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Философия конкретных дисциплин для направления 030100. 62 Философия подготовки бакалавра Автор Парамонов А. А
В этом автор следует наставлениям Эрнста Маха, который считал, что лучшим методом усвоения научных знаний, является изучение того,...
Программа дисциплины Логика для направления 030100. 62 «Философия» (подготовки бакалавра) Автор Драгалина Черная Е. Г iconПрограмма дисциплины Эстетика для направления 030100. 62 «Философия» подготовки бакалавра Автор Вострова Галина Александровна
Цель курса: сформировать у студентов основы ориентирующих знаний об истории и теории эстетики
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org