Курс к. ф.н.
Логика
Структура дисциплины (тематический план)
№ п/п | Раздел Дисциплины | Семестр | Неделя семестра | Виды учебной работы, включая самостоятельную работу студентов и трудоемкость (в часах) | Формы текущего контроля успеваемости (по неделям семестра) Форма промежуточной аттестации (по семестрам) | |||
лекции | прак- тичес-кие заня-тия | семи- нары | само-стоятель-ная работа | |||||
1 | Предмет логики | 1 | 1 | 2 | 4 | 2 | оценка подготовки к семинару | |
2 | Логический анализ языка | 1 | 2 3 | 4 | 2 | 4 | оценка подготовки к семинару | |
3 | Теория понятия (элементы традиционной логики) | 1 | 4 | 4 | 6 | 4 | оценка подготовки к семинару | |
4 | Силлогистика (элементы традиционной логики) | 1 | 7 | 4 | 6 | 4 | оценка подготовки к семинару | |
5 | Текущая аттестация | 1 | 11 | 2 | 9 | |||
6 | Виды правдоподобных рассуждений | 1 | 12_ | 4 | 6 | 4 | оценка подготовки к семинару | |
7 | Промежуточная Аттестация | 1 | 16 | 36 | экзамен | |||
8 | Классическая логика высказываний | 2 | 1 | 6 | 10 | 6 | оценка подготовки к семинару | |
9 | Классическая логика предикатов | 2 | 6 | 6 | 8 | 8 | оценка подготовки к семинару, | |
10 | Текущая аттестация | 2 | 11 | 2 | 9 | контрольная работа | ||
11 | Неклассическая логика | 2 | 12 | 6 | 6 | 6 | оценка подготовки к семинару | |
12 | Промежуточная Аттестация | 2 | 16 | 36 | экзамен | |||
Итого | 36 | 52 | 128 | 216 |
Содержание дисциплины
Тема 1. Предмет логики
Правильное рассуждение как предмет логики. Отношение логического следования. Истинность мысли и формальная правильность рассуждения. Понятия логической формы и логического закона. Парадоксы и софизмы. Возникновение и основные этапы развития логики. Логика традиционная и символическая. Место логики в системе когнитивных наук. Психологизм в логике. Нормативный характер логики. Логика как философская наука. Значение логики.
Тема 2. Логический анализ языка
Язык как знаковая система. Знак и информация. Семиотика как наука о знаках. Основные семиотические аспекты языка: синтаксис, семантика, прагматика. Виды знаков. Иконические знаки, индексы и символы.
Смысл и значение знака. Интенсиональные и экстенсиональные контексты. Проблема значения общих имен: номинализм и платонизм.
Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.
Логические и дескриптивные термины. Принципы построения формализованных логических языков.
Тема 3. Понятие (элементы традиционной логики)
Имя, смысл, понятие. Способы образования и виды понятий. Содержание и объем понятия. Закон обратного отношения между объемами и содержаниями понятий. Обобщение и ограничение понятий. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий. Булевы операции с объемами понятий.
Деление понятий. Структура и виды деления. Дихотомическое деление и деление по видоизменению признака. Ошибки в делении. Классификация, виды классификации.
Определение и его типы. Номинальные и реальные, явные и неявные определения. Методологические требования к определениям. Приемы, сходные с определением.
Тема 4. Силлогистика (элементы традиционной логики)
Суждение и вопрос. Пресуппозиция вопроса и условия его логической корректности. Простые и сложные суждения.
Простые категорические суждения, логический анализ категорических суждений. Проблема универсальных, единичных и пустых терминов.
Непосредственные силлогистические рассуждения: по логическому квадрату, обращение, превращение, противопоставление субъекту и предикату.
Простой категорический силлогизм: термины, фигуры, модусы. Общие правила силлогизма и свойства правильных модусов различных фигур. Проверка правильности силлогизма по общим правилам и круговым схемам. Сложные и сокращенные силлогизмы.
Тема 5. Виды правдоподобных рассуждений
Дедуктивные и индуктивные (недедуктивные, правдоподобные) рассуждения. Понятие недедуктивного рассуждения. Основные характеристики правильного дедуктивного и правдоподобного рассуждения.
Обобщающая индукция: полная и неполная; популярная и научная; статистическая и нестатистическая. Опасность «поспешного обобщения». Научная индукция и способы повышения надежности индуктивных выводов. Исключающая индукция как способ установления причинных зависимостей. Причина и следствие (действие). Экспликация понятия причины в терминах необходимых и достаточных условий. Методы установления причинных связей. Обратная индукция. Абдукция как вывод к наилучшему объяснению. Рассуждения по аналогии: структура, виды, функции.
Использование понятия вероятности в недедуктивных рассуждениях. Возможные способы задания вероятности. Априорная, апостериорная вероятность, условная вероятность.
Индукция как вывод и индукция как метод. Индукция как метод научного познания. Индукция как метод открытия и обоснования в классическом индуктивизме. Индукция как метод подтверждения (или обоснования) в гипотетико-дедуктивной модели научного познания. Синтез познавательных процедур.
Тема 6. Классическая логика высказываний
Понятия логической теории. Язык классической логики высказываний. Табличное построение классической логики высказываний. Законы классической логики высказываний. Отношение логического следования.
Взаимная выразимость истинностных функций. Функционально полные системы пропозициональных связок. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам. Основные формы правильных рассуждений. Непрямые способы аргументации.
Понятие логического исчисления. Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Эвристические приемы поиска вывода в натуральном исчислении высказываний. Понятия вывода, отношения выводимости, доказательства и теоремы в натуральном исчислении высказываний.
Аксиоматические формальные теории. Виды аксиоматик. Аксиоматический подход к построению исчисления высказываний. Исчисления с конечным числом аксиом. Исчисления со схемами аксиом. Теорема дедукции. Понятия вывода, отношения выводимости, доказательства и теоремы в аксиоматическом исчислении высказываний.
Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость.
Тема 7. Классическая логика предикатов
Язык первопорядковой логики предикатов. Свободные и связанные индивидные переменные. Экзистенциальная и универсальная квантификация.
Семантика первопорядковой логики предикатов. Свойства и отношения. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации). Выполнимые и общезначимые формулы. Основные эквивалентности.
Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.
Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.
Представление о возможных расширениях стандартной первопорядковой логики предикатов (логика предикатов с равенством, многосортное исчисление предикатов, исчисление предикатов второго порядка).
Логика предикатов первого порядка и традиционная логика. Принципы погружения традиционной силлогистики в логику предикатов первого порядка.
Тема 8. Неклассическая логика
Принципы классической логики и философские основания их пересмотра в неклассической логике. Основные разделы неклассической логики.
Многозначные логики. Трехзначная логика Я. Лукасевича и проблема высказываний о будущих случайных событиях. Содержательная интерпретация истинностных значений в многозначной логике. Общие принципы построения многозначных логик. Конечнозначные и бесконечнозначные логики.
Модальная логика. Виды модальностей. Философские основания семантики «возможных миров». Свойство отношения достижимости алетической модальной логики. Нормальные системы логики алетических модальностей. Временная логика. Трактовки временного ряда. Виды временных модальностей. Определение алетических модальностей через временные. Эпистемическая логика. Парадоксы «логического всезнания» и познаваемости мира, пути их разрешения.
Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов. Понятия релевантного следования и обобщенных описаний состояний.
Примерный перечень контрольных вопросов к курсу
«Логика»
1. Предмет логики. Понятия логической формы и логического следования.
2. Основные этапы развития логики. Логика традиционная и символическая.
3. Понятие логического закона. Основные законы традиционной логики: последовательности, непротиворечивости, определенности, достаточного основания.
4. Паралогизмы, софизмы и парадоксы.
5. Язык как информационная знаковая система. Понятие знака. Смысл и значение знака. Основные семиотические аспекты языка: синтаксис, семантика, прагматика.
6. Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.
7. Принципы построения формализованных логических языков. Интенсиональные и экстенсиональные контексты.
8. Логические и дескриптивные термины.
9. Понятие как форма мысли. Выражение понятий в языке.
10. Объем и содержание понятия. Закон обратного отношения между содержанием и объемом понятия. Обобщение и ограничение понятий.
11. Виды понятий.
12. Отношения между понятиями по объему. Типы совместимости и несовместимости понятий.
13. Булевы операции над объемами понятий.
14. Деление понятий. Виды и правила деления. Классификация.
15. Определение. Номинальные и реальные определения. Структура и виды явных и неявных определений. Правила и возможные ошибки в определениях.
16. Суждение и вопрос. Пресуппозиция вопроса и условия его логической корректности.
17. Традиционная силлогистика: язык, способ анализа и условия истинности простых категорических суждений. Отношения между простыми категорическими суждениями.
18. Непосредственные силлогистические рассуждения: выводы по логическому квадрату, обращение, превращение, противопоставление субъекту и предикату.
19. Простой категорический силлогизм: состав, фигуры и модусы. Общие правила силлогизма. Проверка силлогизмов с использованием круговых диаграмм.
20. Сокращенный силлогизм (энтимема). Сложные и сложносокращенные силлогизмы. Условия их логической корректности.
21. Сопоставление дедуктивных и недедуктивных рассуждений. Виды недедуктивных (правдоподобных) рассуждений и их роль в научном познании.
22. Понятие вероятности (априорная и апостериорная вероятности, условная вероятность).
23. Обобщающая индукция: полная и неполная; популярная и научная; статистическая и нестатистическая.
24. Понятие причины, виды причин и основные принципы причинности. Экспликация понятия причины в терминах необходимых и достаточных условий.
25. Исключающая индукция. Методы установления причинных связей.
26. Рассуждение по аналогии (структура, виды, функции). Абдуктивные рассуждения.
27. Индукция как научный метод. Индуктивизм и гипотетико-дедуктивная модель научного познания.
28. Понятия логической теории и логического исчисления. Основные принципы построения теории и исчисления. Логическое следование и выводимость.
29. Язык классической логики высказываний. Табличное построение классической логики высказываний.
30. Законы классической логики высказываний. Основные виды правильных рассуждений. Непрямые способы аргументации.
31. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам.
32. Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Эвристические приемы поиска вывода в натуральном исчислении высказываний.
33. Аксиоматический подход к построению исчисления высказываний. Теорема дедукции.
34. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость.
35. Язык первопорядковой логики предикатов. Свободные и связанные индивидные переменные.
36. Семантика языка логики предикатов первого порядка. Область интерпретации (универсум), интерпретирующая функция (функция приписывания значений постоянным дескриптивным символам) и функция приписывания значений индивидным переменным. Правила приписывания значений термам и формулам. Понятие модели.
37. Выполнимые и общезначимые формулы классической логики предикатов. Отношение логического следования в логике предикатов.
38. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.
39. Семантическая непротиворечивость и полнота, синтаксическая непротиворечивость и неполнота, неразрешимость классического исчисления предикатов первого порядка.
40. Расширения стандартной первопорядковой логики предикатов.
41. Принципы классической логики и основания их пересмотра в неклассической логике. Основные разделы неклассической логики.
42. Многозначные логики. Принципы построения многозначных логик. Содержательная интерпретация истинностных значений в многозначной логике.
43. Модальная логика. Виды модальностей. Нормальные системы логики алетических модальностей.
44. Трактовки временного ряда. Динамическая и статическая модели времени: А - ряд и В - ряд. Виды временных модальностей. Выражение алетических модальностей через временные.
45. Эпистемическая логики. Парадокс «логического всезнания» и парадокс познаваемости мира, пути их разрешения.
46. Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов.
Учебно-методическое обеспечение дисциплины
Основная
, Маркин в логику. М.: ИД - Форум, 2008
Дополнительная
Научная
Бочаров и традиционная логика. М.: Изд-во МГУ, 1984
Войшвилло как форма мышления: логико-гносеологический анализ. М., 1989
Войшвилло логика (классическая и релевантная): философско-методологические проблемы. М.: Высшая школа, 1989
Выготский и язык. М.: Лабиринт, 1999
Грифцова как теоретическая и практическая дисциплина. М.: Эдиториал УРСС, 1998
Значение и необходимость. Исследование по семантике и модальной логике. М.: УРСС, 2007
Карпенко и случайность будущего. Логический анализ. М.: ЛКИ/URSS, 2007
Эффект софистики. М, СПб, 2000
Элементы теории познания, формальной логики и методологии науки. Изд. Проект «Тривиум», 2000
Кронгауз . М.: Изд-во РГГУ, 2001
Слово и объект. М., 2000
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004
Маковельский логики. Жуковский – Москва: Кучково поле, 2004
Маркин теории в современной логике. М.: Изд-во МГУ, 1986
Дедуктивная и индуктивная логика. С.-П., 1995
Речь и мышление ребенка. М.: Педагогика-Пресс, 1996
Математика и правдоподобные рассуждения. М., 1975
Противоположности и парадоксы. М.: Канон+, 2008
Сидоренко . Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002
Смирнова и философия. М.: РОССПЭН, 1996
Смирнова логической семантики. М., 1990
Субботин . М.: Изд-во ИФ РАН,, 2001
Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000
Логико-эпистемологические исследования. М.: Прогресс, 1980
Эволюционная эпистемология и логика социальных наук: Карл Поппер и его критики/ Составители , , . - М.: Эдиториал УРСС, 2000
Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Дополнительная
Учебная
Анисов логика. М.: Изд-во ИФ РАН, 2002
Асмус М.: Эдиториал УРСС, 2001
, Маркин логики. М.: ИНФРА-М., 2005
Брюшинкин . М.: Гардарики, 2001
, Дегтярев . М.: Владос - Пресс, 2001
Гладкий в современную логику. М.: МЦНМО, 2001
Драгалина-Черная с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006
Ивлев . М.: Проспект, 2004
Логика: учебник/ , , [и др.]; под ред. , , . - М.: Проспект, 2010
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005
Адреса ресурсов Интернет
Национальная философская энциклопедия: http://terme. ru/
Библиотека сайта http://www. philosophy. ru
Электронная библиотека по философии: http://filosof. historic. ru
Интернет-версия издания: Новая философская энциклопедия: в 4 т.( на сайте ин-та философии РАН): http://iph. ras. ru/enc. htm
Русский гуманитарный Интернет-университет: http://www. i-u. ru/biblio/
ПЛАНЫ СЕМИНАРСКИХ ЗАНЯТИЙ
Тема 1. Предмет логики (4 часа)
1. Правильное рассуждение как предмет логики. Отношение логического следования.
2. Истинность мысли и формальная правильность рассуждения.
3. Понятие логического закона. Основные законы традиционной логики.
4. Парадоксы и софизмы.
5. Основные этапы развития логики.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 13 – 39
Дополнительная
Научная
Маковельский логики. Жуковский – Москва: Кучково поле, 2004
Противоположности и парадоксы. М.: Канон+, 2008
Учебная
, Маркин логики. М.: ИНФРА-М., 2005, с. 7 — 34
, Дегтярев . М.: Владос - Пресс, 2001, 9 - 42
Брюшинкин . М.: Гардарики, 2001, 8 — 31
Гладкий в современную логику. М.: МЦНМО, 2001, 5 — 14
Логика: учебник/ , , [и др.]; под ред. , , . - М.: Проспект, 2010, с. 9 — 54
Тема 2. Логический анализ языка (2 часа)
1. Язык как знаковая система. Понятие знака. Виды знаков.
2. Семиотика как наука о знаках. Основные семиотические аспекты языка: синтаксис, семантика, прагматика.
3. Функции языка. Естественные и искусственные языки. Язык-объект и метаязык.
4. Логические и дескриптивные термины.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 40 - 64
Дополнительная
Научная
Кронгауз . М.: Изд-во РГГУ, 2001
Смирнова логической семантики. М.: Изд-во МГУ, 1990
Логика и логическая семантика. М.: Дом интеллектуальной книги, 2000
Отсутствующая структура: Введение в семиологию. СПб: Симпозиум, 2004
Учебная
, Дегтярев . М.: Владос - Пресс, 2001, с. 42 — 86
Драгалина-Черная с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006, с. 15 — 30
Тема 3. Понятие (элементы традиционной логики) (6 часов)
1. Общая характеристика понятий. Содержание и объем понятия.
2. Виды понятий.
3. Операции обобщения и ограничения понятий.
4. Отношения между понятиями по объему.
5. Булевы операции с объемами понятий.
6. Деление понятий. Построение и анализ классификаций.
7. Определение и его типы (реальные и номинальные определения, явные и неявные).
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 379 - 445
Дополнительная
Научная
Войшвилло как форма мышления: логико-гносеологический анализ. М.: Наука, 1989
Лакофф Дж. Женщины, огонь и опасные вещи. Что категории языка говорят нам о мышлении. М.: Языки славянских культур, 2004
Субботин . М.: Изд-во ИФ РАН,, 2001
Учебная
, Дегтярев . М.: Владос - Пресс, 2001, с. 180 - 278
Драгалина-Черная с элементами семиотики и теории аргументации. М.: Гуманитарный институт телевидения и радиовещания, 2006, с. 30 - 67
Логика: учебник/ , , [и др.]; под ред. , , . - М.: Проспект, 2010, с. 67 — 113
Тема 4. Силлогистика (элементы традиционной логики) (6 часов)
1. Суждение и вопрос. Простые и сложные суждения.
2. Анализ простых категорических суждений. Семантика традиционной силлогистики.
3. Непосредственные силлогизмы: выводы по логическому квадрату, обращение, превращение, противопоставление предикату и субъекту.
4. Анализ простого категорического силлогизма.
5. Проверка правильности силлогизма по общим правилам и круговым схемам.
6. Сложные и сокращенные силлогизмы.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 242 - 273
Дополнительная
Научная
Бочаров и традиционная логика. М.: Изд-во МГУ, 1984
Маркин теории в современной логике. М.: Изд-во МГУ, 1986
Учебная
, Маркин логики. М.: ИНФРА-М., 2005, с. 150 — 184
Брюшинкин . М.: Гардарики, 2001, с. 213 — 256
, Дегтярев . М.: Владос - Пресс, 2001, с. 349 — 386
Гладкий в современную логику. М.: МЦНМО, 2001, с. 122 — 140
Логика: учебник/ , , [и др.]; под ред. , , . - М.: Проспект, 2010, с. 148 — 191
Тема 5. Виды правдоподобных рассуждений (6 часов)
1. Дедуктивные и индуктивные (недедуктивные, правдоподобные) рассуждения.
2. Априорная и апостериорная вероятности, условная вероятность.
3. Обобщающая индукция: полная и неполная; популярная и научная; статистическая и нестатистическая.
4. Экспликация понятия причины в терминах необходимых и достаточных условий.
5. Исключающая индукция как способ установления причинных зависимостей. Методы установления причинных связей.
6. Рассуждения по аналогии и абдуктивные рассуждения. Синтез аналогии, абдукции и индукции в правдоподобных рассуждениях.
7. Индукция как вывод и индукция как метод.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 447 - 495
Дополнительная
Научная
Маковельский логики. Жуковский-Москва, 2004
Дедуктивная и индуктивная логика. С.-П., 1995
Математика и правдоподобные рассуждения. М., 1975
Эволюционная эпистемология и логика социальных наук: Карл Поппер и его критики/ Составители , , . - М.: Эдиториал УРСС, 2000
Учебная
, Маркин логики. М., 2005, с. 232 — 286
Гладкий в современную логику. М.: МЦНМО, 2001, с. 141 — 180
Ивлев . М., Проспект, 2004, с. 74 — 134
Тема 6. Классическая логика высказываний (10 часов)
1. Принципы построения формализованных логических языков.
2. Язык классической логики высказываний: алфавит и понятие правильно построенной формулы.
3. Законы классической логики высказываний. Выполнимые и тождественно-ложные формулы.
4. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам.
5. Непрямые способы аргументации.
6. Натуральное исчисление высказываний: правила введения и удаления пропозициональных связок, понятия вывода и доказательства.
7. Эвристические приемы поиска вывода в натуральном исчислении высказываний.
8. Аксиоматический подход к построению исчисления высказываний. Виды аксиоматик.
9. Метатеоретические свойства классического исчисления высказываний.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 85 - 158
Дополнительная
Учебная
Анисов логика. М.: Изд-во ИФ РАН, 2002, с. 50 — 99
, Маркин логики. М.: ИНФРА-М., 2005, с. 34 — 78, 126 — 140
, Дегтярев . М.: Владос - Пресс, 2001, с. 87 — 131
Гладкий в современную логику. М.: МЦНМО, 2001, с. 44 — 71
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, с. 111 — 172
Тема 7. Классическая логика предикатов (8 часов)
1. Функциональные и предикатные константы. Квантификация. Свободные и связанные индивидные переменные.
2. Термы и формулы первопорядковой логики предикатов.
3. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации).
4. Выполнимые и общезначимые формулы.
5. Аксиоматическое и натуральное исчисления предикатов: понятия доказательства, теоремы, вывода и отношения выводимости.
6. Метатеоретические свойства классического исчисления предикатов первого порядка.
7. Первопорядковая логика предикатов и традиционная логика. Принципы погружения традиционной силлогистики в логику предикатов первого порядка.
8. Расширения первопорядкового исчисления предикатов.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 159 - 240
Дополнительная
Научная
Маркин теории в современной логике. М.: Изд-во МГУ, 1986
Учебная
Анисов логика. М.: Изд-во ИФ РАН, 2002, с. 100 — 178
, Маркин логики. М.: ИНФРА-М., 2005, с. 78 — 125, 140 — 149
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000, с. 167 — 260
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, с. 173 — 267
Тема 8. Неклассическая логика (6 часов)
1. Многозначные логики. Содержательная интерпретация истинностных значений в многозначной логике.
2. Принципы построения модальных (интенсиональных) логических систем. Интенсиональные и экстенсиональные контексты.
3. Виды модальностей. Модальности de re и de dicto.
4. Эпистемическая логика. Парадокс «логического всезнания». Парадокс познаваемости мира.
5. Трактовки временного ряда. Виды временных модальностей.
6. Выражение алетических модальностей через временные.
7. Релевантная логика. Парадоксы материальной импликации. Проблема информативности логических законов.
Литература
Основная
, Маркин в логику. М.: ИД - Форум, 2008, с. 274 – 345, 357 - 377
Дополнительная
Научная
Войшвилло логика (классическая и релевантная): философско-методологические проблемы. М.: Высшая школа, 1989
Значение и необходимость. Исследование по семантике и модальной логике. М.: УРСС, 2007
Карпенко и случайность будущего. Логический анализ. М.: ЛКИ/URSS, 2007
Сидоренко . Парадоксы. Возможные миры. М.: Едиториал УРСС, 2002
Смирнова и философия. М.: РОССПЭН, 1996
Логико-эпистемологические исследования. М.: Прогресс, 1980
Научная
Непейвода логика. Новосибирск: Изд-во Новосибирского ун-та, 2000
Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005, 276 — 340
