Простой категорический силлогизм (ПКС). Термины и посылки ПКС. Понятие фигуры и модуса ПКС. Общие правила ПКС.

Категорический силлогизм – это дедуктивное умозаключение, в котором из двух категорических высказываний выводится новое категорическое высказывание.

В каждом силлогизме должно быть три термина: больший, меньший и средний.

Больший термин - предикат заключения. (Р)

Меньший термин – субъект заключения. (S)

Средний термин – присутствует в обеих посылках , но отсутствует в заключении. (М)

Условившись всегда помещать большую посылку на первое место, а под ней записывать меньшую посылку, можно все простые категорические силлогизмы разделить по фигурам.

Фигура - это структура простых категорических силлогизмов, определяемая расположение среднего термина посылка.

1.М – Р

\

2. S – M

-----------

3. S - P

Фигура 1.

1. P – M

|

2. S – M

-----------

3. S - P

Фигура 2.

1. М– P

|

2. М– S

-----------

3. S - P

Фигура 3.

1. P – M

/

2. М – S

-----------

3. S - P

Фигура 4

Посылками и заключениями силлогизмов могут быть категорические суждения четырех видов: SaP – общеутвердительные суждения, Sip – частные утвердительные суждения, SeP – общеотрицательные суждения, SoP – частные отрицательные.

Модусами силлогизма называются разновидности фигур, отличающихся характером посылок и заключения.

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

Фигура 1.

Barbara (aaa)

Celarent (eae)

Darii (aii)

Ferio (eio)

Barbari (aii)

Celaront (eao)

Фигура 2.

Baroko (aoo)

Cesare (eae)

Camestres (aee)

Festino (eio)

Camestrop (aea)

Cesaro (eao)

Фигура 3.

Bokardo (oao)

Disamis (iai)

Datisi (aii)

Ferison (eio)

Darapti (aai)

Felapton (eao)

Фигура 4.

Bramantip (aai)

Dimaris (iai)

Camenens (aae)

Camenos (aeo)

Fesapo (eao)

Fresison (eio)

Общие правила ПКС.

I. Правила терминов:

1) в силлогизме должно быть только 3 термина

Термин М должен быть одним и тем же понятием в обеих посылках, иначе получим ошибку, называемую "учетверением терминов".

2) средний термин должен быть распределен хотя бы в одной из посылок.

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

3) термин, не распределенный в посылках, не может быть распределен в заключении.

При нарушении этого правила возникает лог. ошибка "незаконное расширение термина".

II. Правила посылок:

1) Из двух отрицательных посылок заключение сделать нельзя (хотя бы одна из посылок должна быть утвердительной).

2) Из двух частных посылок заключение не следует (хотя бы одна из посылок должна быть общим суждением).

Из двух частных посылок правильное заключение сделать невозможно.

3) если одна из посылок - отрицательное суждение, то и заключение должно быть отрицательным.

4) если одна из посылок частная, то и заключение должно быть частным.