3.3.3 Проверка на соответствие правилам силлогизма

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

М⁺ а Р^-

М ^- i S^-

S⁺ е P⁺

1) В силлогизме должно быть только 3 термина. Правило выполнено: S, Р, М.

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

3) Термин, не распределенный в посылке, не должен быть распределен и в заключении. Правило не выполняется по Р и по S: в посылках они не распределены, а в заключении - распределены.

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

М⁺ а Р ^{- (}общая утвердительная посылка)

М ^- i S ^{- (}частная утвердительная посылка)

S⁺ е P⁺ (общая отрицательная посылка)

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

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

3) Из двух частных посылок заключение не следует. Правило выполняется: одна из посылок является общей (суждение А).

4) Если одна из посылок - частное суждение, то заключение должно быть частным. Правило не выполняется: меньшая посылка - частная (суждение I), заключение - общее (суждение Е).

Правила фигуры:

1) Меньшая посылка - утвердительное суждение. Правило выполняется: меньшая посылка - частное утвердительное суждение I.

2) Заключение - частное суждение. Правило не выполняется: заключение - общеотрицательное суждение Е.

Вывод:

Нарушено одно правило терминов, одно правило посылок и одно правило фигуры, что подтверждает неправильность формы.

3.4 Четвертая фигура

Р - М

М - S

S - P

Пример:

Все авторские права охраняют произведения искусства

Ни одно произведение искусства не охраняется правом интеллектуальной собственности

Все права интеллектуальной собственности являются авторскими правами

Логическая форма силлогизма:

S - права интеллектуальной собственности

Р - авторские права

М - произведения искусства

Р⁺ а М^-

М⁺ е S⁺

S⁺ а P^-

Модус АЕА - неправильный

Форма силлогизма: модус АЕА, четвертая фигура.

3.4.1 Проверка правильности силлогизма совмещением круговых схем

Составим круговые схемы посылок:

1 посылка

2 посылка