Класифікація простих суджень за якістю і кількістю
1. Поділ суджень за якістю
Якісний ознака залежить від зв'язки. А оскільки зв'язка може бути або позитивної ( «є»), або негативною ( «не їсть»), то і судження бувають з точки зору якості ствердними ( «Всі студенти пишуть дипломні роботи») і негативними ( «Х не здав іспит з математики» ).
2. Поділ суджень за кількістю
Кількість суджень Кількісна характеристика судження залежить від квантора, що відноситься до суб'єкта судження. У класичній несимволічні логіці він може виражатися словами «все», «деякі», «дані», «окремі», «частина», «жодне».
За кількістю судження поділяються на одиничні, приватні і загальні.
Одиничне судження встановлює приналежність ознаки єдиному предмету думки. Інакше кажучи, суб'єкт такого судження виражений одиничним поняттям, що, очевидно, можна виразити за допомогою наступної структури висловлювання: «Тільки цей S є (не-є) P». Наприклад, «Н. Вінер - засновник кібернетики »,« Марс не є населеної планетою ».
Приватна думка вказує на приналежність ознаки кількох предметів або частини класу предметів. У загальному вигляді воно має структуру: «Деякі S є (не-є) P». Кількість судження виражено кванторного словом «деякі». Наприклад: «Деякі іспити складаються письмово».
Загальне судження констатує приналежність ознаки всіх елементів класу, тобто вичерпує весь обсяг класу. Суб'єкт загального судження виражений або загальним поняттям, або квантором загальності, безпосередньо стоять перед суб'єктом. Загальні судження мають структуру: «Всі S є P» «Жодне S НЕ-є P»
вправи:
Визначте структуру (суб'єкт, предикат, зв'язка) і вид за якістю і кількістю таких міркувань:
ОУ - общеутвердітельние, ГО - общеотріцательние, ЧУ - Частноутвердітельное, ЧО - частноотріцательние.
1.1. Ермітажявляетсяоднім з кращих музеїв світу. (ЧУ) 1.2. Деякі повідомлення засобів масової інформації не соответствуютдействітельності. (ЧО) 1.3. Всі комп'ютери IВМотлічаютсявисокой надійністю. (ОУ) 1.4. Даннаязадачане вирішена. (ЧО) 1.5. "Всяк куліксвоёболото хвалить". (ОУ) 1.6. Ніхтоне любітпроігривать. (ГО) 1.7. Хрістіанствоне являетсяязичеством. (ЧО) 1.8. "Не все те золото. чтоблестіт ". (ЧО) 1.9. Будь-яка світова релігіяявляетсяфеноменом культури. (ОУ) 1.10. Деякі насекомиеоченьядовіти. (ЧУ) 1.11. БеларусьявляетсяРеспублікой. (ЧУ) 1.12.Прометей -образгероя-мученика. (ЧУ)
Ставлення субконтрарності між судженнями I і O. Це відношення виражено нижньою гранню квадрата. Пам'ятаючи про те, що судження I і O підпорядковані суджень А і Е, і беручи до уваги ставлення протилежності між судженнями А і Е, робимо висновок, що оскільки судження А і О, Е і I пов'язані законом несуперечливий, то в разі контрарних відносин між А і Е відносини підпорядкування I> A і O> E «скасовуються». У тому випадку, коли «верхні» судження А і Е виявляються обидва хибними (як в нашому прикладі), то істинними виявляються суперечать їм «нижні» судження I і О. Оскільки судження А і Е можуть виявитися одночасно хибними, але не можуть бути одночасно істинними, то судження I і О, навпаки, можуть бути одночасно істинними, але не можуть бути одночасно хибними (це і означає субконтрарность). Значить, в нашому прикладі істинними будуть судження: «Деякі люди люблять музику Шнітке» (I), «Деякі люди не люблять музику Шнітке» (О).
Встановлення логічних відносин між судженнями «по логічному квадрату дозволяє виробляти ряд практичних операцій з судженнями. Наприклад, знаючи справжнє значення одного з суджень A, E, I, O, за допомогою логічного квадрата можна встановити справжнє значення трьох інших міркувань.
Дана логічна операція в формальному вигляді постає у вигляді рішення «завдання по логічному квадрату». Наприклад, необхідно встановити, яке логічне значення суджень E, I, O, якщо А - судження істинне.