- •Предисловие
- •Глава I предмет и значение логики
- •Глава II логика и язык
- •Глава III понятие
- •Приемы образования понятий
- •Содержание и объем понятий
- •Виды понятий
- •Единичные, общие, пустые понятия
- •Конкретные и абстрактные понятия
- •Положительные и отрицательные понятия
- •Безотносительные и соотносительные понятия
- •Отношения между понятиями
- •Логические операции над понятиями
- •Обобщение и ограничение понятий
- •Определение понятий
- •Правила определения
- •Неявные определения Приемы, замещающие определение
- •Деление
- •Правила деления. Возможные ошибки
- •Виды деления
- •Приложение
- •Простые суждения
- •Упражнение 2
- •Суждения об отношениях (реляционные)
- •Суждение существования (экзистенциальные)
- •Распределенность терминов в суждении
- •Выделяющие и исключающие суждения
- •Отношения между суждениями логический квадрат
- •Сложные суждения
- •Построение таблицы истинности
- •Упражнение 11
- •Упражнение 12
- •Логические отношения между сложными суждениями
- •Достаточные и необходимые условия
- •Модальность суждений
- •Логика вопросов и ответов
- •Правила формулирования ответа
- •Практикум 3
- •Дедуктивные умозаключения
- •(Выводы из простых суждений)
- •Умозаключение как форма мышления
- •Виды умозаключений
- •Непосредственные умозаключения
- •Превращение
- •Обращение
- •Противопоставление предикату
- •Противопоставление субъекту
- •Простой категорический силлогизм
- •Способы проверки правильности простого категорического силлогизма
- •Умозаключения из суждений с отношениями
- •Дедуктивные умозаключения
- •Разделительный силлогизм
- •Энтимема
- •Полисиллогизмы, сорит, эпихейрема
- •Индуктивные умозаключения
- •Структура индуктивного умозаключения
- •Виды индуктивных умозаключений
- •Виды неполной индукции
- •Методы установления причинных связей2 (методы индуктивного исследования)
- •Метод сходства
- •Метод различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Умозаключения по аналогии
- •Структура умозаключения по аналогии
- •Виды умозаключения по аналогии
- •Условия повышения вероятности заключений по аналогии
- •Принципы классической логики (основные законы логики)
- •Закон тождества5
- •Закон непротиворечия6
- •Закон исключенного третьего7
- •Закон достаточного основания8
- •Логические основы аргументации
- •Правила и ошибки в доказательстве и опровержении
- •Непозволительные способы защиты и опровержения
- •Литература
- •111395, Москва, ул. Юности, 5/1
Разделительный силлогизм
Силлогизм, в котором, по крайней мере, одна из посылок – разделительное суждение, называется разделительным.
Разделительно – категорические силлогизмы имеют два правильных модуса: утверждающе-отрицающий и отрицающе-утверждающий.
В умозаключении по утверждающе-отрицающему модусу (modus ponendo tollens) производится отрицание посредством утверждения.
Пример:
Облигации могут быть предъявительскими или именными.
Данная облигация предъявительская.
Следовательно, данная облигация не является именной.
Этот модус имеет формулу:
А U В, А
не-В
Вторая категорическая посылка утверждает один из членов дизъюнкции; в выводе отрицается другой ее член.
В умозаключении по отрицающе-утверждающему модусу (modus tollendo ponens) производится утверждение посредством отрицания.
Пример:
Приговор суда может быть или обвинительным, или оправдательным.
Приговор суда по данному делу не является обвинительным.
Следовательно, он является оправдательным.
Формула этого модуса:
А U В, не-А
В
Вторая посылка отрицает один из членов дизъюнкции, вывод утверждает другой ее член.
Условиями правильного вывода по модусам разделительного силлогизма являются:
1. В утверждающе-отрицающем модусе разделительная посылка должна быть исключающее - разделительным суждением. Из соединительно-разделительной посылки вывод по этому модусу с необходимостью не следует.
Пример:
из посылок:
Это преступление совершил G., или F., или D.
Это преступление совершил G.
нельзя с необходимостью сказать, что это преступление не совершил ни F., ни D. Действительно, преступление могли, например, совершить G., F. и D. в соучастии.
2. В отрицающее - утверждающем модусе в разделительной посылке должны быть перечислены все возможные альтернативы.
Пример:
Смерть могла наступить в результате убийства или самоубийства.
Смерть не могла наступить в результате самоубийства.
Следовательно, смерть произошла в результате убийства.
Данное умозаключение может оказаться ложным, если, например, смерть произошла в результате несчастного случая. Однако вывод будет правильным по утверждающе-отрицающему модусу.
Упражнение 3
Проверьте логическую состоятельность следующих силлогизмов, определите его форму.
Некоторые люди, не выполняющие своих обещаний, являются безвольными или непорядочными. G. не назовешь непорядочным. Следовательно, он безвольный.
В книге ценится или ее содержание, или форма изложения. В научной книге ценится ее содержание. Значит, в научной книге не ценится форма изложения.
Либо все мы овладели логикой, либо ни один из нас не усвоил этой науки. Но ясно, что нельзя сказать, что все мы овладели логикой. Следовательно, ни один из нас ею не овладел.
Всякий философ является либо материалистом, либо идеалистом. Платона нельзя считать материалистом. Следовательно, Платон – идеалист.
Право либо дано природой, либо оно основано на соглашении между людьми. Но право не дано природой; оно, следовательно, основано на соглашениях (Руссо «Общественный договор»)
Всякое суждение является либо общим, либо частным, либо единичным. Это суждение не является общим, а также не является частным. Значит, оно единичное.
Одно из двух: либо он хотел обмануть меня, либо сам ошибался. Но нельзя допустить, что он хотел меня обмануть. (На это он совершенно не способен.) Следовательно, он сам ошибался.
Кто был учеником Сократа: Платон или Ксенофонт? Конечно, Платон. Следовательно, Ксенофонт не был учеником Сократа.
Этот холст – либо подлинная картина Серова, либо очень искусная копия. Но невозможно до такой степени точно воспроизвести манеру великого художника. Надо, значит, признать, что это - подлинная картина Серова.
Обилие ошибок в этой письменной работе означает со стороны студента либо проявление лени, либо небрежности. Но он сам признает, что поленился, как следует выполнить работу. Значит, небрежности здесь не было.
«Санкт-Петербург занимает огромную территорию. G. Житель Санкт-Петербурга. Следовательно, G. занимает огромную территорию.
Все юристы изучают логику. G. изучает логику. Значит, G. – юрист.
Опиумный мак не растет в Ботаническом саду МГУ. Конопля – не опиумный мак. Следовательно, конопля растет в ботаническом саду МГУ.
Все таможни – правоохранительные органы. G. – сотрудник таможни. Следовательно, G. – сотрудник правоохранительного органа.
Все преподаватели вуза имеют высшее образование. G. – не преподаватель вуза. Значит, G. не имеет высшего образования.
Пример:
Суждение может быть простым или сложным (А U В).
Суждение «Все розы – растения» – простое (А).
Следовательно, данное суждение не является сложным (не-В) – это утверждающе – отрицающий модус.
Формула этого модуса:
А U В, А
не-В
Данное рассуждение правильно, так как выполняются все условия правильности настоящего модуса.