Структура
Суждение.
Понятия используются в суждениях, частным случаем в которых может быть определение. Например, определение через тождество. В логике базовым суждением является слово.
|
|
| ||||||
|
В зависимости от того, что произведено с конкретными базовыми суждениями различают следующие типы суждений:
1. простые (категорические), сложные;
2. атрибутивные, с отношениями существования;
3. утвердительные, отрицательные;
4. общие, частные, единичные;
5. соединительные, разделительные, условные.
Тема: «Силлогистика».
В логике выделяют категорические суждения в набор, конкретное применение которых изучает силлогистика. Она работает со следующими базовыми суждениями:
ü общеутвердительные: все S есть P – SaP
ü частноутвердительные: некоторые S есть P – SiP
ü общеотрицательные: все S не есть P – SoP
ü частноотрицательные: некоторые S не есть P – SeP
Вернемся к моделям, которые используют для интерпретации категорических высказываний и их совокупностей. Для этого также воспользуемся круговыми диаграммами без ссылок на универсум.
 |  |