(1Б) Логическая структура суждения.

Нетрудно заметить в умозаключении наличие: (1) исходных суждений, из которых выводится новое суждение; (2) само новое суждение, которое выводится из исходных. Таким образом, умозаключение включает в себя посылки и заключение.

Посылки — исходные суждения, из которых выводится новое суждение.

Заключение — суждение, которое выводится из исходных.

Схематически структуру умозаключения можно изобразить следующим образом (А — посылки, В — заключение):

А1, . . . , Аn

В

В естественном языке посылки от заключения обычно отделяются выражениями “Следовательно, ...”, ”Таким образом, ...”, ”Из сказанного выше следует, что ...” и т. д. Например, в умозаключении

“Если человек не виновен, то его оправдывают. Этого человека не оправ дали. Следовательно, он виновен.”

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

(1В) Виды умозаключений.

Во-первых, умозаключения подразделяются по достоверности вывода на (1) дедуктивные и (2) недедуктивные.

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

Слово “дедуктивные” происходит от латинского “deductio” (выведение). В дедуктивных умозаключениях связь между посылками и заключением представляет собой формально-логические законы, в силу чего заключение является достоверным знанием.

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

Заключение в таких умозаключения является лишь вероятностным.

Дедуктивные умозаключения подразделяются по количеству посылок на (1) непосредственные и (2) опосредованные.

Недедуктивные умозаключения подразделяются на (1) индуктивные и (2) умозаключения по аналогии (традуктивные).

(1Г) Непосредственные умозаключения.

Непосредственное умозаключение — умозаключение, имеющее лишь одну посылку.

К непосредственным умозаключениями относятся уже изученные нами (1) умозаключения по логическому квадрату, (2) обращение и (3) превращение; а также (4) противопоставление предикату и (5) противопоставление субъекту.

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

А A A A

I E O O

E E E E

O A I I

I I I I

E A E O

O O O O

A E A I

Обращение может быть представлено в виде следующих схем:

S a P S i P S e P S oP

P i S P i S P e S

Превращение может быть представлено в виде следующих схем:

S a P S i P S e P S oP

S e P S o P S a P S i P

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

Противопоставление субъекту представляет собой обращение исходного суждения, а затем превращения результата.