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

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

M⁺ a P^-

S ^- а M^-

S ^- i P^-

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

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

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

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

M⁺ a P ^{- (}общее, утвердительное суждение)

S ^- а M ^{- (}общее, утвердительное суждение)

S ^- i P ^{- (}частное утвердительное суждение)

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

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

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

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

Таким образом, наша форма силлогизма не нарушает правила посылок.

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

Фигура 1.

1) Большая посылка - общее суждение. Правило выполняется: большая посылка - общеутвердительное суждение А.

2) Меньшая посылка - утвердительное суждение. Правило выполнятся: меньшая посылка - общеутвердительное суждение А.

Вывод: ни одно правило силлогизма (правило терминов, правило посылок, правило фигуры) не нарушается, что подтверждает правильность формы.

3.2 Вторая фигура

Р - М

S - М

S - P

Пример:

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

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

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

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

S - право на обнародование произведения

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

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

Р ^- i М^-

S⁺ е M⁺

S ^- о P⁺

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

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

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

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

1 посылка

2 посылка

Закон 1 посылки: Р всегда пересекает М.

Закон 2 посылки: S не должно касаться М

Рассмотрим 1 вариант:

В данном случае нарушается закон 2 посылки, так как S пересекает М. То есть данный вариант невозможен.

Рассмотрим 2 вариант:

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

Рассмотрим 3 вариант:

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

Рассмотрим 4 вариант:

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

Рассмотрим 5 вариант:

В данном случае нарушается закон 2 посылки, так как S начинает пересекать М. То есть данный вариант невозможен.

Приведем общую схему по фигуре.

Вывод: таким образом, возможны 2, 3 и 4 варианты.

Вывод:

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

Следовательно, силлогизм является неправильным.

3.2.2 Проверка контрпримером

Р ^- i М^-

S⁺ е M⁺

S ^- о P⁺

Контрпример: Некоторые животные - кошки

Ни одна лисица не является кошкой

Некоторые лисицы не являются животными

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