Простым суждением является суждение, ни одна из логических частей которого не является суждением.
Например: «кража есть преступление»
Элементы суждения: субъект – предмет мысли («S», называют логическим подлежащим)
Предикат – мыслимое о субъекте («P», называют логическим сказуемым)
Связка – связь между субъектом и предикатом
Квантор – характеризует количественную сторону субъекта суждения (")
Виды:
1. В зависимости от предиката:
Атрибутивное суждение – утверждается или отрицается признак предмета
Экзистенциальное суждение – утверждается или отрицается сам факт существования предмета мысли
Реляционные суждения – в предикате выражаются отношения между предметами
2. По составу субъекта и предиката :
Со сложным субъектом – в субъекте указывается ряд понятий ( , и есть P)
Со сложным предикатом – в предикате указываются ряд признаков, присущих предмету
(S есть , и )
Сочетание сложного S и P ( , и есть , и )
3. По качеству связки:
Утвердительные – предметам приписываются свойства
Отрицательные – отсутствие свойств у предмета
4. В зависимости от объёма:
Единичные – суждение об одном предмете («это S есть(не есть) P»)
Частные – суждение о части предметов (некоторые S есть(не есть) P)
Общие - суждения обо всех предметах (все S есть P)
16.Объединённая классификация суждений по количеству и качеству. Распределённость терминов.
по объединённой классификации суждений (по количеству и качеству) простые суждения делятся на общеутвердительные(А), общеотрицательные(Е), частноутвердительные(I) и частноотрицательные(O)
Распределённость терминов – это количественная характеристика субъекта и предмета в суждении.
Термин считается распределённым(+), если его объём полностью включается в объём другого или полностью исключается из него.
Нераспределённым (–), если частично включен или частично исключён из другого термина.
Общеутвердительное(А) «все S есть P» , если выделяющее, то объёмы S и P совпадают
Общеотрицательное(E ) «ни один S не есть P»
Частноутвердительное(I) «Некоторые S есть P», если выделяющее, то P(+)
Частноотрицателное(О) «некоторые S не есть P», если выделяющее, то P(+)