Структура. Субъект (S) связка Предика

	Субъект (S)		связка		Предикат (P)
		S есть / не есть P

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

1. простые (категорические), сложные;

2. атрибутивные, с отношениями существования;

3. утвердительные, отрицательные;

4. общие, частные, единичные;

5. соединительные, разделительные, условные.

Тема: «Силлогистика».

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

ü общеутвердительные: все S есть P – SaP

ü частноутвердительные: некоторые S есть P – SiP

ü общеотрицательные: все S не есть P – SoP

ü частноотрицательные: некоторые S не есть P – SeP

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

SaP

SiP

SoP

SeP

Круговые диаграммы при представлении моделей дают возможность наглядно проверять, выходят элементы за границы классов или нет. Для одного категорического суждения они позволяют провести анализ всех отношений между двумя классами. В конкретной задаче обычно число суждений Больше одного. Уже для трех суждений использование круговых диаграмм начинает терять наглядность.

Для двух суждений число вариантов моделей – 28; для трех – 28*14и так далее.

В любом случае существуют два варианта проверки вывода на правильность:

1. интерпретация на моделях;

2. через признаки и свойства правильных выводов.

Например, в силлогистике известны свойства, которым должен удовлетворять правильный вывод на двух посылках (на двух посылках 256 вариантов выводов). Эти выводы систематизированы по четырем группам. Для каждой группы (из 64 вариантов) только часть (около ⅓) правильны.