- •Тема № 1 "Логика как наука о мышлении, ее предмет и задачи". План:
- •Мышление и язык. Естественные и искусственные языки.
- •История логики и формализация мышления. Язык исчисления предикатов.
- •История логики и формализация мышления. Язык исчисления предикатов
- •Упражнения:
- •Тема №2 "Логические формы мысли" План:
- •Основные формы абстрактного мышления
- •Упражнения:
- •Методы образования понятий: анализ, сравнение, синтез, абстрагирование, обобщение. Неологизмы и их роль в языке.
- •Упражнения:
- •Тема № 4 "Структура и виды понятий". План:
- •Упражнения:
- •Тема № 5 "Отношения между понятиями по объему и содержанию" План:
- •Упражнения:
- •Тема №6 "Обобщение и ограничение понятий" План:
- •Упражнения:
- •Тема № 7 "Явные определения понятий". План:
- •Структура и виды явных определений.
- •Правила и ошибки явных определений
- •Упражнения:
- •Описание как операция, сходная с определением.
- •Упражнения:
- •Тема №9 "Деление понятий". План:
- •Упражнения:
- •Тема №10 "Простые суждения" План:
- •Определение простого суждения и его структура. Суждение и понятие.
- •Классификация простых суждений по качеству и количеству.
- •1. Деление суждений по качеству
- •2. Деление суждений по количеству
- •Упражнения:
- •Тема №11 "Истинностные отношения простых суждений". План:
- •Распределенность терминов в простых суждениях.
- •Упражнения:
- •Тема №12 "Сложные суждения". План:
- •Образование сложных суждении.
- •Установление логического значения сложных суждений при помощи таблиц истинности.
- •Упражнения:
- •Тема № 13 "Логика вопросов и ответов". План:
- •Определение вопроса, его структура, виды и функции.
- •Корректные и некорректные вопросы. Софистический, провокационный, риторический вопросы.
- •Законы логики и логическая культура мысли.
- •Упражнения:
- •Тема №15 "Умозаключение" План:
- •Деление умозаключений по числу посылок, по ходу мысли и достоверности вывода
- •Содержательные и формальные причины ложных выводов.
- •Упражнения:
- •Тема №16 "Непосредственное умозаключения". План:
- •1. Понятие непосредственного вывода. 2. Непосредственные умозаключения по логическому квадрату, умозаключения обращения, превращения и противопоставления.
- •Упражнения:
- •Тема № 17 "Простой категорический силлогизм". План:
- •1. Определение силлогизма как дедуктивного опосредованного вывода. 2. Структура и общие правила силлогизма. 3. Аксиома силлогизма.
- •Упражнения:
- •1. Фигуры и правила фигур простого категорического силлогизма. 2. Образование модусов простого силлогизма и проверка их правильности.
- •Образование модусов простого силлогизма и проверка их правильности.
- •Правильные модусы силлогизма
- •Упражнения:
- •Тема №19 "Разновидности простого категорического силлогизма" План:
- •1.Сокращенный силлогизм, или энтимема. 2.Сложный силлогизм, или полисиллогизм. 3.Сложно - сокращенные силлогизмы. Сорит и эпихейрема.
- •Структура энтимем:
- •Упражнения:
- •Тема №20 "Условно-категорические умозаключения". План:
- •1.Чисто условный силлогизм. 2. Достоверные и правдоподобные модусы условно-категорического силлогизма.
- •Правдоподобные модусы
- •Упражнения:
- •Тема № 21 "Разделительные силлогизмы". План:
- •Определение разделительного силлогизма.
- •Упражнения:
- •Тема № 22 "Условно-разделительные силлогизмы". План:
- •1.Образование условно-разделительных выводов. 2.Дилемма и её разновидности.
- •Упражнения:
- •Тема № 23 "Индуктивные умозаключения". План:
- •1. Понятие недедуктивного вывода. 2. Полная и неполная индукция. Схемы вывода и достоверность обобщения. 3. Основные ошибки индуктивных выводов.
- •Упражнения:
- •Тема № 24 "Научная индукция и ее виды". План:
- •1. Отличие научной индукции от популярной индукции. 2. Основные виды научной индукции.
- •I. Установите, по какому методу научной индукции получено следующее обобщение: в результате трех проверок посещаемости студентами лекций при разных обстоятельствах - получилось:
- •Ошибки и достоверность заключений по аналогии
- •Упражнения:
- •Тема № 26 "Доказательство как логическая основа аргументации". План:
- •1. Определение доказательства и его структура. 2. Виды доказательства. Правила и ошибки.
- •Упражнения:
- •Тема № 27 "Опровержение как вид аргументации". План:
- •1. Определение опровержения и его структура. 2. Виды опровержения. Правила и ошибки.
- •Структура опровержения
- •Упражнения:
- •Тема №28 "Логические ошибки и парадоксы". План:
- •1. Понятие логической ошибки и их виды. Содержательные и формальные ошибки. Софизмы и паралогизмы. 2. Что такое парадокс?
Упражнения:
1. Приведите примеры энтимем вида:
а/ |
|
б/ |
|
в/ |
|
А) Все кришнаиты – вегетарианцы, поэтому они не едят мясо.
Б) Ни один банк не работает в воскресенье, значит ОАО «Приорбанк» не работает в воскресенье.
В) Сахар – углевод, все углеводы горючи.
2. Восстановите энтимемы и проверьте их правильность: 2.1. Этот студент не получает повышенную стипендию, так как он имеет удовлетворительные оценки по ряду предметов.
Все кто имеет удовлетворительные оценки по ряду предметов не получает повышенную стипендию
Этот студент имеет удовлетворительные оценки по ряду предметов
Поэтому он не получает повышенную стипендию. (MPSMSP) Правильно
2.2. Он - пианист, так как у него длинные, гибкие пальцы.
У всех пианистов длинные гибкие пальцы
Т.к. у него длинные гибкие пальцы он пианист Ошибочно – пропущено ложное суждение.
2.3. Иванов поедет на сельхозработы, как и все студенты.
Все студенты едут на сельхозработы
Иванов – студент
Иванов поедет на сельхозработы Правильно
2.4. Обвиняемый имеет право на защиту, а Х - обвиняемый.
Обвиняемый имеет право на защиту
Х – обвиняемый
Значит Х имеет право на защиту Правильно.
2.5. Он должен быть оправдан, так как у вас нет никаких доказательств его виновности.
Если на человека нет никаких доказательств его виновности его оправдывают
У вас нет никаких доказательств его виновности
Он должен быть оправдан. Правильно.
2.6. Поскольку это острый аппендицит, нужна немедленная операция.
Если острый аппендицит, делается операция
Поскольку это острый аппенцицит
Нужна немедленная операция
Тема №20 "Условно-категорические умозаключения". План:
1.Чисто условный силлогизм. 2. Достоверные и правдоподобные модусы условно-категорического силлогизма.
Чисто условный силлогизм
Условным называется силлогизм, в составе которого есть условное суждение. Условное суждение имеет структуру: «Если А, то В» или «p → q». В зависимости от того, состоит ли силлогизм только из условных суждений или нет, различают:
а) чисто условный силлогизм. Его схема такова:
Если А, то В Если В, то С Если А, то С |
или: |
p→q q→r p→r |
А, В, С [p, q, r] — простые суждения, имеющие структуру «S есть P» или «S не-есть Р». |
Пример:
Если участвовать в Олимпиаде, то можно победить |
Если победить, то можно получить награду |
Если участвовать в Олимпиаде, то можно получить награду |
Формально условный силлогизм напоминает 4-ю фигуру, но на самом деле они различны: роль среднего термина в 4-й фигуре силлогизма играет понятие, а в условном силлогизме роль «посредника» играет суждение, которое в первой посылке является следствием условного суждения, а во второй — его основанием. Данный ход мыслей отражает взаимообусловленность вещей в мире, их причинно-следственную взаимосвязь. Поэтому он широко используется в повседневной и научной практике. В основе условного силлогизма лежит правило: следствие следствия есть следствие основания;
Достоверные и правдоподобные модусы условно-категорического силлогизма.
Модус поненс (лат. modus ponens) - утверждающий модус.
Если А, то В |
|
или |
|
p → q |
А |
p |
|||
Следовательно, В |
q |
«Утверждающим» он называется потому, что его заключение — утвердительное суждение. Например:
Если 3 х 5, то получится 15 |
3 х 5 |
Получилось 15 |
Модус толленс 2. Модус толленс (лат. modus tollens) - отрицающий модус.
Если А, то В |
|
или |
|
p → q |
не-В |
q |
|||
Следовательно, не-А |
p |
В данном случае рассуждение идёт не от утверждения основания к утверждению следствия (как в предыдущем модусе), а иначе: от отрицания следствия к отрицанию основания. Поэтому и вывод называется «отрицательным». Например:
Если это условный силлогизм, то в нём есть условное суждение |
Условного суждения нет |
Значит, этот силлогизм не является условным |
При истинности посылок такие формы вывода гарантируют истинный результат, чего нельзя сказать о двух оставшихся модусах.