13. Лог структура судження

Те, про що говориться у судженні називається "предметом думки у судженні" або "логічним підметом судження", або "суб'єктом судження" і позначається буквою латинського алфавіту "S".

те, що говориться у судженні про предмет думки називається "ознакою предмета думки" або "логічним присудком судження", або "предикатом судження" і позначається буквою латинського алфавіту "Р".

Відношення між предметом думки і ознакою предмета думки фіксується логічною ознакою "є/не є", "суть /не суть".

"S" і "Р" називаються термінами судження.

14. Види простих суджень

Усю множину суджень можна поділити на дві підмножини:

• прості - судження у якому жодна логічна частина не є окремим судженням, яке не має самостійних частин.

• складні - судження, яке складається із двох або більше простих суджень, що пов'язані логічними сполучниками, а кожна із його правильних частин буде окремим судженням.

За характером ознаки, яка представлена предикатом судження, розрізняють такі види простих суджень:

а) атрибутивні - таке просте судження предикат якого представляє таку ознаку як властивість. - "Франція є республікою"

б) судження з відношеннями - вид простих суджень у яких предикат представляє таку ознаку як відношення між предметами. – Вова старший за Сергія

в) судження існування - вид простих суджень в яких предикат виражає наявність предмета. - Не існує життя на Місяці

Інтерес до атрибутивних суджень у традиційній логіці був викликаний тим, що вони виступили вихідним матеріалом у побудові Арістотелем першої теорії логічного висновку - силогістики.

За якістю виділяють:

- стверджувальні

- заперечувальні 

За кількістю розрізняють:

- одиничні - суб'єктом виступає одиничне поняття

- загальні -  суб'єктом є загальне поняття

- часткові - суб'єкт представляє частину класу досліджуваних предметів

Зведена класифікація:

- загальностверджувальні -  судження, яке за кількістю є загальним, а за якістю стверджувальним (А).  "Будь-яка планета має природний супутник".

- частковостверджувальні - судження, яке за кількістю є частковим, а за якістю стверджувальним (І).  "Деякі злочини є посадовими"

- загальнозаперечувальні -  судження, яке за кількістю є загальним, а за якістю - заперечувальним (N). "Жоден мій знайомий не був серед учасників семінару"

- частковозаперечувальні - судження, яке за кількістю є частковим, а за якістю заперечувальним (О).

15. Суть термінів в категоричному судженні

Включення або невключения обсягу одного терміну до обсягу другого терміну визначає таке важливе для характеристики атрибутивних суджень відношення як "розподіленість термінів".

Термін S або Р називається р о з п о д і л е н и м у даному судженні, якщо він взятий у повному обсязі. Н е р о з п о д і л е н и м називається термін, якщо він взятий у неповному обсязі. Тобто, термін атрибутивного судження називається розподіленим, якщо його обсяг повністю включається або повністю виключається із обсягу другого терміну. Термін нерозподілений, якщо його обсяг частково включається або виключається із обсягу другого терміну

Розподілений термін позначається знаком (+), а нерозподілений - знаком ( - ).

Категоричне судження - судження, в якому констатується наявність чи відсутність властивості предмета безвідносно до будь-яких умов.

За кількістю, тобто за обсягом суб'єкта, категоричні судження поділяють на загальні ("Всі люди мають свідомість"); часткові ("Деякі люди - талановиті") та одиничні ("Гегель - геніальний мислитель").