Дедуктивні умовиводи
Традиційно формальна логіка виділяє три види опосередкованих умовиводів: дедукцію як достовірний умовивід, індукцію та аналогію як імовірні, недемонстративні умовиводи. Сучасна логіка включає ще й четвертий умовивід - абдукцію, яка є недемонстративним умовиводом, що відповідає за побудову версій.
Д е д у к ц і я (з грец. - виведення) - це шлях думки від загального знання до знання часткового або одиничного.
Приклади дедуктивного умовиводу:
1. Крадіжки характеризуються прямим умислом.
2. Деякі діяння особи N. кваліфіковано як крадіжки.
=> Отже, деякі діяння особи N. мають прямий умисел.
На цьому прикладі ми бачимо хід думки від загального знання про те, що всі крадіжки характеризуються прямим умислом, до знання часткового, що деякі діяння особи N. мають прямий умисел. Наведений приклад демонструє наявність в умовиводі вихідного знання і вивідного знання. Вихідним є знання, з якого за правилами логіки отримують нове знання. Вивідним є знання, що отримане з вихідного. Структура умовиводу складається із засновків і висновку. Судження, з яких робиться висновок, називають з а с н о в к а м и (від лат. praemissae - попереднє). В и с н о в о к - це судження, що виводиться із засновків. Засновки - це судження, що містять вихідне знання. Висновком називають судження, що містить вивідне знання. Д е д у кт и в н и м називають умовивід, у якому між засновками та висновком спостерігається відношення логічного слідування. Відношення логічного слідування існує в тих випадках, коли при істинності судження А обов’язково буде істинним судженням В. Отже, між судженням А і судженням В існує відношення логічного слідування.
С и л о г і з м (від грец. syllogysmos - висновок) - це дедуктивний умовивід, у якому висновок виводиться з певних засновків. Силогізм, засновки якого є категоричними судженнями, називається категоричним силогізмом.
Силогізми бувають простими, складними, скороченими і складноскороченими.Пр о с т и й к а т е г о р и ч н и й с и л о г і з м - умовивід про відношення двох термінів на підставі їх відношення до третього терміна. Терміни, між якими встановлюються відношення, називаються крайніми термінами.
Не завжди силогізми вживаються поодинці. Міркування юриста являє собою довгий ланцюг послідовних висновків. Послідовність силогізмів, з'єднаних у логічно пов'язане міркування або доказ, називається с к л а д н и м с и л о г і з м о м. Оскільки засновками і висновком цього дедуктивного умовиводу є категоричні судження, то його називають к а т е г о р и ч н и м.
Категоричний силогізм.
Силогізм розглядається як збірка суджень. Суджень у категоричному силогізмі налічується три. Два судження є вихідним знанням. Вони називаються підставою або засновками. Третє судження - вивідне знання. Воно є висновком із засновків.
На відміну від категоричного судження, яке має два терміни - суб'єкт (S) і предикат (P) судження, умовивід містить у собі три поняття, які називаються термінами умовиводу: менший термін, середній термін і більший термін.
Прикладом категоричного силогізму є:
1. Будь-який злочин - суспільно небезпечне діяння.
2. Пограбування - це злочин._______________________
=> Отже, пограбування - це суспільно небезпечне діяння.
В умовиводі найбільш цікавим для нас є висновок, що містить нове знання. Позначимо термін, який стоїть на місці суб'єкта у висновку («пограбування»), літерою S - це менший термін простого категоричного силогізму. Термін, що стоїть на місці предиката у висновку («суспільно небезпечне діяння»), позначимо літерою Р - це більший термін категоричного силогізму. В обох засновках зустрічається термін «злочин», який відсутній у висновку. Назвемо його середнім терміном і позначимо літерою М (від лат. medias - середній), менший і більший терміни називають «крайніми».
У категоричному силогізмі засновок, у якому знаходиться більший термін, називається б і л ь ш и м з а с н о в к о м, а той, у якому знаходиться менший термін, - м е н ш и м з а с н о в к о м.
Аксіома категоричного силогізму.
Для категоричного силогізму існує аксіома, тобто положення, яке приймається без доведень унаслідок його очевидності. А к с і о м а
виражає знання закономірного зв'язку явищ і тим визначає логічний зв'язок понять у категоричному силогізмі. Залежно від того, що саме нас цікавить - обсяг або зміст висновку в категоричному силогізмі, ми користуємося одним із двох формулювань аксіоми:
1. Усе, що стверджується або заперечується про весь клас предметів, стверджується або заперечується щодо кожного предмета даного класу (екстенсіональне формулювання). Або: те, що властиво роду, те відноситься й до всіх видів цього роду; те, що не властиве роду, те не притаманно й видам, що входять у цей рід.
2. Ознака ознаки речі є ознакою самої речі; те, що суперечить ознаці речі, суперечить самій речі (інтенсіональне формулювання).
Наприклад: Вовна має властивість бути пухнастою. Усі вівці мають шерсть. Отже, вівці пухнасті.
Повністю аксіома обсягів звучить так: якщо обсяг першого поняття повністю включено до обсягу другого поняття, а обсяг другого поняття повністю включено до обсягу третього поняття, то й обсяг першого поняття повністю включено до обсягу третього поняття; якщо обсяг першого поняття повністю включено до обсягу другого поняття, а обсяг другого поняття не має нічого спільного з обсягом третього поняття, то й обсяг першого поняття не має нічого спільного з обсягом третього поняття.
Відомо, що судження може бути або істинним, або хибним. Категоричний силогізм може дати хибний висновок навіть тоді, коли вихідні судження істинні. Це пов'язано з тим, що категоричний силогізм має цілий ряд правил, які з необхідністю повинні виконуватися. Якщо правила порушуються, то висновок може вийти хибним. Ще стародавні греки звернули увагу на те, що в одних випадках з істинних засновків випливає істинний висновок, а в інших випадках з істинних засновків висновок виходить хибним. Наприклад:
1. Усі юристи-спеціалісти мають вищу освіту.
2. Усі прокурори - юристи-спеціалісти.
=> Отже, усі прокурори мають вищу освіту.
Одночасно можна знайти інші приклади, де з істинних засновків випливає хибний висновок:
1. Шахрайство можливе тільки з прямим умислом.
2. У діях посадових осіб акціонерного товариства «Карат» установлено прямий умисел.__________________________________________________________
=> Отже, дії посадових осіб акціонерного товариства «Карат» визнані шахрайством.
Першим філософом, який сформулював правила категоричного силогізму і дав цьому умовиводу таку назву, був Арістотель.
Загальні правила категоричного силогізму
Правило 1. Категоричний силогізм має три й тільки три терміни: більший термін Р, середній М і менший S. Середній термін М присутній в обох засновках і ніколи - у висновку. Менший термін S - той, який у висновку займає місце суб'єкта. Більший термін Р - той, який у висновку займає місце предиката. Засновок, у якому міститься більший термін Р, називається більшим засновком і, як правило, ставиться в силогізмі на першому місці. Засновок, що містить у собі менший термін S, називається меншим засновком і зазвичай ставиться на друге місце. Терміни більший і менший називають крайніми термінами. Таку назву вони отримали тому, що їх пов'язує середній термін, який стоїть між ними. Це легко побачити, розглянувши попередній приклад про юристів і прокурорів, які мають вищу освіту:
Що станеться, якщо термінів у силогізмі буде менше ніж три або більше ніж три? Категоричний силогізм, який складається з двох термінів, не може дати ніякого висновку. Дійсно:
1. Усі правові норми - соціальні.
2. Деякі соціальні норми - правові.
Який висновок можемо зробити ми із цих засновків? Ніякого.
Якщо термінів у категоричному силогізмі буде чотири, а не три, то це помилка, яка називається «помилка почетверіння термінів».
Наприклад:1. Усі закони публікуються в офіційній пресі.
2. Усесвітнє тяжіння - закон._________________________
=> Отже, усесвітнє тяжіння опубліковано в офіційній пресі.
У більшому засновку під терміном «закон» розуміється юридичний закон, а в меншому - закон фізичний. Тому хоча і використовується одне і те саме слово «закон», проте тут присутні два поняття замість одного:
Правило 2. Середній термін повинен бути розподіленим хоча б в одному із засновків, інакше силогізм неспроможний. Наприклад:
1. Усі гусениці вживають у їжу кольорову капусту.
2. Спортсмени вживають у їжу кольорову капусту.
?
Установимо розподіленість термінів у судженнях:
Середній термін нерозподілений у жодному із засновків. Використовуючи «кола Ейлера», зобразимо структуру наведеного силогізму.
З'єднуємо рисунки. Для того щоб отримати істинний висновок, необхідно мати один-єдиний можливий варіант об'єднання рисунків. А в нашому випадку таких варіантів 5, і всі вони абсолютно різні, ми не знаходимо нічого спільного на отриманих рисунках:
Правило 3. Якщо більший (Р) або менший (S) терміни нерозподілені в засновках, то вони не можуть бути розподілені й у висновку. Наприклад:
1. Усі адвокати мають дар красномовства.
2. Усі адвокати - професіонали своєї справи.
=> Усі професіонали своєї справи мають дар красномовства.
З'ясуємо розподіленість термінів у судженнях: середній термін розподілений в обох засновках, тобто попереднє правило 2 виконано. Терміни більший і менший у засновках нерозподілені:
А ось у висновку менший термін S - розподілений.
Подивимося на рисунки:
Висновок: У результаті об’єднання рисунків отримуємо не один варіант, а чотири. Це свідчить про те, що загальноствердний висновок неможливий. На всіх чотирьох рисунках легко побачити спільне: в усіх варіантах поєднання рисунків якась частина меншого терміна S обов’язково буде перетинатися з більшим терміном Р. Отже, можна робити висновок про те, що частина обсягу S обов’язково буде збігатися з частиною обсягу Р, тобто висновок буде частковим судженням. А якщо судження часткове, то термін суб’єкта в ньому буде нерозподілений:
Деякі професіонали своєї справи мають дар красномовства.
Правило 4. Якщо обидва засновки - судження заперечні, то силогізм неспроможний. Наприклад:
1. Жоден студент юридичної спеціальності не складає іспит із кріогенної фізики.
2. Жоден студент психологічної спеціальності не складає іспит з кріогенної фізики.
Висновок:

