- •Г л а в а I. Предмет логики как науки
- •1. Мышление как объект логики
- •2. Содержание и форма мышления
- •3. Истинность и правильность мышления. Логический закон
- •4. Основные законы логики
- •Г л а в а II. Понятие
- •1. Понятие как логическая форма мышления
- •2. Содержание и объем понятия
- •3. Виды понятий
- •4. Отношения между понятиями
- •5. Логические операции с понятиями
- •Г л а в а III. Суждение
- •1. Суждение как форма мышления
- •2. Простые суждения. Логическая структура и виды
- •Виды простых суждений
- •3. Сложные суждения: логическая структура и виды
- •Виды сложных суждений
- •4. Отношения между суждениями
- •Г л а в а IV. Умозаключение
- •1. Умозаключение как форма мышления
- •2. Дедуктивные умозаключения
- •2.1. Непосредственные умозаключения
- •2.2. Простой категорический силлогизм (пкс)
- •Правила терминов
- •Правила посылок
- •2.3. Энтимема
- •2.4. Дедуктивные умозаключения из сложных суждений
- •Отрицательный модус
- •3. Недедуктивные умозаключения
- •3.1. Индуктивные умозаключения
- •Метод сходства
- •Метод различия
- •Метод сопутствующих изменений
- •Метод остатков
- •3.2. Умозаключения по аналогии
- •Сводная таблица
- •Г л а в а V. Логические основы аргументации
- •1. Аргументативный процесс и его структура
- •2. Виды аргументативного процесса
- •3. Правила аргументации. Ошибки в аргументации
- •Правила и ошибки по отношению к тезису.
- •Правила и ошибки по отношению к аргументам.
- •Истинность аргументов должна быть установлена независимо от тезиса.
- •Правила и ошибки демонстрации
- •Литература Основная
- •Дополнительная
Отрицательный модус
Схема: Если А, то В Символически: ((А→В) ~В)→ ~А
~ В
~ А
Правильность условно-категорического умозаключения в конечном счете определяется объективным взаимоотношением между причиной и следствием, выражением которого и выступают эти умозаключения. Если есть причина (основание), то есть и следствие, а если нет следствия, то нет и причины. Основание неправильности умозаключений, этого вида в неоднозначности взаимосвязи причины и следствия: одно и то же следствие может быть результатом действия многих причин, а одна и та же причина может вызывать много различных следствий.
Разделительно-категорическое умозаключение – это умозаключение, в котором одна из посылок - разделительное суждение, а вторая посылка и заключение – категорические суждения. В зависимости от вида категорической посылки – утвердительная она или отрицательная – выделяют два модуса разделительного категорического умозаключения: (1) утверждающе–отрицающий и (2) отрицающе-утверждающий. При утверждающе-отрицающем модусе мысль направляется от утверждения одной из мыслимых альтернатив разделительной посылки к отрицанию другой. Например: «Облигации могут быть предъявительскими (А) или именными (В). Данная облигация предъявительская (А), следовательно, она не именная (~В)». При этом, должно быть выполнено требование: разделительная посылка должна представлять строгую дизъюнкцию, т.е. альтернативы должны исключать друг друга, как в данном примере.
Правильные формы утверждающе-отрицающего модуса разделительно-категорического умозаключения можно символически записать так: ((А В) А)→ ~В; ((А В) В)→ ~А
В отрицающе-утверждающем модусе разделительно-категорического умозаключения мысль следует от отрицания одного из вариантов разделительной посылки к утверждению другого. Например: «Суждения могут быть простыми или сложными. Суждение «Все цветы - растения» - простое, следовательно, оно не сложное». Условием правильности этого модуса разделительно-категорического умозаключения является необходимость полной дизъюнкции, т.е. в разделительном суждении должны быть перечислены все рассматриваемые альтернативы. В случае нарушения этого условия в рассуждении возможны логические ошибки.
Правильные логические формы отрицающе-утверждающего модуса разделительно-категорического умозаключения символически можно записать так:
((А В) ~А)→ В; ((А В) ~В)→ А
Условно-разделительное умозаключение – это умозаключение с несколькими условными и одной разделительной посылками, заключение же может быть разделительным или категорическим суждением. Например:
Если вред причинен личности гражданина (А), то он подлежит возмещения в полном объеме (С)
Если вред причинен имуществу гражданина (В), то он подлежит возмещения в полном объеме (С)
Н о вред причинен или личности (А) или имуществу гражданина (В)
В любом случае он подлежит возмещению в полном объеме (С).
Символически: ((А→С) (В→С)) (А В) → С
Еще пример: «Если ты будешь говорить правду (А), то тебя возненавидят богатые (С). Если ты будешь лгать (В), то тебя возненавидит простой народ (D). Но ты должен говорить правду (А) или лгать (В). Значит тебя возненавидят богатые (С) или возненавидит простой народ (D)».
Символически: ((А→С) (В→D)) (А В) → С D
Правила, которым подчиняются условно-разделительные умозаключения, складываются из вышеотмеченных правил (требований) условно-категорического и разделительно-категорического умозаключений. Поэтому мы ограничимся тем, что выразим символически правильные формы условно-разделительных умозаключений:
(1) ((А→С) (В→С)) (А В) → С
(2) ((А→С) (В→D)) (А В) → (С D)
(3) ((А→В) (А→С)) (~В ~С) → ~А
(4) ((А→С) (В→D)) (~С ~D) → (~А ~В)
Определение правильности умозаключений из сложных суждений основывается на знании их правильных форм и сопоставлении логической формы проверяемого умозаключения с правильной формой данного вида умозаключения.
Для проверки правильности умозаключений из сложных суждений, не сводимых к перечисленным видам, используется табличный метод, основанный на том, что между посылками и заключением в дедуктивном умозаключении должно существовать отношение логического следования, означающее, что заключение не может быть ложным, если все посылки истинны.
Возьмем умозаключение: «Студенты этого факультета способны и прилежны. Если они прилежны, то регулярно занимаются. Значит, если они не занимаются регулярно, то они способны». Проверим, правильно ли оно. Для этого символически выразим его форму: ((А В) (В→С))├ (~С→А), где А обозначает «студент этого факультета способен», В – «студент этого факультета прилежен», С – «студент регулярно занимается», знак «├» обозначает «следует» (перед ним записываются посылки, после него – заключение).
Построим общую таблицу для этого умозаключения:
№ |
А |
В |
С |
~С |
А В |
В→С |
~С→А |
1 |
и |
и |
и |
л |
и |
и |
и |
2 |
и |
и |
л |
и |
и |
л |
и |
3 |
и |
л |
и |
л |
и |
и |
и |
4 |
и |
л |
л |
и |
и |
и |
и |
5 |
л |
и |
и |
л |
и |
и |
и |
6 |
л |
и |
л |
и |
и |
л |
л |
7 |
л |
л |
и |
л |
л |
и |
и |
8 |
л |
л |
л |
и |
л |
и |
л |
В этой таблице для нас интересны строки, где обе посылки: (А В) и (В→С) вместе истинны. Это строки: 1, 3, 4, 5. Смотрим, не получается ли заключение (~С→А) ложным хотя бы в одной из этих строк. Нет, заключение везде в этих строках тоже истинно. Значит умозаключение правильно.