Шпаргалка по "Логике"

Если  вывод становится меньшей посылкой эписиллогизма , то полисиллогизм называется регрессивным. (стр.122 учебника)

 

 

 

37. Условно – категорические умозаключения, их использование при аргументации.

Условно-категорическим называется умозаключение, одна из посылок которого является условным суждением, а другая посылка и вывод — категорическими суждениями. Условное суждение имеет форму: если 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 не приобрел необходимых познаний;

Следовательно, он не слушал лекций.

 

Условно-категорические умозаключения  широко используются как в обыденном мышлении, так и в научном рассуждении. Особое значение они имеют в юридической теории и практике как способ выдвижения и обоснования юридических версий и доказательств. Допустим, мы хотим обосновать некую версию В. Значит, нам надо найти несомненный факт А, из которого В следует, а далее рассуждать по modus pones. Тем более важно знать правильные схемы таких умозаключений.

(стр.127 учебника)

 

 

 

38. Чисто условные умозаключения, их роль в доказательстве.

Посылками и заключением такого рассуждения  являются только условные суждения, т.е. суждения с импликацией. Схема условного  умозаключения такова :

А -> В

В -> C

A -> C

Чисто условные умозаключения по своей  форме и по содержанию очень просты, и мы обычно делаем их, даже не замечая  этого.

Например:

Если  я буду решать много задач по логике,

То  я освою этот предмет.

 

Если  я освою этот предмет, то успешно  сдам экзамен.

Если  я буду решать много задач по логике, то успешно сдам экзамен.

Чисто условные умозаключения часто  используются для установления связи между умозаключениями.

(стр.130 учебника)

 

 

 

39. Разделительно – категорические умозаключения, условия правильности вывода.

Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.

 

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состоит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соединенных логическим союзом «или».

 

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического  умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.

 

1. В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например;

 

Облигации могут быть предъявительскими (р) или  именными (q) Данная облигация предъявительская (q)

 

Данная  облигация не является именной (не-q)

 

Заключение  по этому модусу всегда достоверно, если соблюдает-1 ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции.

 

2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

 

Облигации могут быть предъявительскими (р) или  именными (q) Данная облигация не является предъявительской (не-р)

 

Данная  облигация именная (q)

 

Утвердительный  вывод получен посредством отрицания: отрицая один дизъюнкт, мы утверждаем другой.

 

Заключение  по этому модусу всегда достоверно, если соблюдается правило: в большей  посылке должны быть перечислены  все возможные суждения — дизъюнкты, иначе говоря, большая посылка  должна быть полным (закрытым) дизъюнктивным  высказыванием.

 

Условно-разделительное умозаключение

 

Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или  лемматическим.

 

Разделительное  суждение может содержать две, три  и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.

 

Рассмотрим  на примере дилеммы структуру  и виды условно-разделительного  умозаключения. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

 

В простой конструктивной дилемме  условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка  утверждает оба возможных основания, заключение утверждает следствие. Рассуждение  направлено от утверждения истинности оснований к утверждению истинности следствия.

 

В сложной конструктивной дилемме  условная посылка содержит два основания  и два следствия. Разделительная посылка утверждает оба возможных  основания. Рассуждение направлено от утверждения истинности оснований  к утверждению истинности следствий.

 

В простой деструктивной дилемме  условная посылка содержит одно основание, из которого вытекает два возможных  следствия. Разделительная посылка  отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

 

В сложной деструктивной дилемме  условная посылка содержит два основания  и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

(Стр.128 - 129 учебника)