30.Аксиома силлогизма. Правила терминов и правила посылок силлогизма.

Аксиома силлогизма —основной принцип силлогизма, сформулированный Аристотелем: “Когда одно сказывается о другом, как о подлежащем, то все, что говорится о сказуемом, будет говориться и о подлежащем”.

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

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

1.в силлогизме должно быть только 3 термина. Ошибка учетверения терминов встречается довольно часто и обусловлена многозначностью слов нашего повседневного языка. Одно и то же слово в одной посылке может употребляться в одном смысле, а в другой – в ином и выражать разные понятия. Получается 4 термина.

2.средний термин должен быть распределен (взят в полном объеме) хотя бы в одной посылке. Если большая посылка говорит лишь о части объема среднего термина и меньшая – только о части его объема, то мы ничего не можем сказать о соотношении объемов крайних терминов.

3.если термин не распределен в посылке, то он не может быть распределен и в выводе.

1)все судьи справедливы

2)прокуроры не есть судьи

3)прокуроры несправедливы

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

1.из двух отрицательных посылок вывода не следует.

2.если одна из посылок – отрицательное суждение, то и вывод должен быть отрицательным.

1)все дельфины – млекопитающие

2)это животное не является млекопитающим

3)это животное не является дельфином

3.из двух частных посылок вывода не следует.

Некоторые растения – лекарственные травы

Некоторые организмы – растения

4.если одна из посылок – частное суждение, то и вывод должен быть частным. Попытка при частной посылке сделать общий вывод приводит к нарушению либо правила 2, либо правила 3.

32.Модусы силлогизма. Правила вывода модусов.

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

Правила вывода:

1.Правило вывода утверждающего модуса (модус поненс): от утверждения основания условной посылки переходим в выводе к утверждению ее следствия.

Если у человека повышена температура, то он болен.

У данного человека повышена температура

Данный человек болен.

2.Правило вывода отрицающего модуса (модус толленс): от отрицания следствия условное посылки переходим в выводе к отрицанию ее основания.

Если у человека повышена температура, то он болен.

Данный человек не болен.

У данного человека не повышена температура.

3.Правило вывода утверждающе-отрицающего модуса (модус понендо-толленс): от утверждения одной из альтернатив переходим в выводе к отрицанию другой.

4.Правило вывода отрицающе-утверждающего модуса (модус толлендо-поненс): от отрицания одной из альтернатив переходим в выводе к утверждению другой.

33.Умозаключения из сложных суждений. Их виды.

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

Виды:

1. Условный силлогизм - силлогизм, в котором хотя бы одна посылка является импликативным (условным) суждением.

2. Разделительный (альтернативный) силлогизм - силлогизм, в котором есть исключающе-разделительное суждение(строгая дизъюнкция).

3. Условно-разделительный силлогизм – силлогизм, в котором одна посылка – условное, другая – разделительное суждение.