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