8.6. Графический способ проверки правильности выводов из фигур ПКС.

Основу аналитического способа проверки правильности выводов из фигур ПКС составляет качественный анализ логических рассуждений: в каждом конкретном случае проверяется качество выполнения всех выше оговоренных условий (правил терминов, правил посылок и собственных правилах фигур).

Гораздо проще для проверки правильности проведенных рассуждений использовать графический способ, основанный на схематичном описании отношений между объемами Р, М и S, содержащихся в посылках и в заключении рассматриваемой фигуры ПКС при помощи кругов Эйлера.

В качестве примера применения графического способа рассмотрим следующий силлогизм:

Все поэты — гуманисты.
Юристы — не поэты.
Юристы — не гуманисты.

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

Все поэты (М) — гуманисты (Р). М — Р (большая посылка)

Юристы (S) — не поэты (М). S — M (меньшая посылка)

Юристы (S) — не гуманисты (Р). S — P ( заключение)

Изобразим с помощью кругов Эйлера отношения между объемами S и P терминов для каждой из посылок этой фигуры:

Эта схема совпадает со схемой соотношения объемов S и Р в заключении. Но поскольку расстояние между объемами S и М берется произвольно, то помимо данного варианта могут быть получены и варианты пересечения объема S с объемом Р, и даже подчинения объема S объему Р. Неоднозначность ситуации является достаточным основанием для признания неправильности сделанного вывода: «Юристы — не гуманисты».