- •1. Определение должно быть соразмерным.
- •4.По возможности определение не должно быть негативным и вообще предвзятым.
- •4. Операции с простыми суждениями (непосредственные умозаключения).
- •§ 2. Дедуктивные умозаключения
- •Виды дедуктивных умозаключений
- •§ 3. Непосредственные умозаключения
- •Фигуры и модусы простого категорического силлогизма
- •Общие правила простого категорического силлогизма
- •1) Популярная индукция (через простое перечисление)
- •2) Научная индукция (путём отбора).
- •26. Умозаключения по логическому квадрату.
- •27. Условно-категорические умозаключения. Модусы условно-категорических умозаключений.
- •28. Разделительно-категорические умозаключения.
- •29. Основное содержание аргументации.
- •30. Содержание и структура доказательства и опровержения. Виды доказательств и опровержений.
- •31. Типы оппонентов в аргументации.
- •32. Риторические и спекулятивные приёмы аргументации.
- •33. Правила оптимизации отношений между участниками аргументации.
- •34. Знания. Задача, проблема, теория.
- •35. Гипотеза и версия. Особенности следственной версии.
27. Условно-категорические умозаключения. Модусы условно-категорических умозаключений.
Условно-категорическим называется умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями.
Условное суждение имеет форму: если A есть B, то C есть D, например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Первое суждение есть основание (антецедент), а второе — следствие (консеквент).
Существуют два модуса условно-категорических умозаключений. Первый из них называется modus ponens, то есть устанавливающий, утверждающий, конструктивный модус; второй называется modus tolens, то есть разрушающий, отрицающий, деструктивный модус.
Конструктивный модус имеет следующий вид.
Если A есть B, то C есть D;
A есть B;
Следовательно, C есть D.
Например:
Если Земля вращается вокруг Солнца, то происходит смена дня и ночи;
Земля вращается вокруг Солнца;
Следовательно, происходит смена дня и ночи.
В условно-категорическом умозаключении в конструктивном модусе утверждается антецедент.
Это правило связано с тем, что при несовместимых суждениях-антецедентах, одно из которых ложно, возможно истинное заключение: если Земля вращается вокруг Солнца, то происходит смена дня и ночи, если Солнце вращается вокруг Земли, то происходит смена дня и ночи, поэтому нельзя сделать заключение: *происходит смена дня и ночи, следовательно, Земля вращается вокруг Солнца.
Деструктивный модус имеет следующий вид.
Если A есть B, то C есть D;
C не есть D;
Следовательно, A не есть B.
В условно-категорическом умозаключении в деструктивном модусе отрицается консеквент.
При отрицании следствия любой из возможных в принципе альтернативных антецедентов окажется ложным: если смены дня и ночи не происходит, то Земля не вращается вокруг Солнца и Солнце не вращается вокруг Земли.
Если человек есть мера всех вещей, то принципы нравственности условны;
Принципы нравственности не условны;
Следовательно, человек не есть мера всех вещей.
Рассмотрим, однако, следующие умозаключения, которые иногда подводят преподавателя:
Если студент слушает лекции, то он приобретает необходимые познания;
Студент N слушал лекции;
Следовательно, он приобрел необходимые познания.
Или:
Если студент слушает лекции, то он приобретает необходимые познания;
Студент N не приобрел необходимых познаний;
Следовательно, он не слушал лекции.
Понятно, что оба они могут оказаться ложными, ибо не всякий, кто слушает лекции, понимает их.
Условием истинности условно-категорического умозаключения является наличие в качестве посылок так называемых невыделяющих суждений, удовлетворяющих условию если и только если.
Итак, доказательным (при условии истинности большей посылки) будет следующее рассуждение:
Если и только если студент слушает лекции, он приобретает необходимые познания;
Студент N не приобрел необходимых познаний;
Следовательно, он не слушал лекций.
28. Разделительно-категорические умозаключения.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».
Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.
1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)
Данная облигация не является именной (не-q)
Заключение по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)
Данная облигация именная (q)
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием.
Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных основания. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.
В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.
В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.