• прогрессивный полисиллогизм.

Все а есть в

Все С есть А

Все С есть В

___Все D есть С___

Все D есть В

- регрессивный полисиллогизм

Все А есть В

Все В есть С

Все А есть С

__Все С есть D__

Все А есть О

.

• прогрессивный сорит;

Все А есть В

Все С есть А

__Все D есть С__

Все D есть В

• регрессивный сорит;

Все А есть В

Все В есть С

__Все С есть D__

Все А есть D

3. Некатегорические силлогизмы

1. Условные умозаключение

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

Если а, то в

Если в, то с__

Если а, то с

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

Если а, то в

___а___

в

Правильные формы

Неправильные формы

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

Правильная форма отрицательного модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания следствия к отрицанию основания.

Неправильной формой утверждающегося модуса является разновидность условно-категорического умозаключения, в которой ход умозаключения на­правлен от утверждения следствия к утверждению основания.

Неправильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания основания к отрицанию следствия.

b

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

ючение - кате­горические суждения.

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

а или в, или с

____а____

не-в и не-с

Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение остав­шегося члена.

а или в, или с

__не-а и не-в__

с

. Разделительные силлогизмы.

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

Условно-разделительным или лемматическим (от лат. lemme - «предположение») называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая - разделительное суждение. По количеству следствий условной посылки (альтернатив) различают дилеммы, трилеммы и полилеммы.

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

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