Все окуни дышат жабрами

Непосредственными умозаключениями называются дедуктивные умозаключения, делаемые из одной посылки. Превращение, обраще­ние, противопоставление предикату и умозаключение по логическо­му квадрату - виды непосредственного умозаключения.

Превращение строится двумя способами:

а) путем двойного отрицания, которое ставится перед связ­кой и перед предикатом:

S есть P → S не есть не-P;

б) отрицание переносится из предиката в связку:

S есть не p → s не есть p

Все четыре вида суждения подлежат превращению:

1. Все S есть P → ни одно S не есть не-P.

2. Ни какой S не есть P → все S есть не-P.

3. Некоторые S есть P → некоторые S не есть не-P.

4. Некоторые S не есть P → некоторые S есть не-P.

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

Пример.

1) Все дельфины - млекопитающие → некоторые млекопитающие являются дельфинами.

2) Некоторые школьники - филателисты → некоторые филате­листы - школьники.

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

1) вместо P берем не-P;

2) меняем местами S и не-P;

3) связку меняем на противоположную.

Рассмотрим противопоставления предиката:

1. Все S есть P → ни одно не P не есть S.

2. Ни одно S не есть P → некоторые не P есть S.

3. Некоторые S не есть P → некоторые не P есть S.

4. Из частноутвердительного суждения необходимые выводы не следуют.

На основании отношений между суждениями 1-4 можно строить достоверные непосредственные выводы.

Например, пусть дано ис­тинное суждение "Все тюлени — ластоногие". Из него можно сде­лать следующие выводы:

1. Ни один тюлень не является ластоногим (2) — ложное суж­дение.

2. Некоторые тюлени — ластоногие (3) — истинное суждение.

3. Некоторые тюлени не являются ластоногими (4) — ложное суждение

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

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

С иллогизм (греч - syllogismos) — выведение следствия. В состав категорического силлогизма входят две посылки и заключе­ние. Понятия, входящие в состав силлогизма, называются термина­ми силлогизма. Фигурами силлогизма называются формы силлогизма, различающиеся по положению среднего термина М в посылках.

Раз­личают четыре фигуры:

ПРИМЕРЫ:

1) Все злаки (М) — растения (Р)

Рожь (S) — злак (M)

Рожь (S) — растение (Р)

2) Все честные люди (Р) — трудятся (М)

Иванов (S) — не трудится (M)

Иванов (S) — не является честным человеком (Р)

3. Все углероды (М) — простые тела (Р)

Все углероды (М) — электропроводны (S)

Некоторые электропроводники (S) — простые тела (P)

4) Все киты (Р) — млекопитающие (М)

Ни одно млекопитающее (М) не есть рыба (S)

Ни одна рыба (S) не есть кит (Р)

Особые правила фигур:

1 фигура. Большая посылка должна быть общей, меньшая — утверди­тельной.

2 фигура. Большая посылка общая и одна из посылок, а также зак­лючение —

отрицательные.

3 фигура. Меньшая посылка должна быть утвердительной, а заклю­чение — частное.

4 фигура. Общеутвердительных заключений не дает. Если большая посылка

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

посылок отрицательная, то большая посылка должна быть общей.