ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
ПЛАН
1. Внутренняя структура элементарных суждений. Логический квадрат
2. Непосредственные умозаключения
3. Категорический силлогизм
4. Полисиллогизмы
5. Энтимемы. Логика общения и спора
6. Сориты и эпихейремы
Литература
1. ВНУТРЕННЯЯ СТРУКТУРА ЭЛЕМЕНТАРНЫХ СУЖДЕНИЙ. ЛОГИЧЕСКИЙ КВАДРАТ
Элементарное суждение состоит из двух понятий S и P соединённых с помощью связок «есть», «не есть». Понятие S , отображающее предмет мысли суждения, называется субъектом суждения, а понятие P, в котором высказывается, что собой представляет субъект S , - предикатом суждения. Если предикат относится ко всему объему субъекта, то это выражается словами «Все S », если же только к его части, то «Некоторые S ». Так что S и P могут объединяться в четыре вида суждений:
1. Общеутвердительные суждения. Они символически обозначаются ASP или, еще короче, А. Это читается так: «Все S суть P ». Схематически соотношение между S и P изображается так:
или так
2. Общеотрицательные суждения. Они символически обозначаются ESP или, еще короче, Е. Это читается: «Все S не есть P ». Диаграммы Эйлера для S и Р имеет вид:
3. Часто утвердительные суждения. Они символически обозначаются ISP или, еще короче, I. Это читается так: «Некоторые S есть P». Диаграммы Эйлера для S и Р имеет вид:
или вид,
где заштрихованная часть изображает общие элементы объемов S и Р.
4. Частноотрицательны суждения. Они символически обозначаются OSP или, еще короче, О. Это читается: «Некоторые S не есть Р». Диаграммы Эйлера для S и Р имеет вид:
где заштрихованная часть изображает несовпадающие элементы S и Р.
Вообще, вопрос, сколькими возможными способами могут быть связаны два понятия Х и У в суждениях, решается с помощью диаграмм Эйлера. Объемы понятий Х и У могут быть связаны одними и только одним из пяти способов:
Выписывая под каждой из диаграмм четыре категорических суждения мы получим все взаимоисключающие способы, которыми могут быть логически связаны два понятия Х и У в суждения.
А х у
А ху
A yx
I xy
A yx
I xy
I yx
I xy
I yx
O yx
I yx
O xy
I xy
E xy
I yx
E yx
O xy
O xy
O yx
О yx
Византийский логик Михаил Пселл предложил наглядную схему, облегчающую запоминание характера взаимоотношений между истинным значением четырех видов суждений A, E, I, O, образованных из понятий S и P. Она получила название логического квадрата и выглядит так:
Противные суждения, например, суждения «Все учащиеся нашего класса - отличники», «Ни один учащийся нашего класса не отличник» не могут быть одновременно истинными. ............
