1.3 Аксіома силогізму

Аксіома силогізму — це положення, яке обґрунтовує правомірність висновку із засновків категоричного силогізму.

Вона має два такі формулювання:

1. Все, що стверджується (або заперечується) про клас предметів, може стверджувати (або заперечувати) про кожен предмет даного класу. Латинська формула нього правила така: гіісіит сіє отій еї сіє пиііо (буквально — сказане про все і ні про що), або коротше: сіісіит гіе отпі.

2. Ознака ознаки речі є ознака самої речі; те, що суперечить ознаці речі, суперечить самій речі.

Зміст цих речень полягає ось у чому. Якщо відомо, що клас предметів М має ознаку Р, то з цього випливає, що будьякий окремий предмет 6' цього класу має ознаку Р. Наприклад, якщо відомо, що всі громадяни зобов'язані дотримуватися законів держави, то це означає, що й Петренко зобов'язаний дотримуватися законів держави.

Мал. 1

Відношення між термінами S—М—Р категоричного силогізму прийнято відтворювати за допомогою кіл як відношення між обсягами понять, що входять до засновку. Відношення обсягів понять буде таким: якщо обсяг поняття М входить до обсягу поняття Р, а обсяг поняття S входить до обсягу поняття М, то обсяг поняття S входить до обсягу поняття P (Мал. 1). Відповідно, якщо відомо, що клас предметів М не містить ознак Р, то й усякий окремий предмет S, що входить до класу М, не має ознак Р. Так, якщо відомо, що жодна людина не може бути притягнена до кримінальної відповідальності інакше як за рішенням суду, то це означає, що й громадянин Петренко не може бути притягненим до карної відповідальності інакше як за ухвалою суду.

Відношення між термінами S—М—Р за обсягом тут таке: якщо обсяг поняття М повністю виключається із обсягу поняття Р, а обсяг поняття S входить до обсягу поняття М, то обсяг поняття S повністю виключається з обсягу поняття Р (мал. 2).


мал. 2

Аналогічно можна пояснити і другу формулу аксіоми: якщо річ А має ознаку В, а ознака В, у свою чергу, має ознаку С, то це означає, що А має також ознаку С.

1.4 Загальні правила категоричного силогізму

Для того, щоб із істинних засновків можна було робити істинний висновок, необхідно дотримуватися таких правил силогізму,

1. У кожному силогізмі має бути тільки три терміни — не більше й не менше.

Це правило випливає із сутності категоричного силогізму як умовиводу, в котрому відношення між двома крайніми термінами S і Р установлюють на підставі їхнього зв'язку із третім — середнім терміном М.

Якщо в засновках не три, а два терміни, наприклад: "Будьякий злочин є діянням суспільне небезпечним", "Деякі суспільно-небезпечні діяння не містять ознак складу злочину", — тоді відсутнє те поняття, з котрим має зв'язуватися один із термінів силогізму. У такому випадку із засновків не можна вивести третє судження, яке було б відмінним від засновку, не будучи тавтологією і не суперечило б жодному засновку.

Якщо в силогізмі чотири терміни, тоді в ньому не буде середнього терміна, і, отже, установити відношення між поняттями, що входять до засновків, неможливо. Висновок, зроблений із таких засновків, буде хибним: ми припустимося логічної помилки, яка матиме назву учетверення термінів.. Ця помилка спостерігається досить часто у випадках, коли за середній термін беруть однакові за звучанням або написанням слова (омоніми), що мають різні значення.

Наприклад:

Закони об'єктивні, вони не залежать від волі й бажання людей.

Конституція є закон.

Отже, конституція не залежить від волі й бажання людей.

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

2. Середній термін має бути розподіленим хоча б у одному із засновків.

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

Якесь інше відношення між крайніми термінами (S і Р) неможливе.

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

Деякі соціальні норми (М) є правовими (Р).

Норми моралі (S) є соціальними нормами (М).

Тут середній термін ("соціальні норми") не розподілений в обох засновках, тому між S і Р можливе різне відношення:

1) воно може бути таким, коли S, входячи в М, повністю виключається із обсягу Р (мал. 3). Тоді із наведених засновків слід було б зробити висновок: "Норми моралі не є правовими нормами" ("Жодне S не є Р");

2) відношення між S і Р може бути і таким, коли М повністю включається до Р ( мал. 4). У такому випадку із наших засновків слід було б зробити висновок: "Усі норми

моралі є правовими нормами" ("Усі S є Р");

3) відношення між S і Р може бути й таким, як відтворено на мал. 5. Тоді можна зробити такі два висновки: "Деякі норми моралі є правові" ("Деякі S є Р") та "Деякі норми моралі не є правові норми" ("Деякі S не є Р").

мал. 3

 

мал. 4

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


Информация о работе «Дедуктивні умовиводи»
Раздел: Государство и право
Количество знаков с пробелами: 38662
Количество таблиц: 1
Количество изображений: 2

Похожие работы

Скачать
21559
0
1

... не справді демократичною". Частковозаперечні судження (О) перетворюються в частковоствердні судження (І). Схема перетворення: Деякі S не є РДеякі S є не-Р. Перетворення — найпростіша форма утворення безпосереднього умовиводу. У висновковому судженні розуміється те ж відношення між поняттями, що й у вихідному судженні. Але перетворене судження категоричніше, думка в ньому виражена насті ...

Скачать
42051
2
16

... заключение (отрицательное суждение) утверждает истинность следствия. В символической записи: Возможны и другие разновидности модусов. Иногда в рассуждениях используются условно-категорические умозаключения с выделяющим условным (эквивалентным) суждением (если, и только если а, то b). В символической записи: p  q, где  — знак эквивалентности. В таких умозаключениях достоверные заключения ...

Скачать
34681
0
0

... вираження людини. «Людина є міра всіх речей існуючих, що вони існують, неіснуючих, що вони не існують». В історію риторики Протагор увійшов як виверткий софіст, здатний «більш слабкий аргумент виставити більш сильним». Найбільшим політичним оратором Давньої Греції був Демосфен (384 р. до н. е). Як свідчать сучасники, першу промову Демосфена публіка зустріла градом глузувань: гаркавість і слабкий ...

Скачать
20100
1
2

... ів і висновку. В першій фігурі більший засновок повинен бути загальним судженням, а менший ствердним. Модуси для першої фігури: ААА ЕА Е Е І О А І І 7.   Проаналізуйте індуктивний умовивід з погляду його правильності: Н має вищу освіту; П має вищу освіту; С має вищу освіту; Н, П, С – частина праціаників відділу К. Деякі працівники відділу К мають вищу освіту. Розв'язання: Умовивід є ...

0 комментариев


Наверх