17. Простые суждения и их виды.
Простые – суждение, не содержащие в себе других суждений в качестве логической части.
Состав: субъект (S) – подлежащие, предикат (P) – логическое сказуемое.
Деление по характеру предиката:
Атрибутивные, указывающие на св-во присущие или не присущее субъекту. S (не) есть P
Реляционные или с отношениями, указывающие на отношения между предметами. R(а,b) (R обозначает отношение, a,b предметы)
Существования (экзистенциальные), отражающие факт существования или несуществования того или иного предмета мысли. Ǝ x P(x) – существует такой х, который обладает свойством Р.
18. Категорические суждения, их виды.
Атрибутивные суждения делят по 2 основаниям: качество и количество. качество определяется его логической связкой. Утвердительные (есть), отрицательные (не есть). количество определяется объемом, в котором берётся субъект. Общие, частные, единичные приравниваются к общим, т. к. субъект в них берется в полном объеме.
Атрибутивные суждения, определенные по количеству и качеству, называются категорическими.
Виды:
Общеутвердительные. Все S есть P. Обозначение – A.
Общеотрицательные. Ни один S не есть Р. Обозначение – Е.
Частноутвердительные. Некоторые S есть Р. Обозначение – I.
Частноотрицательные. Некоторые S не есть Р. Обозначение – О.
Выделяющие. Все S и только S есть Р. Обозначение – А'
Исключающие. Некоторые S и только S есть Р. Обозначение - I'
19. Распределенность терминов в категорических суждениях.
Субъект и предикат называются терминами суждения.
Термин называется распределенным, если он рассматривается в суждении в полном объеме. Распределенный термин «+», нераспределенный термин «».
|
Субъект (S) |
Предикат (P) |
А |
+ |
|
E |
+ |
+ |
I |
|
|
O |
|
+ |
А' |
+ |
+ |
I' |
|
+ |
20. Отношения между простыми суждениями. «Логический квадрат».
Сравнимые суждения – суждения, имеющие одинаковые термины, но различающиеся по количеству и качеству. Возникают отношения совместимости и несовместимости. Совместимость означает, что они могут быть вместе истинными (отношения подчинения, противности) несовместимость означает, что суждения не могут быть вместе истинными (отношения противоположности, ротиворечия).
– А и I, E и О находятся в отношении подчинения: это означает, что если подчиняющее суждение истинно (А или Е), то и подчиненное суждение (I или О) истинно, но не оборот. Если подчиненное суждение ложно, то подчиняющее ложно, но не наоборот.
– А и Е находятся в отношении противоположности (контрарности): они не могут быть одновременно истинными, но могут быть одновременно ложными
– I и О находятся в отношении частичного совпадения (противности, субконтрарности): они могут быть одновременно истинными, но не могут быть одновременно ложными
– А и О, I и Е находятся в отношении противоречия: не могут быть одновременно ни истинными, ни ложными