Задание 2. Является ли правильным следующий силлогизм, если нет, то какие правила фигур или общие правила в нем нарушены? Проиллюстрируйте необходимость следования (или отсутствие такой необходимости), вычерчивая отношения между терминами силлогизма, в виде круговых схем

Все интеллигентные люди борются за мир.

Все они являются прогрессивными людьми.

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

Решение:

Записываем рассуждение в форме умозаключения:

Посылка: Все интеллигентные люди  (М) борются за мир (P).

Посылка:  Все они  (интеллигентные люди) (М) являются прогрессивными людьми (S)

Заключение: Все прогрессивные люди (S)  борются за мир (P)

 «прогрессивные люди» - субъект заключения – меньший термин силлогизма (S), «люди, которые борются за мир» - предикат заключения – больший термин силлогизма (Р)

Перенесем обозначения S и Р в посылки и определим средний термин: «интеллигентные люди» (М)

Проверим идентичность среднего термина в посылках: термины в посылках идентичны.

Логическая форма умозаключения в символической записи.

Все М есть Р (А)

Все М  есть S (А)

___________________

Все S есть Р (А)

Для определения фигуры силлогизма графически изобразим структуру посылок:

По положению среднего термина в посылках определяем фигуру: 3 фигура.

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

Данный модус является неправильным  модусом 3 фигуры силлогизма,

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

Все М + есть Р-

Все  М + есть S-

___________________

Все S+ есть Р-

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

 Определим отношение между терминами в посылках силлогизма:

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