41. Сориты. Эпихейрема.

СОРИТ (греч. , , от — куча), вид сложносокращённого силлогизма, представляющий собой цепь силлогизмов, в которой опущены определённые посылки. Существуют два вида С.: (1) когда опускаются меньшие посылки силлогизмов и умозаключение идёт от подчиненного понятия к подчиняющему (аристотелевский С.); (2) когда опускаются большие посылки и умозаключение идёт от подчиняющего понятия к подчинённому (гоклениевский С.). Пример формы С. вида (1): «Всякое S есть А, всякое А есть В, всякое В есть Р, следовательно, всякое S есть Р»; С. вида (2): «Всякое А есть Р, всякое В есть А, всякое S есть В, следовательно, всякое S есть Р». В С. каждый термин (кроме субъекта и предиката заключения) входит в посылки дважды: сначала — как предикат, а в след. посылке — как субъект; либо сначала — как субъект, а в след. посылке — как предикат.

Эпихейрема (от др.-греч. ἐπιχείρημα — довод, аргумент ) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы. Эмпихейрема это полисиллогизм состоящий из энтимем

Примером эпихейремы может быть следующее рассуждение. Ложь заслуживает презрения, так как она безнравственна. Лесть есть ложь, так как она есть умышленное извращение истины. Лесть заслуживает презрения.

42. Условно - категорический силлогизм.

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

В условно-категорическом умозаключении мысль, вообще говоря, может протекать по следующим четырем направлениям: 1) от утверждения основания к утверждению следствия; 2) от отрицания основания к отрицанию следствия; 3) от утверждения следствия к утверждению основания; 4) от отрицания следствия к отрицанию основания.

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

Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Если В, то С В ->С

В В

С С

Это умозаключение представляет собой утверждающий модус ( modus роnеns ) условно-категорического силлогизма (от утверждения основания к утверждению следствия).

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

Если В, то С В -->С

не-С не-С

Не-В не-В

Это умозаключение представляет собой отрицающий модус ( modus tollеns) условно-категорического силлогизма (от отрицания следствия к отрицанию основания).

Оба модуса — утверждающий и отрицающий — гарантируют необходимость и истинность вывода при истинности посылок. Два остальных модуса этого вида силлогизма не дают необходимо истинного вывода, так как их структурные особенности не соответствуют правилам, законам логики. Модусы эти называются неправильными, неправомочными, проблематичными, правдоподобными. Они дают знание, которое в одном случае (что определяется содержанием посылок) может быть ложным, в другом истинным. Формулы этих модусов записываются так:

• В - >С В - >С

• Не - В С

• (возможно, не - С) (возможно, В)