Контрольная работа: Дедуктивні умовиводи

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

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

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

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

мал. 3

мал. 4

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

3. Термін, не розподілений у засновку, не може бути розподіленим у висновку.

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

Мова (М) не є надбудовою (Р).

Мова (М) — суспільне явище (S).

Отже,...

Тут менший термін S ("суспільне явище") у засновку не розподілений, оскільки займає місце предиката у ствердному судженні, отже, він має лишатися не розподіленим і у висновку. У висновку можна сказати: "Деякі суспільні явища не є надбудовою" ("Деякі S не є Р") і не можна сказати: "Жодне суспільне явище не є надбудовою" ("Жодне S не є Р"). Зумовлено це ось чим. Відношення між S і Р, як уже говорилося, установлюється через М. У нашому прикладі обсяг М становить дише частину обсягу Р. Тому стійке положення до обсягу Р буде займати лише частину обсягу S, котру складав обсяг М. Остання частина обсягу S може знаходитися у найрізноманітнішому відношенні до обсягу Р (див. мал. 6).

мал. 5

мал. 6

4. Із двох заперечних засновків не можна зробити ніякого висновку.

Розгляньмо приклад:

Жоден свідок у справі (М) не знав потерпілого (Р).

Іваненко (S) не був свідком у справі (М).

Тут обидва засновки заперечні. Зробити висновок із них не можна тому, що середній термін (М) не пов'язаний ні з меншим терміном (S), ні з більшим (Р). Жоден із крайніх термінів своїм обсягом не збігається в будь-якій частині з обсягом (М). У такому випадку встановити певне відношення між S і Р неможливо (мал. 7). Це означає, що з наведених засновків рівною мірою можна зробити два протилежні висновки:

1) "Іваненко не знав потерпілого" і 2) "Іваненко знав потерпілого".

Істинним же, як говорилося, буде тільки такий висновок, котрий випливає із засновків як єдино можливий.

5. Якщо один засновок заперечний, то й висновок має бути заперечним.

мал. 7