У результаті об’єднання рисунків засновків отримуємо не один варіант, а п’ять, і всі варіанти різні. Це свідчить про те, що силогізм неспроможний.
Правило 5. Якщо обидва засновки - судження часткові, то силогізм неспроможний. Наприклад:
1. Деякі соціальні норми є правовими.
2. Деякі соціальні норми є моральними.

Ми бачимо, що в нашому прикладі порушується правило 2: середній термін нерозподілений у жодному із засновків.
Правило 6. Якщо один із засновків - судження заперечне, то і висновок буде судженням заперечним. Наприклад:
1. Жоден із тих, хто вивчає астрономію, не є студентом юридичного фаху.
2. Деякі студенти юридичного фаху навчаються в Інституті прокуратури та кримінальної юстиції НЮУ імені Ярослава Мудрого.
=> Отже, деякі студенти, що навчаються в ІПКЮ НЮУ імені Ярослава Мудрого, не вивчають астрономію.

Середній термін розподілений в одному із засновків. Терміни менший і більший, розподілені в засновках, розподілені й у висновку. Висновок - судження істинне.
Правило 7. Якщо один із засновків - судження часткове, то і висновок буде судженням частковим. Наприклад:
1. Усі злочини - кримінальні правопорушення.
2. Деякі дії приватного підприємця N. кваліфіковано як злочини. => Деякі дії приватного підприємця N. - кримінальні правопорушення.
У різних прикладах, які наводилися для демонстрації загальних правил силогізму, середній термін М знаходився не на одному, строго певному місці, а міг займати різні місця в засновках. Так, у першому прикладі середній термін М займав місце суб'єкта в більшому засновку і місце предиката у меншому:
У прикладі до правила 2 середній термін М займав місце предикатів в обох засновках:
У прикладі до правила 3 середній термін М займав місце суб'єктів в обох засновках:
У прикладі до правила 6 середній термін займав місце предиката в більшому засновку і місце суб'єкта в меншому:
Інших варіантів розміщення середнього терміна в засновках не існує. Ці перераховані чотири варіанти розміщення середнього терміна отримали назву фігур категоричного силогізму.
Вважається, що Жан Бурідан був першим, хто назвав зв'язок між термінами у фігурах категоричного силогізму мостом віслюків. Вводячи таку назву, він хотів сказати, що тепер навіть віслюк спроможний з'ясувати, де яка фігура і як здійснюється зв'язок крайніх термінів через середній.
Місце засновків і висновку в категоричному силогізмі займають категоричні судження: А, Е, І, О. Кожне із цих суджень може займати місце більшого і меншого засновку. Розглянемо всі можливі варіанти засновків:
На першому місці записано більший засновок, на другому - менший засновок. Таким чином, налічується 16 варіантів можливих засновків. Але відомо, що загальні правила категоричного силогізму забороняють окремі варіанти засновків, тому що при них висновок неможливий. Правило 4 забороняє робити висновок із двох заперечних засновків. Тому викреслюємо варіанти: ЕЕ, ЕО, ОЕ, ОО. Правило 5 застерігає від двох часткових засновків, що призводить до викреслювання варіантів: ІІ, ІО, ОІ. Крім того, неможливим є варіант ІЕ. Таким чином, кількість пар засновків зменшується рівно на 50%. Залишаються 8 варіантів, які задовольняють загальним правилам категоричного силогізму:
Однак усі ці варіанти не можуть використовуватися всіма чотирма фігурами, тому що кожна фігура має свої правила.
Правила і модуси І фігури
1. Більший засновок - завжди судження загальне.
2. Менший засновок - завжди судження ствердне.
Які ж з 8 варіантів засновків будуть відповідати правилам І фігури? Тільки чотири: АА, ЕА, АІ, ЕІ.
Тепер потрібно встановити, який висновок буде із цих засновків. АА - загальне правило 8 визначає, що з двох ствердних засновків висновок завжди буде ствердним. Однак загальні правила нічого не говорять про те, буде висновок загальним або частковим, коли обидва засновки - судження загальні. Отже, можливі обидва варіанти: ААА та ААІ. ЕА - загальне правило 6 вимагає, щоб за наявності одного заперечного засновку висновок був заперечним. У той же час загальні правила нічого не говорять про те, чи повинен висновок бути загальним або частковим. Отже, можливі обидва висновки: ЕАЕ, ЕАО.
АІ - загальне правило 7 стверджує, що в тому випадку, коли один із засновків частковий, то і висновок повинен бути частковим судженням, і за правилом 8 з двох ствердних засновків висновок випливає ствердний. Таким чином, у цьому випадку можливий тільки один висновок: АІІ. ЕІ - із загального правила 6 випливає, що якщо один із засновків - судження заперечне, то і висновок буде заперечним, а із загального правила 7 випливає, що за наявності одного часткового засновку висновок неминуче буде частковим. Отже, висновок може бути тільки частковозаперечним судженням: ЕІО.
З'єднання категоричних суджень, які займають у силогізмі місце засновків і висновку, називають м о д у с о м (від лат. modus - міра, спосіб, образ, вид) категоричного силогізму.
Перша фігура має 4 сильні модуси: ААА, ЕАЕ, АІІ, ЕІО, і 2 слабкі: ААІ, ЕАО. Слабкий модус з'являється тоді, коли засновки дають два висновки: загальний і частковий. С л а б к и м м о д у с о м називається з'єднання категоричних суджень при частковому висновку з двох загальних засновків. Якщо висновок із засновків тільки один, то такий модус називається с и л ь н и м.
Для того щоб легше було запам’ятовувати модуси і правила приведення модусів II, III і IV фігур до модусів І фігури, середньовічні схоласти дали назву кожному модусу і склали вірш, що включає всі модуси чотирьох фігур:
Barbara, Celarent, Darii, Ferioque prioris;
Cesare, Camestres, Festino, Baroco secundae;
Tertia Darapti, Datisi, Disamis, Felapton, Bocardo, Ferison habet; quаrtа іщ^єг addit Bramantip, Dimaris, Camenes, Fesapo, Fresison.
Назви модусів мають не тільки мнемонічне значення, а й ще несуть інформацію відносно того, яким чином перетворити модуси IIIV фігур на модуси І фігури (на це вказують приголосні букви). Голосні літери в назвах модусів відповідають якості і кількості суджень, що займають місце засновків і висновку в силогізмі.
Арістотель назвав першу фігуру зразковою, маючи на увазі наступне:
1. Тільки вона в модусі BARBARA дає загальноствердний висновок, необхідний для формулювань наукових законів.
2. Категоричні судження всіх видів А, Е, І, О по черзі займають місце висновку в її модусах.
3. Саме на модусах першої фігури чітко спостерігається аксіома категоричного силогізму.
Аксіома категоричного силогізму. Аксіома категоричного силогізму існує у двох формулюваннях: аксіома обсягів та аксіома ознак.
Аксіома обсягів. Якщо обсяг першого поняття повністю включено до обсягу другого поняття, а обсяг другого поняття повністю включено до обсягу третього, то і обсяг першого поняття повністю включено до обсягу третього; якщо обсяг першого поняття повністю включено до обсягу другого, а обсяг другого поняття не збігається з обсягом третього поняття навіть частково, то й обсяг першого поняття не збігається з обсягом третього поняття.
Аксіома ознак. Ознака ознаки речі є ознакою самої речі.
Дію першої частини аксіоми можна побачити на модусі BARBARA, а дію другої частини - на модусі CELARENT.
Наприклад, модус BARBARA:
1. Особа, що вчинила шахрайство, притягується до кримінальної відповідальності.
2. Група підозрюваних звинувачується у шахрайстві.________
=> Отже, група підозрюваних притягується до кримінальної відповідальності.
Модус CELARENT першої фігури категоричного силогізму:
1. Особа, що не досягла повноліття, не може бути представником у суді.
Правила і модуси ІІ фігури
1. Більший засновок - завжди судження загальне.
2. Один із засновків - судження заперечне.
Які варіанти засновків будуть задовольняти правилам ІІ фігури? ЕА, АЕ, ЕІ, АО. Використовуючи загальні правила категоричного силогізму, виводимо висновок із наявних засновків: ЕА - один із засновків - заперечне судження, значить, і висновок за правилом 6 буде заперечним судженням. Однак правила замовчують, чи буде висновок частковим або загальним, тому допустимі обидва варіанти: ЕАЕ, ЕАО. АЕ - висновок виводиться аналогічно: АЕЕ, АЕО. ЕІ - один із засновків - часткове судження, отже, висновок за правилом 7 може бути тільки частковим. І один із засновків заперечний, отже, висновок буде тільки заперечним, отже, висновок - частково заперечне судження: ЕІО. АО - висновок виводимо аналогічно попередньому: АОО.
Отже, ІІ фігура має 4 сильні (CESARE, CAMESTRES, FESTINO, BAROCO) і два слабкі (CESARО, CAMESTRО) модуси.
Правила і модуси ІІІ фігури
1. Менший засновок - завжди судження ствердне.
2. Висновок - завжди судження часткове.
Правильними модусами цієї фігури є такі шість: DARAPTI, DATISI, diSamis, felapton, bocardo, ferison. Тут окремо не виділяють слабких модусів, бо нічого послаблювати - загальних висновків немає.
Правила і модуси IV фігури
Арістотель не розглядав четверту фігуру, вважаючи її зайвою. Але його учні Теофраст і Евдем аналізували декілька її правильних модусів, а римський лікар Гален, який цікавився логікою, через 500 років сформулював правила четвертої фігури.
1. Якщо більший засновок - судження ствердне, то менший засновок - загальне судження.
2. Якщо один із засновків - судження заперечне, то більший засновок - загальне судження.
Четверта фігура має 5 сильних модусів (BRAMANTIP, DIMARIS, CAMENES, FESAPO, FRESISON) і 1 слабкий (CAMENC)S).
Таким чином, кожна з чотирьох фігур має по 6 модусів, усього можливі 24 правильні модуси:
I фігура - 4 сильні, 2 слабкі.
II фігура - 4 сильні, 2 слабкі.
III фігура - 6 сильних.
IV фігура - 5 сильних, 1 слабкий.
19 сильних модусів і 5 слабких у сумі дають 24 правильні модуси.
Перша фігура в міркуваннях використовується частіше, ніж усі інші фігури разом. Особливе значення має модус ААА, який дає загальний висновок. Друга фігура наголошує на несумісності понять. За модусами II фігури, як правило, здійснюється спростування певних тверджень, що використовується, зокрема, у виправдовувальних рішеннях суду в кримінальних справах. Третя фігура використовується для показу винятків із загального правила.
Кожна фігура зі своїми правильними модусами має самостійне існування і використання, але іноді виникає необхідність перевірити висновок, зроблений за однією з фігур, через отримання такого самого висновку по І фігурі. Не випадково І фігура називається зразковою. Тоді застосовується зведення модусів усіх фігур до модусів І фігури. Існує цілий ряд правил, що дозволяють звести всі інші модуси до модусів І фігури.
Так, висновки по ІІІ фігурі зводяться до висновків по І фігурі шляхом обернення одного із засновків. Наприклад,
1. Кожен композитор пише музику.
2. Кожен композитор має музичну освіту,
=> Дехто з тих, хто має музичну освіту, пише музику.
Здійснюємо обернення другого засновку. У результаті обернення загальноствердне судження переходить у частковоствердне за правилом обернення.
1. Кожен композитор пише музику.
2. Дехто з людей із музичною освітою - композитори.________
=> Отже, дехто з людей, що мають музичну освіту, пишуть музику.
При оберненні другого засновку судження M+ А S переходить у судження S- І М+.
Модус DARAPTI приведено до модусу DARII.
Звернемо увагу на перші літери в назвах модусів. Саме вони показують, до якого модусу І фігури буде приведений даний модус. Так, модуси CESARE і CAMENES приводяться до модусу CELARENT, а модуси Bramantip і bocardo - до модусу Barbara тощо. Усі інші приголосні в назвах модусів теж мають свій логічний зміст. Вони показують, яким чином здійснюється приведення цих модусів до І фігури. У нашому прикладі в назві модусу DARAPTI буква «р» стоїть після другого засновку, що вказує на обернення зі зміною кількості судження (із загального на часткове) саме цього другого засновку. Якщо після засновку в назвах модусів ІІ і ІІІ фігур стоїть буква «s», то вона вказує на обернення, але без зміни кількості судження (наприклад, у модусах CESARE і DATISI). Буква «т» між буквами засновків указує на те, що їх необхідно поміняти місцями: перший поставити на друге місце, а другий - на перше. Це ми бачимо в назві модусу Bramantip. Букви «с» і «г» вказують на те, що модус приводиться до модусу І фігури шляхом приведення його до абсурду - reductio ad absurdum. Цей спосіб приведення вважається складним і використовується для модусів BAROCO і BOCARDO.
Логічні помилки в категоричному силогізмі
Ми завжди виходимо з того, що засновки в категоричному силогізмі - судження істинні. Якщо засновки - один або обидва - хибні, то незалежно від того, що всі правила будуть дотримані, висновок може бути хибним.
Типові помилки категоричного силогізму
Помилка 1. Спроба одержати висновок за І фігурою при заперечному меншому засновку (порушується друге правило І фігури).
Висновок хибний, тому що насправді ми нічого не знаємо про те, пише він конспекти чи ні. Порушені загальні правила категоричного силогізму: термін Р, нерозподілений у засновку, у висновку розподілений як предикат негативного судження, що суперечить правилу, яке свідчить про неможливість розподіленості терміна у висновку, коли він нерозподілений у засновку.
Середній термін нерозподілений у жодному із засновків.
Помилка 3. Помилка «почетверіння термінів» (quaternio termi- norum). Ця помилка пов'язана з тим, що замість одного середнього терміна використовуються слова-омоніми: звучать вони однаково, але визначають різні поняття, через що замість одного середнього терміна з'являються два різні поняття.
1. Усі генії - люди надзвичайно обдаровані. 1. M1 А Р
2. Цей шахрай - геній своєї справи._______________ 2. S А М2
=> Отже, цей шахрай - людина надзвичайно обдарована. => S А Р
Застосування загальних правил категоричного силогізму для з'ясування його спроможності при порушенні правил фігур
Звернемо увагу на факти спроможності категоричного силогізму навіть за наявності порушення правил фігур і відсутності таких правильних модусів у традиційному їх списку.
Беремо приклад І фігури категоричного силогізму, у якому порушені обидва правила І фігури: більший засновок - судження часткове, а не загальне, менший засновок - судження заперечне, а не ствердне.
Правила фігур сформульовані на випадок, коли в частково- ствердному судженні обидва терміни нерозподілені, бо, по-перше, таких випадків - більшість і, по-друге, у такому разі правила будуть задовольняти всім варіантам суджень. Але в наведеному прикладі частковоствердне судження показує підпорядкування терміна Р терміну М, тому термін P буде розподіленим (це важлива вимога для заперечного судження у висновку). За загальними правилами категоричного силогізму наведений приклад є спроможним. Так само спроможною буде І фігура, якщо замість судження М+ А Р- поставити судження M+ A P+:
Також можливо зробити висновок із двох часткових засновків, хоча це й заборонено загальними правилами категоричного силогізму. Такі випадки пов'язані, як і в першому прикладі, з тим, що в частковоствердному судженні терміни S і P будуть не перетинатися, а знаходитися у відношенні підпорядкування, тому термін Р буде розподіленим.
Можливо зробити спроможний силогізм за ІІ фігурою при пору
Також є приклади спроможних силогізмів за ІІІ фігурою із загальним висновком. Наприклад:
У наведеному прикладі порушено не лише правила ІІІ фігури, але й одне із загальних правил: при частковому засновку не можна отримати загальний висновок. Однак розподіленість термінів у судженні дозволяє зробити спроможний висновок.
Наведені приклади переконують у тому, що головними для спроможності категоричного силогізму є правила розподіленості термінів.
Умовиводи із суджень з відношеннями
Умовивід, засновки і висновок якого є судженнями з відношеннями, називається у м о в и в о д о м з в і д н о ш е н н я м и.
1. Іван закінчив юридичний університет раніше за Семена.
2. Семен закінчив юридичний університет раніше за Назара. => Іван закінчив юридичний університет раніше за Назара.
Такі умовиводи спроможні лише тоді, коли відношення підпадають під принцип транзитивності (перехідності). У противному разі спостерігаємо нісенітниці:
Найважливішими логічними властивостями відношень є симетричність, рефлективність і транзитивність.
Відношення називається с и м е т р и ч н и м, якщо воно має місце як між предметами А і В, так і між предметами В і А. Симетричність - це відношення рівності, відношення одночасності, відношення схожості і т. д. Так, якщо K - сусід L, а L - сусід M, то й K є сусідом M. Якщо подія X відбулася одночасно з подією Y, а подія Y відбулася одночасно з подією Z, то й подія X відбулася одночасно з подією Z.
Ряд відношень не є симетричними. Так, відношення «N - вчитель Q» не симетрично, бо «Q - учень N», а не його вчитель.
Р е ф л е к с и в н и м відношення між предметами буде тоді і тільки тоді, коли кожен предмет знаходиться в такому ж відношенні і до самого себе.
1. Микола народився в один день з Орестом.
2. Орест народився в один день з Яковом.___
Отже, Микола народився в один день з Яковом.
У наведеному прикладі діє відношення транзитивності. Висновок можна сформулювати й так: Яків народився в один день із Миколою.
Тр а н з и т и в н и м називається таке відношення, коли воно, маючи місце між предметами А і В, а також між предметами В і С, має мі
:
У наведеному прикладі діє відношення транзитивності. Висновок можна сформулювати й так: Сергій - брат Тараса.
Відношення «бути співучасником» не є транзитивним. Наприклад,
1. Василь - співучасник Макара.
2. Макар - співучасник Мирона.
З цього неодмінно не випливає, що Василь є співучасником Мирона. Вони можуть бути навіть незнайомі один з одним.
Умовиводи із складними судженнями
Суто умовний силогізм.
С у т о у м о в н и м с и л о г і з м о м називається дедуктивний умовивід, засновки і висновок якого є умовними судженнями. Структура такого силогізму:
Висновок у суто умовному силогізмі ґрунтується на правилі: наслідок наслідку є наслідком підстави.
Суто умовний силогізм може будуватися як досить довгий ланцюжок умовних силогізмів.
Структура такого суто умовного силогізму:
Попередній приклад можна переробити і довести його до зазначеної схеми:
1. Якщо собака-шукач візьме слід, то ми підемо по сліду.
2. Якщо ми підемо по сліду, то ми наздоженемо злочинця.
3. Якщо ми наздоженемо злочинця, то ми його зловимо.
4. Якщо ми зловимо злочинця, то ми його доставимо до поліції.
5. Якщо ми доставимо злочинця до поліції, то ми отримаємо обіцяну за нього нагороду.
6. Якщо ми отримаємо обіцяну нагороду, то перестанемо їздити на
автобусі, а будемо замовляти таксі.____________________________
=> Якщо собака-шукач візьме слід, то ми будемо їздити на таксі.
За структурою суто умовного силогізму будуються плани, здійснюються прогнози, формулюються мрії та фантазії. Суто умовний силогізм застосовується практикуючими юристами. Наведемо приклад, що взятий із захисної промови адвоката (на додаток до касаційної скарги В. Решетилова). Адвокат будує суто умовний силогізм за такою схемою:
1. Якщо на момент, коли сталося вбивство, В. Решетилов був удома, це можуть підтвердити його рідні: дочка Алла, дружина, домогосподарка Світлана.
2. Якщо це підтверджується свідками на суді, то у Віктора Реше- тилова є алібі.
3. Якщо у В. Решетилова є алібі, то це також могла б підтвердити роздруківка азимута / дислокації абонента з номера його мобільного телефона.
Отже, якщо на момент, коли сталося вбивство, В. Решетилов був удома, то це могла б підтвердити роздруківка азимута / дислокації абонента з мобільного номера його телефона.
Умовно-категоричний силогізм.
Сама назва цього виду силогізмів указує на його склад. Ум о в н ок а т е г о р и ч н и м с и л о г і з м о м називається дедуктивний умовивід, у якому один із засновків є судженням умовним, а другий засновок і висновок - категоричними.
1. Якщо водій був за кермом автомобіля в нетверезому стані, то йому загрожує штраф у розмірі 17 000 грн.
2. Богдан вів свій автомобіль, перебуваючи у стані алкогольного сп'яніння.
Отже, на Богдана буде накладено штраф за керування автомобілем у нетверезому стані.
Нам відомо, що умовне судження складається з двох простих: антецедента і консеквента. Спочатку - умова (антецедент), потім - наслідок (консеквент). Наведені силогізми будуються від ствердження підстави (у другому засновку) до ствердження наслідку (у висновку):
154
Перший із цих модусів будується від ствердження наслідку до ствердження підстави. Якщо складне судження умовне, а не еквівалентне, то наслідок може випливати з різних підстав - дорога може бути мокрою, коли дощ уже давно скінчився, після відлиги взимку, після сильного туману, після поливання. Тому цей модус помилковий.
Наступний модус будується від заперечення підстави до заперечення наслідку. В умовному судженні наслідок може випливати з різних підстав, тому заперечення підстави ще не свідчить про те, що наслідок не реалізований. Тому і цей модус є хибним.
Останній же, заперечний модус (modus tollens, МТ) будується від заперечення наслідку до заперечення підстави і є правильним.
Якщо судження має внутрішнє заперечення або заперечний предикат не-Р, то це обов’язково враховується. Наприклад:
В умовно-категоричному силогізмі можлива помилка, яка називається псевдопричинний зв'язок. Якщо події ідуть одна за одною, то може здаватися, що вони пов’язані причинно-наслідковим зв’язком, але це не завжди так. Наприклад, минулого року на вулицях Харкова спиляли всі старі дерева й посадили нові, молоді, й ось унаслідок цього, як стверджує журналіст, у поточному році зима у Харкові відзначалася надзвичайною лютістю.
Еквівалентно-категоричний силогізм
Еквівалентне судження (або подвійна імплікація) характеризується тим, що тільки з однієї підстави може випливати певний наслідок і для такого наслідку інших підстав не існує. Якщо замість умовного судження в перший засновок умовно-категоричного силогізму поставити подвійну імплікацію, то такий силогізм буде називатися еквівалентно-категоричним і всі 4 можливі модуси будуть для нього
1. Якщо юрист-бакалавр отримав прохідні бали із ЗНО в магістратуру, тоді й тільки тоді він вступає до магістратури.
2. Юрист-бакалавр отримав прохідні бали із ЗНО в магістратуру. => Отже, юрист-бакалавр вступив до магістратури.
Розділово-категоричний силогізм
Назва «р о з д і л о в о - к а т е г о р и ч н и й с и л о г і з м» теж відбиває склад цього дедуктивного умовиводу: перший засновок - судження розділове, другий засновок і висновок - судження категоричні. Наприклад:
1. Відповідно до частини 1 статті 24 КК України умисел поділяється на два види - прямий і непрямий (евентуальний).
2. Дії громадянина N. не кваліфіковані як дії з прямим умислом.
=> Отже, дії громадянина N. кваліфіковані як дії з непрямим умислом.
Розділово-категоричний силогізм має два правильні модуси: ствердно-заперечний і заперечно-ствердний. Модус ствердно-заперечний (modus ponendo tollens, MPT) будується від ствердження одного диз'юнкта в другому засновку до заперечення інших диз'юнктів у висновку.
Модус заперечно-ствердний (modus tollendo ponens, МТР) будується від заперечення диз'юнктів у другому засновку до ствердження одного з диз'юнктів у висновку. Наведений вище приклад є модусом заперечно-ствердним.
Адвокат С. А. Андрієвський віртуозно опанував побудову розділово-категоричного силогізму та застосовував його у своїх виправдувальних промовах: «Що тут було? Ревнощі? (А) Злість? Запальність? (В) Ні, це не годиться. Гострі ревнощі були вже підкорені, оскільки Андреєв міг діловито перемовлятися зі своїм суперником (~ А). Злість і запальність, знову-таки, не в'яжуться зі справою, тому що Андреев був добрий і витривалий до останньої можливості (~ В). Якщо хочете, тут були жах і відчай (С) перед жорстокістю і бездушністю жінки, що раптово відкрилися Андрееву, якій він безповоротно віддав і серце, і життя»:
Цей приклад так само є модусом заперечно-ствердним, але він включає не 2 альтернативи, як попередній, а 3 прості судження в складному.
Приклад ствердно-заперечного модусу:
1. Злочинець міг проникнути в приміщення або через вікно, або через балконні двері, або через димохід.
2. Слідством установлено, що злочинець проник у приміщення через балконні двері.
Таким чином, злочинець не скористався ані вікном, ані димоходом для того, щоб проникнути в приміщення.
Правила розділово-категоричного силогізму
1. Розділове судження повинно бути сильною диз'юнкцією.
Дійсно, якщо розділове судження буде слабкою диз'юнкцією, то отримати правильний висновок неможливо:
1. Якщо йде дощ, то я одягну дощовик, або візьму парасольку, або скористаюся послугами таксі.
2. Я одягнув дощовик.___________________________________
Висновок зробити неможливо, тому що можна одночасно й одягнути дощовик, і взяти парасольку, і скористатися послугами таксі.
2. У розділовому судженні повинні бути враховані всі можливі диз'юнкти. Наприклад,
1. Студент може отримати на іспиті або відмінно, або добре, або задовільно.
2. Студент не отримав ані добре, ані задовільно.____________
Отже, студент отримав відмінно.
Але тут криється помилка: у першому засновку пропущена ще така можливість, як отримати незадовільно. Тому й висновок неспро-
можний, бо студент насправді міг отримати не відмінно, а незадовільно.
Умовно-розділовий силогізм
У м о в н о - р о з д і л о в и й с и л о г і з м містить у першому засновку судження умовне, а в другому - судження розділове. Умовно-розділовий силогізм називають л е м о ю (від лат. lemma - припущення). Залежно від числа альтернатив у розділовому судженні леми підрозділяються на дилеми - дві альтернативи, трилеми - три альтернативи, полілеми - чотири або більше альтернативи. Дилеми, у свою чергу, поділяються на: прості конструктивні, складні конструктивні, прості деструктивні та складні деструктивні.
Проста конструктивна дилема має структуру:
1. Якщо йде дощ - я беру парасольку і якщо йде сніг - я беру парасольку.
2. Синоптики обіцяють дощ або сніг,
=> Я беру парасольку.
Це міркування є п р о с т о ю к о н с т р у к т и в н о ю д ил е м о ю: в умовному засновку з двох підстав випливає один і той самий висновок.
Проста деструктивна дилема має структуру:
Тут в умовному засновку з однієї підстави випливають різні наслідки:
1. Якщо людина хвора, то в неї підвищена температура, і якщо людина хвора, то вона втрачає апетит.
2. У пацієнта немає підвищеної температури і не спостерігається
втрата апетиту._____________________________________________
Отже, пацієнт не хворий.
Наступне міркування - приклад складної конструктивної дилеми:
1. Якщо виявлена фальсифікація підсумкового голосування, то відбувається повторне голосування, або якщо не виявлена фальси- 158 фікація підсумкового голосування, то результати голосування будуть відразу оприлюднені.
2. Фальсифікація підсумкового голосування буде або виявлена, або не виявлена.
Отже, або відбудеться повторне голосування, або результати голосування будуть відразу оприлюднені.
Складна констпуктцвна дилема має структуру:
Розділовий засновок стверджує підстави умовних суджень, а у висновку стверджуються наслідки.
Складна деструктивна дилема:
1. Якщо підсудний діяв за власним бажанням, то він - нечесна людина, і якщо підсудного примусили вчинити так, то він - іграшка в руках інших людей.
2. Невірно, що він - нечесна людина, або невірно, що він - іграшка в руках інших людей.
Отже, невірно, що підсудний діяв за своїм бажанням, або невірно, що його примусили так вчинити.
Складна деструктивна дилема має структуру:
Дилеми ефективно використовуються в судових промовах як з боку звинувачення, так і з боку захисту. Відомий адвокат П. Сер- геїч у своїй роботі «Мистецтво промови в суді» писав: «Не втрачайте нагоди викласти сильний аргумент у вигляді міркування: одне з двох, тобто дилеми. Це, може бути, найкраща форма міркування перед суддями. Цицерон говорить: ніколи не слід заперечувати вірну дилему».
І далі П. Сергеїч наводить приклад, що підтверджує правильність його слів: «Підсудна, злодійка за ремеслом, жалісно плаче; це явно вдаваний плач. Якщо обвинувач сказав: це вдаваний плач, він зробив
159
помилку. Якщо він скаже: можливо, що вона плаче щиро, можливо, що прикидається; вирішуйте самі; але ні те, ні інше не має значення для вирішення питання про винуватість. Присяжні, які надані своєму безпосередньому враженню, без коливання скажуть: вдаване».
Розглянемо приклад із практики відомого адвоката О. Я. Пас- совера. О. Я. Пассовер у справі про зловживання на митниці так будує дилему у своїй промові на захист М. А. Вальяно (1885 р., м. Харків): «Вальяно ввозив товари, не оплачені зборами, на турецьких фелюгах? Так, пан прокурор це блискуче довів, і я, захисник, спростовувати ці дії підсудного не збираюся. Але чи складають ці дії злочин контрабанди, ось у чому питання, панове судді та панове присяжні!» О. Я. Пассовер процитував напам'ять роз'яснення судового департаменту сенату з вичерпним переліком усіх видів морської контрабанди: човни, баркаси, плоти, шлюпки, яхти, рятувальні катери. Згадувалися в якості засобів для перевезення контрабанди навіть рятувальні пояси й уламки корабельної аварії, навіть порожні бочки з-під рому, але про турецькі плоскодонні фелюги не згадувалася!
«Тим часом, панове судді та панове присяжні, - сказав потім Пассовер, - вам добре відомо, що роз'яснення уряду сенату носять вичерпний, так, саме вичерпний характер і поширеному тлумаченню не підлягають. А оскільки підсудний Марк Вальяно перевозив свої вантажі саме на турецьких фелюгах, а не в бочках з-під рому, наприклад, то в його діях немає з точки зору роз'яснення сенату ознак злочину морської контрабанди і він підлягає виправданню».
Тобто, якщо товар, за який не сплачено митні збори, провозиться на плавзасобах, які вказані в коментарях сенату, то такі дії кваліфікуються як контрабанда, якщо товар, за який не сплачено митниці збори, провозиться на плавзасобах, які не вказані в коментарях сенату, то такі дії не можна розглядати як контрабанду. Товар перевозився або на плавзасобах, які вказані в коментарях сенату, або на турецьких фелюгах, які відсутні в коментарях. Отже, дії можна кваліфікувати або як контрабанду, або не можна кваліфікувати як контрабанду, тобто адвокат будує складну конструктивну дилему:
Правила умовно-розділового силогізму
1. Лематичний умовивід будується від ствердження підстави до ствердження наслідку і від заперечення наслідку до заперечення підстави.
2. У розділовому судженні повинні бути перелічені всі диз'юнкти.
3. Розділове судження повинно бути сильною диз'юнкцією.
Слід звернути увагу на те, що для леми істотною виявляється ак- сіологічна складова міркування, бо будь-яка подія має свої переваги й свої недоліки. Міркування посадової особи:
1. Якщо я заблокую запропонований контракт щодо будівництва хіміко-переробного комбінату, то газети «Таймс» і «Дейлі телеграф» закричать про моє «політичне боягузтво», а якщо я дам йому «добро», то «Дейлі міррор» і «Сан» проголосять мене «вбивцею ненароджених дітей».
2. Потрібно або заблокувати контракт, або підписати його.___
Отже, газети будуть характеризувати мене або як «політичного боягуза», або як «убивцю ненароджених дітей».
Вищенаведений приклад міркування посадової особи можна пе- реформулювати з негативної форми в позитивну. Герой твору Д. Лін- на і Е. Джея «Так, пане міністр: із щоденника члена кабінету міністрів вельмишановного Джеймса Хекера, члена парламенту» міркує про те, чи підписувати йому контракт на будівництво підприємства, яке буде забруднювати навколишнє середовище метадіоксином, що негативно впливає на здоров'я вагітних жінок, чи відхилити будівництво підприємства.
Герой твору акцентує увагу лише на негативних для себе наслідках. Однак можна побудувати ще одну дилему з позитивними наслідками:
1. Якщо посадова особа дає «добро» цьому контракту, то «Таймс» і «Дейлі телеграф» писатимуть про «політичну далекоглядність» прийнятого рішення, або якщо міністр заблокує контракт, то «Дейлі міррор» і «Сан» оголосять його борцем за здоров'я нації.
2. Посадова особа або підписує контракт, або не підписує його.
Отже, посадову особу будуть звеличувати або за політичну далекоглядність, або за турботу про здоров'я населення.
Аналогічно побудовані наступні дилеми, які спираються на протилежні ціннісні установки:
Одного разу до Сократа прийшла жінка зі своїм горем. Вона бідкалася на те, що її син має намір займатися політичною діяльністю. Вона ж забороняла йому навіть думати про це, тому що, якщо він буде займатися політичною діяльністю, йому доведеться або брехати, або говорити правду.
1. Якщо він буде брехати, його зненавидять боги, якщо він буде говорити правду, його зненавидять люди.
2. Йому доведеться або брехати, або говорити правду.
Отже, його будуть ненавидіти або боги, або люди.
Сократ відповів жінці: ти - не права. Твій син повинен займатися політичною діяльністю і йому доведеться або брехати, або казати правду.
1. Якщо він буде брехати, то він стане улюбленцем людей, якщо він буде говорити правду, то він буде улюбленцем богів.
2. Йому доведеться або брехати, або говорити правду.
Отже, він буде улюбленцем або людей, або богів.
Необхідно зауважити, що питання цінностей істотно впливає на побудову лематичних міркувань як у журнальних статтях, публіцистичних і дискусійних матеріалах, так і в судових промовах і виступах.
Ентимема (скорочений силогізм)
Види ентимем.
У міркуваннях ми використовуємо як повні силогізми, так і силогізми, де опускається (мається на увазі) один із засновків або висновок, які називаються скороченими, або е н т и м е м о ю (з грец. - «у думці»). У категоричному силогізмі виділяють три види ентимем: із пропущеним більшим засновком, із пропущеним меншим засновком і з пропущеним висновком.
Ентимема з пропущеним більшим засновком:
2. Петренко - прокурор.______________
=> Петренко стоїть на сторожі законності.
Ентимема з пропущеним меншим засновком:
1. Кожен прокурор захищає законність.
=> Петренко стоїть на сторожі законності.
Ентимема з пропущеним висновком:
1. Кожен прокурор захищає законність.
2. Петренко - прокурор.
Ентимема застосовується й щодо суто умовного, умовно-категоричного, розділово-категоричного силогізмів, але з одним винятком: для них неможливо опустити перший засновок.
Полісилогізм: структура і види
Скорочені і складноскорочені силогізми (сорити та епіхейреми).
Е п і х е й р е м а - це скорочений силогізм, у якому обидва засновки є ентимемами.
Наприклад:
1. Неправда викликає недовіру, тому що вона є твердженням, яке не відповідає істині.
2. Лестощі є неправдою, тому що вони є умисним перебільшенням
істини.____________________________________________________
=> Лестощі викликають недовіру.
Перший засновок можна реконструювати таким чином:
1. Будь-яке твердження, що не відповідає істині (N), викликає недовіру (P).
2. Неправда (M) є твердженням, що не відповідає істині (N).
=> Неправда (M) викликає недовіру (P).
Другий засновок - теж ентимема, реконструкція якої виглядає так:
1. Будь-яке умисне перекручення істини (O) є неправдою (M).
2. Лестощі (S) є умисним перекрученням істини (O).______
=> Лестощі (S) є неправдою (M).
С к л а д н и м с и л о г і з м о м, або п о л і с и л о г і з м о м, називається умовивід, який утворюється шляхом послідовного поєднання кількох простих силогізмів у логічно зв'язане міркування. Полісило- гізм може бути дво-, трискладовим і більше залежно від кількості силогізмів, що його утворюють.
Полісилогізм - це ланцюг силогізмів. Будується він таким чином, що висновок попереднього силогізму (просилогізму) стає засновком наступного силогізму (епісилогізму).
Бувають силогізми, у яких кожний засновок є ентимемою. Такий силогізм називається е п і х е й р е м о ю.
Міркування рідко обмежується одним силогізмом. Декілька силогізмів, що випливають один з іншого, можуть складати ланцюг послідовних висновків, пов'язаних між собою логічною необхідністю. Послідовність силогізмів, з'єднаних у логічно пов'язане міркування, називається п о л і с и л о г і з м о м, або с к л а д н и м с и л о г і з м о м.
Силогізм, що надає підставу для засновку наступного силогізму, називають п р о с и л о г і з м о м. Силогізм, у якому засновок виявляється висновком попереднього силогізму, називають епісил о- гізм ом.
Якщо висновок одного силогізму стає більшим засновком для наступного, то полісилогізм називають прогресивним, оскільки міркування йде від більш загальних за обсягом понять до понять, менших за обсягом. Полісилогізм називають регресивним, якщо в ньому висновок одного простого силогізму стає меншим засновком для наступного силогізму.
С о р и т - це полісилогізм, що складається зі скорочених силогізмів (від грец. soritos - купа). Він складається з декількох силогізмів і має дві форми - прогресивний (гокленівський, отримав назву від прізвища Рудольфа Гоклена, німецького логіка XVI-XVII ст.) і регресивний (арістотелівський) сорити.
П р о г р е с и в н и й с о р и т - це полісилогізм, у якому, починаючи з другого силогізму, пропускаються більші засновки. Прогресивний сорит починається із засновку, що включає предикат висновку, й закінчується засновком, що вміщує суб'єкт висновку.
Схема прогресивного сориту:
М - Р
N - M
O - N
L - O
S - L
S - P
Наприклад:
Керівник (М) прагне до успіху своєї організації (Р).
Директор (N) - керівник (M).
Голова банку (О) - директор (N).
Людина, що очолює банк «Розвиток», (L) - голова банку (О).
Комісарович (S) - людина, що очолює банк «Розвиток» (L).
Комісарович (S) прагне до успіху своєї організації (P).
Р е г р е с и в н и й с о р и т - полісилогізм, у якому, починаючи з другого силогізму, пропускаються всі менші засновки. Регресивний сорит починається із засновку, що містить суб'єкт висновку, і закінчується засновком, що містить предикат висновку.
Схема регресивного сориту:
S - M
M - N
N - O
O - P
S - P
Наприклад:
1. Люди, толерантні до чужої думки, (S) - люди високої культури (M).
2. Люди високої культури (M) - філософи (N).
3. Філософи (N) - інтелігенти (O).
4. Інтелігенти (O) багато читають (P).____________________
Отже, люди, толерантні до чужої думки, (S) багато читають (P).
Значення дедукції для юридичної практики
Дедуктивні умовиводи постійно застосовуються юристами. Дедуктивні умовиводи здатні забезпечувати істинність виведеного висновку, тому вони широко застосовуються не тільки під час кваліфікації злочинів, а й у кримінальному судочинстві загалом.
Важливість визначення теоретичних засад побудови правильних дедуктивних умовиводів, обґрунтування теоретичного і практично- 166
го значення використання дедуктивних умовиводів як форми мислення, унаслідок чого з’являється нове (вивідне) знання, яке є необхідно істинним, є суттєвим аспектом юридичної теорії та юридичної практики. Висновок буде необхідно істинним, якщо правильність виведення його із засновків поєднується з істинністю останніх. При порушенні цієї умови укладення буде ймовірнісним (правдоподібним) або хибним.
Для юриста виведення із загального істинного знання часткового істинного знання надзвичайно важливо, бо мова йде не просто про перемогу в суперечці або обґрунтування доповіді, мова може йти про життя, судьбу громадянина.
5.4.