Решение силлогизмов (по Л.Кэрролу)

Метод индексов

x m o - Ни один x m не существует

Ни один х не есть m.

Ни один m не есть x.

x 1 m ¢ o - Все x суть m.

m 1 x ¢ o - Все m суть x.

x m 1 - Некоторые x m существуют.

Некоторые x суть m.

Некоторые m суть x.

 

Фигура I . ( 18 пар )

x m o & y m ¢ o ® x y o

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

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

 

Фигура I I. ( 12 пар )

x m o & y m 1 ® x ¢ y 1

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

 

Фигура I I I. ( 10 пар )

x m o & y m o & m 1 ® x ¢ y ¢ 1

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

формы ошибок

x m o

x m¢ o

x1m o

x1m¢ o

m1x o

m¢ 1x o

x m 1

x m¢ 1

y m o

y m¢ o

y1m o

y1m¢ o

m1y o

m¢ 1y o

y m 1

y m¢ 1

1 форма (8 пар)

Ошибка исключаемых терминов одного знака, существование которых не утверждается

 

 2 форма (12 пар)

Ошибка исключаемых терминов разных знаков с посылкой - реальностью.

 

 3 форма (4 пары)

Ошибка двух посылок - реальностей.

 

фигура I

x m o

x m¢ o

x1m o

x1m¢ o

m1x o

m¢ 1x o

y m o

y m¢ o

y1m o

y1m¢ o

m1y o

m¢ 1y o

фигура I I I

x m o

x m¢ o

x1m o

x1m¢ o

m1x o

m¢ 1x o

y m o

y m¢ o

y1m o

y1m¢ o

m1y o

m¢ 1y o

фигура I I

x m o

x m¢ o

x1m o

x1m¢ o

m1x o

m¢ 1x o

x m 1

x m¢ 1

y m o

y m¢ o

y1m o

y1m¢ o

m1y o

m¢ 1y o

y m 1

y m¢ 1

Сайт управляется системой uCoz