Умозаключение из сложных суждений.

Умозаключение из сложных суждений – это опосредованное дедуктивное умозаключение, в котором посылками являются сложные суждения.

Разберем 4 вида умозаключения из сложных суждений:

1) Чисто условное умозаключение.

2) Условно-категорическое умозаключение.

3) Разделительно-категорическое умозаключение.

4) Дилемма.

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

Имеет следующую формулу:

А

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

С помощью этих умозаключений вводятся или исключаются следственные версии.

Имеет 2 модуса:

1) Утверждающий (modusponens):

АB

A

_____

B

Например,

«Если в трупе торчит нож, то человек был убит».

«В трупе гражданина Иванова торчит нож».

_________________________________________________

Следовательно, «Гражданина Иванова кто-то зарезал».

2) Отрицающий модус (modustollens):

АB

B

______

A

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

Есть два модуса:

1) Утверждающе-отрицающий модус (moduspunendotollens):

A

A

___________

B

В утверждающе-отрицающем модусе дизъюнкция должна быть строгой.

Например,

«Студент сдал логику на 3, 4, 5».

«Иванов сдал логику на 3»

_______________________________

«Иванов не сдал логику на 4 и 5»

2) Отрицающе-утверждающий модус (modustollendoponens).

< A B >

A

________________

B

<…> - полная дизъюнкция (означает, что перечислены все члены деления).

С помощью этого модуса следователи отбрасывают неправдивые версии.

Правило этого модуса: Большая посылка должна быть полной или закрытой дизъюнкцией.

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

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

То есть дается ряд гипотез, а затем ряд предположений и на основании этих гипотез и предположений делается вывод. Если предположений 2, то такая лемма называется дилемма, а если три, то трилеммой и т.д.

Мы рассмотрим только дилемму.

Дилемма – это условно-разделительноt умозаключение, которое содержит две альтернативы.

Надо решить только 3 задачи из 6:

	3	4	4	4	5	5	5	5
1	+	+	+			+
1*				+	+		+	+
2	+	+		+			+
2*			+		+	+		+
3	+		+	+				+
3*		+			+	+	+

Учить теорию по всему курсу надо.

Виды дилемм:

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

1.1) Простая.

1.2) Сложная.

2) Деструктивная дилемма.

2.1) Простая.

2.2) Сложная.

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

АB

CB

AC

______

B

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

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

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

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

AB

CD

A

_______

BD

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

AB

AC

___________

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

AB

CD

B

______________

Решаем силлогизмы:

Все рабовладельческие государства являлись диктатурой рабовладельцев.

Государство Древнего Рима являлось диктатурой рабовладельцев, так как оно было рабовладельческим.

(А) Все рабовладельческие государства (М) являлись диктатурой рабовладельцев (Р).

(А) Государство Древнего Рима (S) было рабовладельческим (М).

___________________________________________________________________

(А) Государство Древнего Рима (S) являлось диктатурой рабовладельцев (P).

Термины:

S– государство Древнего Рима.

P– диктатура рабовладельцев.

M– рабовладельческие государства.

(А) Все М+ есть Р-.

(А) Все S+ есть М-.

________________

(А) Все S+ есть Р-.

Вывод: Все правила соблюдаются, силлогизм правильный.

Задача:

Ни один Капуцин (М) не был участником всех вселенских соборов (А).

Все Капуцины (М) – католики (В).

(Е) Ни один М+ не есть А+.

(А) Все М+ есть В-.

______________________

(О) Некоторые В- не есть А+.

Ответ: Некоторые католики не есть участники всех вселенских соборов.

Исключение из правил (все правила соблюдаются, а вывод не делается):

(А) Все А+ есть В-.

(О) Некоторые С- не есть А+.

__________________________

() не есть.

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