- •Введение
- •1 Логика: предмет, значение и типология
- •1.1 Объект и предмет логики
- •1.2 Значение логики
- •1.3 Типы логических учений
- •2 Общие законы логики
- •2.1 Сущность и виды законов логики
- •2.2 Закон тождества
- •2.3 Закон противоположности и исключённого третьего
- •2.4 Закон достаточного основания
- •В потому, что а.
- •3 Понятие
- •3.1 Определение и структура понятия
- •3.2 Виды понятий
- •3.3 Отношения между понятиями
- •3.4 Логические действия с понятиями по содержанию
- •3.5 Логические действия с понятиями по объёму
- •3.6 Логические действия с понятиями по содержанию и объёму
- •4. В обобщении нельзя использовать тождественные понятия.
- •5. Объемы всех понятий, используемых при обобщении, должны иметь общие элементы, чтобы обобщение было возможным.
- •4 Суждение
- •4.1 Определение и структура суждения
- •4.2 Виды суждений
- •S есть р.
- •S не есть р
- •S есть р.
- •S не есть р.
- •¬( S есть р).
- •4.3 Модальность суждений
- •(S не есть p) .
- •(S не есть p).
- •4.4 Виды сложных суждений
- •4.5 Отношения между видами суждений
- •4.6 Логические действия с суждениями
- •5.1 Основные понятия алгебры логики
- •5.2 Таблицы истинности
- •5.3 Равносильные формулы алгебры логики
- •5.4 Решение логических задач методами алгебры логики
- •Р исунок 16 – Переключательная схема конъюнкции
- •6 Умозаключение
- •6.1 Определение и структура умозаключения
- •6.2 Виды умозаключений: дедуктивные умозаключения. Простой категорический силлогизм
- •1. В силлогизме должно быть только три термина: меньший, средний и больший.
- •2. Средний термин должен быть распределен как минимум в одной из посылок.
- •3. Не распределенный в посылке крайний термин не может быть распределен в заключении.
- •3. Если одна из посылок отрицательна, то и заключение с необходимостью отрицательно.
- •4. Если одна из посылок частная или единичная, то и заключение с необходимостью является соответственно частным либо единичным.
- •6.3 Виды простого категорического силлогизма
- •6.4 Отношения между фигурами и модусами простого категорического силлогизма
- •6.5 Логические действия с видами простого категорического силлогизма
- •6.6 Сложные и сокращённые силлогизмы
- •6.7 Условные и разделительные силлогизмы
- •6.8 Индуктивные умозаключения
- •6.9 Традуктивные умозаключения
- •1. Переносимый признак должен быть закономерно связан с признаками, общность которых для данных объектов уже установлена.
- •7 Доказательство
- •7.1 Определение и структура доказательства
- •7.2 Виды и правила доказательства
- •7.3 Ошибки в процессе доказательства
- •Литература
- •Содержание
- •7 Доказательство 105
- •Логика Учебное пособие
6.7 Условные и разделительные силлогизмы
Условным называется силлогизм, состоящий только из условных суждений.
Разделительным называется силлогизм, посылками которого являются разделительные суждения.
Условно-категорическим называется силлогизм, одна из посылок которого — условное, а другая — атрибутивное категорическое суждения.
Условно-разделительным, или лемматическим называется силлогизм, одна из посылок которого — условное, а другая — разделительное суждения.
Разделительно-категорическим называется силлогизм, одна из посылок которого — разделительное, а другая — категорическое суждения.
Условный силлогизм состоит из трех условных суждений, два из которых выступают посылками, а третье — заключением. Структурная формула условного силлогизма:
Общее для посылок суждение (q) в одной из посылок является кон-секвентом, в другой — антецедентом.
Пример:
Если [философское учение утверждает о первичности материи по отношению к сознанию (p)], то [оно является материалистическим (q)]
Е сли [философское учение является материалистическим (q)], то [оно признает чувственное познание основой истины (r)]
Если [философское учение утверждает о первичности материи по отношению к сознанию (p)], то [оно признает чувственное познание основой истины (r)].
Разделительный силлогизм состоит из трех разделительных суждений, два из которых являются посылками, а третье — заключением. Структурная формула разделительного силлогизма:
В разделительном силлогизме может применяться либо слабая, либо сильная дизъюнкция.
Условно-категорический силлогизм имеет два варианта структуры или два модуса: утверждающий, или конструктивный и отрицающий, или деструктивный.
Формула утверждающего модуса:
Пример:
Если [в экономике страны наблюдается прогрессирующая инфляция (p)], то [реальные доходы населения сокращаются (q)]
[ В экономике страны наблюдается прогрессирующая инфляция (p)]
[Реальные доходы населения в стране сокращаются (q)].
Формула отрицающего модуса:
Пример:
Если [договор заключен двумя субъектами права (p)], то [он является двусторонним (q)]
[ Договор не является двусторонним (¬q)]
[Договор не заключен двумя субъектами права (¬p)].
В разделительно-категорическом силлогизме большая посылка является дизъюнктивным суждением, а меньшая — категорическим.
Простые суждения большей посылки разделительно-категорического силлогизма называются альтернативами.
В разделительно-категорическом силлогизме также выделяются два правильных модуса: утверждающе-отрицающий и отрицающе-утверждающий.
Формула утверждающе-отрицающего модуса:
Пример:
[Материализм является либо метафизическим (p)], либо [диалектическим (q)]
[Материализм М. В. Ломоносова является метафизическим (p)]
[ Материализм М. В. Ломоносова не является диалектическим (¬q)].
Формула отрицающе-утверждающего модуса:
.
И в утверждающе-отрицающем, и в отрицаюше-утверждающем модусах количество альтернатив в большей посылке логически несущественно. Их может быть любое число больше двух.
В условно-разделительном силлогизме большей посылкой считается условное суждение, меньшей — разделительное суждение.
Лемматические силлогизмы подразделяют на два вида: дилеммы и полилеммы.
Дилеммой называется условно-разделительный силлогизм, который содержит две альтернативы.
Полилеммой называется условно-разделительный силлогизм, который содержит более двух альтернатив.
Дилемма имеет два правильных модуса: утверждающий (конструктивный) и отрицающий (деструктивный). Дилемма также может быть простой и сложной.
Простой конструктивной называется дилемма, в условной посылке которой два основания при одном следствии.
Простой деструктивной называется дилемма, в условной посылке которой два следствия при одном основании.
Сложной называется дилемма, в условной посылке которой два основания при двух следствиях.
Формула простой конструктивной дилеммы:
.
Формула сложной конструктивной дилеммы:
.
Примеры:
Простая утверждающая дилеммы:
Если [в результате действия установлены права собственности (p)], то [оно является сделкой (q)], и если [в результате действия прекращены права собственности (r)], то [оно является сделкой (q)]
[
В
результате действий указанных граждан
права собственности на данный объект
установлены (p)]
или [прекращены (q)]
[Действия указанных граждан по поводу объекта являются сделкой (q)].
Сложная утверждающая дилемма:
Если [индивид не нарушает установленные законом права и обязанности (p)], то [он не подлежит ответственности перед законом (q)], а если [индивид нарушает права других граждан (r)], то [он подлежит установленной законом ответственности (s)]
[Данный индивид не нарушил установленных законом прав и обязанностей (p)] или [он нарушил права других граждан (r)]
[Данный индивид либо не подлежит (q)], либо [подлежит установленной законом ответственности (s)].
Формула простой деструктивной дилеммы:
.
Формула сложной деструктивной дилеммы:
.
Примеры:
Простая отрицающая дилемма:
Если [индивид участвует в интервью (p)], то [он отвечает на вопросы интервьюера либо в устной (q)], либо [в письменной форме (r)].
[Данный индивид не отвечает на вопросы интервьюера устно (¬p)] или [письменно (¬q)]
[Данный индивид не участвует в интервью (¬p)].
Сложная отрицающая дилемма:
Если [индивид нарушил устав организации (p)], то [на него налагается дисциплинарное взыскание (q)], а если [индивид совершил кражу (r)], то [он подлежит уголовной ответственности (s)].
[Данный индивид не подвергался дисциплинарному взысканию (¬q)] или [не привлекался к уголовной ответственности (¬s)].
[Данный индивид не нарушил устав организации (¬p)] или [не совершил кражу (¬r)].
