й територіїВ»,
то істинно і частноотрицательное судження: (О): В«деякі Федеративні держави не мають верховенством на своїй території В»і помилково общеутвердітельное судження: (А): В«Федеративні держави мають верховенством на своїй території В»і помилково частноутвердітельное судження: (I):В« деякі Федеративні держави мають верховенством на своїй території В».
Схема, придумана в Середні століття для систематизації і наочного подання відносин між категоричними судженнями:
В
Завдання 10. Простий категоричний силогізм В«Всі федеральні держави мають адміністративно - Територіальні одиниці. Адміністративно - територіальні одиниці має Бельгія, отже, Бельгія є федеративною державою В»
Формулювання:
Дайте логічний характеристику простого категоричного силогізму (ПКС):
1) Формалізує входять до ПКС судження
2) виділіть структурні елементи ПКС: менший, більший і середній терміни; більшу, меншу посликі і висновок
3) Розташуйте структурні елементи за правилом запису ПКС: 1 місце - велика посилка, 2 місце - Менша посилка, 3 місце висновок, який відокремлюється рисою від посилка, кожен із структурних елементів позначте відповідними символами
4) Визначте фігуру ПКС
5) Визначте модус ПКС
6) Перевірте правильність ПКС за правилами, модус і графічним методом
Зміст :
Умовивід В«Всі федеральні держави мають адміністративно - територіальні одиниці. Адміністративно - територіальні одиниці має Бельгія, отже, Бельгія є федеративною державою В»
Рішення
Простий категоричний силогізм:
Всі федеративні держави мають адміністративно - територіальні одиниці (1).
Адміністративно - Територіальні одиниці має Бельгія (2). p> Отже, Бельгія є федеративною державою (3). p> Складається з трьох суджень у якому (1) і (2) - посилки, (3) - висновок.
Всі федеративні держави (S) мають адміністративно-територіальні одиниці (P).
судження В«Адміністративно - територіальні одиниці має БельгіяВ» піддамо операції звернення:
Бельгія (S) має адміністративно-територіальні одиниці (P),
отже, Бельгія (S) є федеративною державою (P). p> Всі федеративні держави - у першу посилку входить як суб'єкт, а на закінчення як предикат, адміністративно-територіальні одиниці - в першу і в другу посилку як предикат,
Бельгія - під другу посилку і на закінчення як суб'єкт.
менший термін - Бельгія (S),
більший термін - Всі федеративні держави (P),
середній термін - адміністративно-територіальні одиниці (М).
Посилка, в яку входить менший термін, називається меншою посилкою - Бельгія має адміністративно-територіальні одиниці,
посилка, в яку входить більший термін, називається більшої посилкою - Всі федеративні держави мають адміністративно - територіальні одиниці, отже, Бельгія є федеративною державою - висновок. p> Всі федеративні держави (P) мають адміністративно - територіальні одиниці (М),
Бельгія (S) має адміністративно-територіальні одиниці (М), отже, Бельгія (S) є федеративною державою (P) правило другої фігури, середній термін займає місце предиката в більшої і меншої посилках:
Р М
S М
S - P
1-е правило: (Одна з посилок стверджувальне судження) (1) і (2) посилки позитивні судження.
2-е правило: (Якщо одна з посилок - негативне судження, то і висновок повинен бути негативним) немає негативних посилок.
3-е правило: (Хоча б одна з посилок повинна бути загальним судженням) (1) посилка загальна. p> 4-е правило: (Якщо одна з посилок - приватне судження, то і висновок повинен бути приватним) (2) посилка приватне судження, висновок також приватне. br/>
Завдання 11. Умовно-категоричний силогізм В«Якщо суддя виніс завідомо неправосудне вирок, то він притягується до кримінальної відповідальності. Суддя В. НЕ притягнутий до кримінальної відповідальності, значить, суддя В не виніс завідомо неправосудний вирок В»
Умовно-категоричний силогізм В«Якщо суддя виніс завідомо неправосудного вироку, то він притягується до кримінальної відповідальності. Суддя В. не притягнуто до кримінальної відповідальності, значить, суддя В не виніс завідомо неправосудного вироку В».
Якщо суддя виніс завідомо неправосудний вирок, то він притягується до кримінальної відповідальності.
Суддя В. не притягнуто до кримінальної відповідальності,
значить, суддя В не виніс завідомо неправосудного вироку. p> заперечує модус, модус tollens.
форма спростовує модуси умовно-категоричного силогізму:
якщо А, то В
НЕ В______
НЕ А
((а в†’ в)/ В¬ в) в†’ В¬ а .
Завдання 12. Розділово-категоричний силогізм В«Кримінальну справу в районному суді може бути розглянуто по першій інстанції одноос...
