Условно-категорический силлогизм (УКС).

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

УКС имеет два правильных модуса.

1. ponens

2. tollens

В УКС по модусу ponens, то есть утверждающему модусу, рассуждение идет от утверждению истинности антицидента, к утверждению истинности консеквента.

a→b

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

Студен Н добросовестно выполнил все домашние задания.

Студент Н успешно сдаст экзамен по логике.

Модус tollens.

В УКС по модусу tоllens, то есть отрицающему модусу рассуждение идет от отрицания истинности консиквента, к отрицанию истинности антицидента.

Если ночью будет дождь, то утром асфальт будет мокрым.

Неверно, что утром асфальт был мокрым

Неверно, что ночью был дождь.

Установить следует ли вывод из посылок УКС, если вывод следует, то определить модус.

1. Если город находиться за полярным кругом, то летом в нем бывают белые ночи.

В городе Н. летом бывают полярные ночи.

Вывода нет, т. к. в меньшей посылке утверждается истинность консеквента.

2. Если магнит нагреть, то он размагнититься.

Магнит размагнитился.

Вывода нет, т. к. в меньшей посылке утверждается истинность консеквента.

3. Если летом не будет дождя, то осенью урожай не соберут.

Осенью урожай не собрали.

Вывода нет.

4. Если ночью будет дождь, то утром асфальт будет мокрым.

Утром асфальт был мокрым.

Вывода нет.

Разделительно-категорический силлогизм (РКС).

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

РКС имеет 2 правильных модуса:

1. ponendo tollens

2. tollendo ponens

В РКС по модусу ponendo tollens, то есть утверждающе-отрицающему модусу рассуждение идет от рассуждения истинности одного члена дизъюнкции к отрицанию истинности всех остальных членов дизъюнкции.

На экзамене по логике студент может получить, или 5, или 4, или удовлетворительно, или неудовлетворительно.

Студент Н. получил на экзамене по логике отлично.

Неверно, что студент Н получил на экзамене хорошо, и неверно, что удовлетворительно, и не верно, что 2.

Правило модуса ponendo tollens:

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

В РКС по модусу tollendo ponens, то есть отрицающее утверждающему, рассуждение идет от отрицания истинности всех членов дизъюнкции, кроме одного, к утверждению истинности этого члена дизъюнкции.

Ватсон мог отправиться на почту или для того чтобы купить конверты, или марки, или открытки, или отправить телеграммы.

Неверно, что Ватсону нужно было покупать конверты, и неверно, что марки, и неверно, что открытки.

Ватсон отправлял телеграммы.

Правила модуса tollendo ponens:

В модусе tollendo ponens дизъюнкции большей посылке должна содержать абсолютно все альтернативы.

Установить следует ли вывод из посылок РКС:

1. учениками Сократа могли быть Антисфен, или Платон, или Ксенофонт.

Платон ученик Сократа.

Вывод не следует.

2. Преступления могли свершить или а, или б, или с.

Следствие доказало, что в преступлении замешан а.

Вывод не следует.

3. Преступление мог совершить или а, или б, или с.

Следствие установило, что ни б, ни с в этом преступлении не замешаны.

Вывод не следует.

Д/З

Придумать по пять примеров на каждый модус УКС, и по 3 примера на каждый модус УКС.

Лемматический силлогизмы.

Лемматический силлогизм это дедуктивное умозаключение в котором большая посылка состоит из 2 и более импликаций.

· Если в большей посылке две импликации это дилемма.

· Если три то трилемма.

· Четыре и более это полилемма.

Дилемма.

Дилемма делиться на конструктивную и деструктивную.

Конструктивная дилемма.

В конструктивно дилемме рассуждение идет от утверждения истинности антицидента к утверждению истинности консеквента.

Конструктивная дилемма делится на простую и сложную.