Судження як форма думки - логіка
а) Види і структура суджень
Види простих суджень, які класифікуються за таких підстав.
1. За обсягом суб'єкта (за кількістю).
Поодинокі - судження, що включають твердження або заперечення про один предмет. Формула такого судження:
Це S є (не є) P.
Приватні судження, в яких щось стверджується або заперечується про частину предметів деякого класу. Ця частина може бути невизначеною і визначеною. Залежно від даної обставини приватні судження поділяються на невизначені і певні.
У невизначених судженнях логічна схема така: «Деякі 8 є Р». Слово «деякі» надає їм невизначеність.
Певне приватне судження містить знання і про ту, і про іншу частину суб'єкта судження. Воно має таку логічну схему:
Загальні - судження, в яких щось стверджується або заперечується в кожному предметі даного класу. Логічна схема таких суджень має вигляд:
2. За якістю зв'язки судження можуть бути позитивні або негативні.
Слід розрізняти негативне судження і негативну форму вираження позитивної думки. Такого виду судження не завжди ідентичні.
3. За змістом предиката судження поділяються на судження властивості (атрибутивні), судження відносини (релятивних) і судження існування (екзистенційні).
Судження властивості відбивають належність чи неналежність предмету думки тієї чи іншої властивості, стану.
Судження відносини виражають різні зв'язки між предметами думки за місцем, часом, величиною та інше.
Судження існування покликані вирішувати питання про наявність предмету нашої думки - будь-якого явища природи, суспільства або духовного життя.
б) Класифікація простих атрибутивних суджень за кількістю
За якістю і кількістю розрізняють чотири види простих атрибутивних висловлювань:
A - від лат. Affirmo - Общеутвердітельние ( «Всі люди смертні»)
Общеутвердітельное судження - загальне за обсягом і стверджувальне за якістю зв'язки. Його структура: «Всі S є Р», а символом служить латинська буква «А».
I - від лат. Affirmo - Частноутвердітельное ( «Деякі люди - студенти»)
Частноутвердітельное судження - приватне за обсягом суб'єкта і стверджувальне за якістю зв'язки. Його структура: «Деякі S є Р». Символом частноутвердітельних суджень служить буква «I».
E - від лат. Nego - Общеотріцательное ( «Жоден кит не риба»)
Общеотріцательное судження - загальне за обсягом суб'єкта і негативне за якістю зв'язки. Його структура: «Жодне S не є Р». Символом общеотріцательних суджень служить буква «Е».
O - від лат. Nego - частноотріцательние ( «Деякі люди не є студентами»)
Частноотріцательное судження - приватне за обсягом і негативне за якістю зв'язки. Його структура: «Деякі S не є Р», а символом служить буква «О».
Поодинокі вислови (такі, в яких суб'єкт є одиничним терміном) прирівнюються до загальних.
в) Розподіленість термінів у простому атрибутивном судженні
Суб'єкт завжди розподілений в загальному висловлюванні і ніколи не розподілений в приватному висловлюванні.
Предикат завжди розподілений в негативному висловлюванні і ніколи не розподілений в позитивному висловлюванні.
Як предиката, в деяких випадках, може виступати суб'єкт
У логічних операціях з судженнями виникає необхідність встановити, розподілені або не розподілені його терміни - суб'єкт і предикат. Термін вважається розподіленим, якщо він узятий в повному обсязі. Термін вважається нерозподіленим, якщо він узятий в частині обсягу.
Розглянемо, як розподілені терміни в судженнях А, Е, I, О.
Судження А (Усі S суть Р). «Всі студенти нашої групи (S) склали іспити (Р)». Суб'єкт розподілений, він узятий в повному обсязі: мова йде про всіх студентів нашої групи. Предикат цього судження не розподілений, так як в ньому мислиться тільки частину осіб, які здали іспити, що збігається зі студентами нашої групи.
Таким чином, в общеутвердітельних судженнях S розподілений, а Р не розподілений. Однак в общеутвердітельних судженнях, суб'єкт і предикат яких мають однаковий обсяг, розподілений не тільки суб'єкт, але і предикат. До таких суджень відносяться общевиделяющіе судження, а також визначення, що підкоряються правилу пропорційності.
Судження Е (Жодне S не є Р). «Жоден студент нашої групи (S) не є неуспевающим (Р)». І суб'єкт, і предикат взяті в повному обсязі. Обсяг одного терміна повністю виключити-ється з обсягу іншого: жоден студент нашої групи не входить в число невстигаючих, і жоден невстигаючий не є студен-том нашої групи. Отже, в общеотріцательних судження-ях і S, і Р розподілені.
Судження I (Деякі S суть Р). «Деякі студенти нашої групи (S) - відмінники (Р)». Суб'єкт цього судження не розбраті-діловий, так як в ньому мислиться тільки частину студентів нашої груп-пи, обсяг суб'єкта лише частково включається в обсяг предиката. Але і обсяг предиката лише частково включається в обсяг суб'єкта: в повному обсязі, а лише деякі відмінники - студенти нашої групи.
Отже, в Частноутвердітельное судження ні S, ні Р не розподілені.
Судження О (деякі S не має Р). «Деякі студенти нашої групи (S) - не відмінники (Р)». Суб'єкт цього судження не розподілений, пре-дікат розподілений, в ньому мисляться всі відмінники, жоден з кото-яких не включається в ту частину студентів нашої групи, яка мислиться в суб'єкті. Отже, в частноотріцательние судилося-ванні S не розподілений, а Р розподілений.
г) Правила виведення з суджень по логічному квадрату
Непорівнянні серед простих є судження, які мають різні суб'єкти або предикати. Такі, наприклад, два судження: «Серед космонавтів є льотчики»; «Серед космонавтів є жінки».
Порівнянними є судження з однаковими суб'єктами і предикатами і розрізняються зв'язкою або квантором. Зазвичай їх називають судженнями однаковою матерії. Наприклад: «Всі амери-Канський індіанці живуть в резерваціях»; «Деякі американські індіанці не живуть в резерваціях».
Відносини між простими судженнями зазвичай розглядали-ються за допомогою мнемонічною схеми, званої логічним квадратом. Його вершини символізують прості катего-рические судження - А, Е, I, О; боку і діагоналі - відносини між судженнями.
Часткова сумісність (субконтрарность)