2. Проанализируйте состав следующего простого категорического силлогизма: (силлогизм не дан).

Структура простого категорического силлогизма:

M a P

S a M , где М — средний термин, а S и Р — крайние термины.

S a P

S – меньший термин  меньшая посылка

З — больший термин  большая посылка.

Аксиома силлогизма:

• Если объем одного термина полностью входит в объем второго, а объем второго полностью входит в объем третьего, то и объем первого полностью входит в объем третьего.

• Если объем одного термина полностью входит в объем второго термина, а объем второго полностью исключается из объема третьего, но и объем первого полностью исключается из объема третьего

• Все, что сказано о роде, сказано о виде и индивиде:

Ma P

S a M

S a P

• Все, что не сказано о роде, не сказано о виде и индивиде:

Mе P

S a M

S е P

Распределенность терминов в простом суждении:

Термин суждения (субъект, предикат) считается распределенным, естли в данном суждении он мыслится во всем объеме.

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

• Субъект всегда распределен в общих и единичных суждениях.

• Предикат всегда распределен в отрицательных суждениях.

Общеутвердительные суждения (A)		Частноутвердительные суждения (I)		Общеотрицательные суждения (E)	Частноотрицательные суждения (O)
S+aP-	S+aP+	S-iP-	S-iP+	S+eP+	S-oP+
SP	S P	P S	S P	S P	P S S P

№25

1. Прямое и косвенное доказательство.

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

Состав доказательства:

• Тезис — суждение, истинность которого следует доказать.

• Аргументы (или основания) — истинные суждения, из которых следует тезис.

• Форма (или демонстрация, методы и способы доказывания опровержения) — умозаключение связывающее аргументы с тезисом.

Виды доказательств:

1. Прямые (истинность тезиса непосредственно следует из истинности аргумента)

2. Косвенные:

• апгогическое — доказательство от противного

• разделительное — доказательство, где тезис — одна из альтернатив разделительного суждения, причем в этом суждении должны быть перечислены все альтернативы, кроме одной, которая и является тезисом доказательства.

Доказательством в самом широком смысле следует называть логическую процедуру выявления или восстановления последовательности в рассуждении, целью которой является установление (подтверждение) истинности некоторого высказывания.

2. Определите фигуру и модус следующего категорического силлогизма: (силлогизм не дан).

Фигуры и модусы простого категорического силлогизма:

	I фигура	II фигура	III фигура	IV фигура
Большая посылка Меньшая посылка Заключение	M – P S – M S – P	P – M S – M S – P	M – P M – S S – P	P – M M – S S – P
Условный вид фигур
Модусы	Barbara Celarent Darii Ferio	Cesare Camestres Festino Baroco	Darapti Disamis Datisi Felapton Bocardo Ferizon	Bramantip Camenes Dimaris Fesapo Frezizo
Правила фигур	Большая посылка обязательно общее суждение. Меньшая посылка — утверждение.	Большая посылка всегда общее суждение. Одна из посылок отрицательная.	Меньшая посылка всегда утвердительное суждение. Заключение — частное.	1) Если большая посылка — утвердительное суждение, то меньшая посылка — общее суждение. 2) Если одна посылка отрицательная, то большая посылка общая.

№26