Поэтому будет грубейшей ошибкой считать большей посылкой ту, которая стоит первой

Простой Категорический Силлогизм.

Примеры

Все народы имеют право на самоопределение.

Некоторые народы не имеют права на самоопределение.

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

Ни один приговор суда не является оправдательным

Противоположность:

Из истинности одного суждения следует ложность другого, но из ложности одного нельзя сказать об истинности другого.

Например, из ложности

“Все приговоры суда являются оправдательными”

не следует истинность

“Ни один приговор суда не является оправдательным”

Выводы строятся по схемам:

А → не- Е; Е → не- А; не- А → (Е Ú не- Е); не- Е → (А Ú не- А)

Частичная совместимость:

Из ложности одного следует истинность другого, но из истинности одного может следовать как истинность, так и ложность другого.

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

Выводы строятся по схемам:

не- I → О; не- О → I; I → (О Ú не- О); О → (I Ú не- I)

Подчинение:

С точки зрения истинности:

Из истинности подчиняющего следует истинность подчиненного, но не наоборот.

Например:

“Все свидетели допрошены”

“Некоторые свидетели допрошены”

Схемы выводов:

А → I; Е → О; I → (А Ú не- А); О → (Е Ú не- Е)

С точки зрения ложности:

Из ложности подчиненного суждения следует ложность подчиняющего, но не наоборот.

Схемы выводов:

не- I → не- А; не- О → не- Е; не- Е → (О Ú не- О); не- А → (I Ú не- I)

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

Силлогизм – от греч. sullogismoz – выведение следствия, заключение, счисление.

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

Формулировка Аристотеля: “Силлогизм есть речь, в которой, если нечто предложено, то с необходимостью вытекает нечто отличное от положенного”

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

Категорический – потому, что суждения категорические.

Все люди – смертны Сократ – человек		М — Р S — М
Сократ – смертен		S — Р

Видно, что объем Р в выводе больше, чем объем S. Именно поэтому предикат вывода (Р) считается бóльшим термином, а субъект (S) – меньшим.

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

Как правило, большую посылку располагают при записи силлогизма вверху, а меньшую – под ней.

М — Р S — М	Но можно и так:	S — М М — Р
S — Р		S — Р

Логический вывод умозаключения от перестановки посылок местами – не изменился! Не зависит!

Взаимное расположение терминов S, Р, М в силлогизме называется фигурой.

Возможны 4 фигуры:

М Р     S М

Р М     S М

М Р     М S

Р М     М S

1-ю фигуру открыл Аристотель. Он же описал 2-ю и 3-ю фигуры. 4-ю фигуру открыл ученик Аристотеля Теофраст (4 в. до н.э.), но подробно описал римский ученый Гален (2 в.), поэтому ее иногда называют Галеновской фигурой.

Аристотель считал первую фигуру «совершенной», а все остальные – «несовершенными». Такое отношение сохранялось многие века и даже были разработаны специальные правила сведения всех видов умозаключений других фигур к первой фигуре. В чем же ее притягательность?

Прежде всего в том, что только 1-я фигура может строить общеутвердительные умозаключения.

Кроме того, из 1-й фигуры можно получить все 4 разновидности суждений заключения: А, Е, I, О.

Пришло время поговорить о модусах.

Каждая из двух посылок силлогизма может быть одним из 4-х видов суждений. Получается 16 (2⁴=16) теоретически возможных вариантов сочетаний 2-х посылок. По четырем фигурам получается 64 возможных варианта построения силлогизма. Виды силлогизмов, отличающиеся по количеству и качеству посылок, называются модусами (от лат. modus – мера, образ).

Правильными являются только 19. Остальные противоречат правилам построения силлогизмов.

1-я ф.: AAA; EAE; AII; EIO

2-я ф.: EAE; AEE; EIO; AOO

3-я ф.: AAI; IAI; AII; EAO; OAO; EIO

4-я ф.: AAI; AEE; IAI; EAO; EIO

Для более удобного запоминания были даже придуманы специальные имена каждого из модусов, например, для 1-й фигуры:

Дата добавления: 2014-01-05