Логика. Шпаргалка

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

Энтимема – это сокращенная форма простого категорического силлогизма.

Различают три типа энтимемы. Энтимемы бывают корректными и некорректными.

Проверка энтимемы осуществляется в несколько этапов:

1) определение пропущенного элемента;

2) восстановление в полный категорический силлогизм (если это возможно).

Если энтимема не восстанавливается, то она заведомо неправильна и некорректна. Энти—мема корректна, если она восстанавливается в правильный силлогизм.

Проверим энтимему «Он сдал экзамен, следовательно, он перейдет на второй курс».

Первым шагом будет определение пропущенного в этимеме элемента. На наличие заключения в энтимеме обычно указывают слова: «так как», «потому что», «поскольку» и иные или: значит, следовательно, поэтому. Слова первой группы показывают, что стоит перед ними, а после них идет посылка, слова второй группы показывают, что заключение стоит после них. Если указанных слов нет, то в этимеме пропущено заключение. В данной энтимеме заключением будет суждение «он перейдет на второй курс». Запишем умозаключение в стандартном виде:

Он сдал экзамен

Он перейдет на второй курс.

Итак, в рассматриваемой энтимеме пропущена посылка, поэтому ход проверки будет следующим.

Найдем крайние термины силлогизма

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

Он (S) сдал экзамен (M).

Он (S) перейдет на второй курс (P).

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

A Все S + суть M-.

A Все S + суть P-.

Определим, какие термины входят в восстанавливаемый элемент (в рассматриваемом случае в посылку). Необходимо также выяснить ее качество, количество и порядок терминов в ней, чтобы были соблюдены правила распределенности среднего и крайних терминов.

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

A Все M + суть P-.

A Все S + суть M-.

A Все S + суть P-.

Содержательно формулируем восстановленный элемент (в данном случае посылку) и устанавливаем ее истинность. Суждение «Все сдавшие экзамены переходят на второй курс», получаемое в итоге может быть как истинным, так и ложным в зависимости от ситуации.

53 ОСОБЕННОСТИ И ВИДЫ СЛОЖНОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА