Реферат: Дедуктивные умозаключения 2

Все Д – Е

Все К – М

Все А – М

Если пропускает меньшая посылка то такой сорит называется аристотелевским. Его пример:

3 – нечетное число.

Все нечетные числа – натуральные числа.

Все натуральные числа – рациональные числа.

Все рациональные числа – действительные числа.

3 – действительное число.

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

Все рациональные числа – действительные числа.

Все натуральные числа – рациональные числа.

Все нечетные числа – натуральные числа.

3 – нечетное число.

3 – действительное число.

Эпихейрема – это такой силлогизм, в котором посылками являются энтимемы. Схема эпихейремы такова:

M есть P , так как оно есть N

S есть M , так как оно есть O

S есть P

Первая посылка могла бы быть построена следующим образом:

Все N суть Р

Все М суть N

Все М есть P

Вторая посылка могла бы быть выражена следующим образом:

Все О суть М

Все S суть O

Все S суть M

И схема заключения следующая:

Все М есть Р