Противопоставление предиката.

S Р ? не P S

В частно-утвердительных суждениях вывод не возможен.

Для проверки правильности противопоставления предиката необходимо:

• Исходную посылку превратить

• Полученное заключение обратить

Пример:

Незнание закона не освобождает от ответственности. безответственность освобождает от знания закона.

Венера планета солнечной системы. ни одна из планет солнечной системы не является Венерой.

Недееспособные граждане имеют право на социальные выплаты. Несоциальные выплаты не предоставляются недееспособным.

Для проверки правильности противопоставления предиката необходимо:

• Исходную посылку превратить.

• Полученное заключение обратить.

Силлогизм. (простой категорический)

Все студенты (М) должны знать логику (Р).

Братья Сидоровы (S) – студенты (М).

Братья Сидоровы (S) должны знать логику.

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

Силлогизм содержит три термина:

Р (предикат заключения) – больший

S (субъект в заключении) – меньший

М (не должно быть в заключении, но в обеих посылках) – средний

Правило написания: посылка с большим термином (Р) стоит на первом месте, потом с меньшим и вывод.

Правила простого категорического суждения (необходимые условия правильного вывода):

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

• Должно быть только 3 термина. Ошибка: учетверение терминов.

Пример:

Исторически деятели (М) – это люди, оказывающие заметное влияние на развитие общества (Р).

Ноздрев (S) был в некотором отношении исторический человек (M2).

Ноздрев (S) в некотором отношении оказал заметное влияние на развитие общества (P).

Второй термин двусмысленный, слово «исторический человек» употреблено не в том смысле, о котором говорится в первом термине.

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

Ошибка: если средний термин (М) не распределен в обеих посылках, вывод невозможен нераспределенность среднего термина.

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

Ошибка: незаконное расширение крайнего термина.

2. Правило посылок.

• Хотя бы одна из посылок должна быть утвердительной.

• Хотя бы одна из посылок должны быть общей.

• При одной отрицательной посылке заключение должно быть отрицательным.

• При одной частной посылке заключение тоже частное.

• Понятия должны быть однозначны.

Фигуры силлогизма:

Большая посылка должны быть общим суждением. Меньшая должна быть утвердительной.

AAA, EAE, AII, EIO

Большая посылка – общая. Одна из посылок отрицательная.

EAE, AEE, EIO, AOO

Меньшая посылка –утвердительная. Заключение – частное.

AAI, IAI, EAO, OAO, EIO, AII

AAI, AEE, IAI, EAO, EIO

Вывод частный.

Алгоритм разбора простого категорического силлогизма.

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

2. Определить структуру. Выписать отдельно в две строки термины большей и меньшей посылки, соединить линиями символы в строчках.

3. Определить модус силлогизма. Слева от каждого суждения указываем вид. Силлогизм правильный, если фигура и вид подходят.

4. Устанавливаем отношения в круговых схемах.

5. Устанавливаем распределенность.

6. Проверить силлогизм на соответствие правилам. Если есть ошибка, то указываем ее.

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

Энтимема – разновидность простого категорического силлогизма, в которой отсутствует одна из посылок или заключение.