Імплікація, умови істинності. Дедуктивні умовиводи
Імплікація, умови істинності
Існують судження, які складаються з двох або більше простих суджень. Наприклад: "Я вийшов вранці з дому, замкнув двері і поїхав на роботу", "Студенти ДонДУУ є активними громадськими діячами і відмінно штудіюють логіку". Між цими простими судженнями є зв’язок, який виражається логічним союзом.
Імплікація – це вид логічного зв’язку, який проявляється через схему: "якщо..., то...".
Імплікативним судженням називають судження, яке включає в якості складових два судження – антецендент і консеквент, які сполучені зв’язкою "якщо..., то...". Наприклад: "Якщо запобіжник розплавився, то електролампа гасне". Логічна зв’язка "якщо..., то..." показує, що явище, про яке йдеться в першій половині судження, виступає умовою виникнення, існування або зміни другого явища, про яке йдеться в другій половині судження.
Схематично імплікативне судження зображують так: А à В (читається "якщо А, то В).
Умови істинності імплікативного судження А à В покажемо через таблицю:
Істинність імплікативного судження
А | В | А → В |
Істинне | Істинне | Істинне |
Істинне | Не істинне | Не істинне |
Не істинне | Істинне | Істинне |
Не істинне | Не істинне | Істинне |
Імплікація істинна у всіх випадках, окрім одного: при істинності антецедента і неправдивості консеквентна (2-ий рядок таблиці) імплікація завжди буде хибною, неістинною.
Дедуктивні умовиводи
В процесі пізнання дійсності ми набуваємо нові знання. Деякі з них – безпосередньо, в результаті впливу предметів зовнішнього світу на органи чуття, але більшу частину знань ми отримуємо шляхом виведення нових знань зі знань, які вже є в наявності. Ці знання називаються опосередкованими, або вивідними.
Логічною формою отримання вивідних знань є умовивід.
Умовивід – це форма мислення, за допомогою якої з одного або кількох суджень виводиться нове судження.
Умовиводи класифікують на направленості логічного наслідку, тобто по характеру зв’язку між знанням різної степені спільності, вираженим в посиланнях (засновках) і висновку. З цієї точки зору розрізняють три види умовиводів: дедуктивні, індуктивні та умовиводи по аналогії.
Розглянемо дедуктивні умовиводи.
Дедуктивним (від латинського слова deductio – виведення) називається умовивід, в якому перехід від загального знання до часткового є логічно необхідним.
Правила дедуктивного висновку визначаються характером посилань, які можуть бути простими (категоричними) або складними судженнями. В залежності від кількості посилань дедуктивні висновки з категоричних суджень діляться на безпосередні, в яких висновок виводиться з одного посилання, і опосередковані, в яких висновок виводиться з двох посилань.
Безпосередні умовиводи отримують шляхом переробки суджень. До них відносяться:
Перетворення судження будується зі встановлення відношення суб’єкта до поняття, що суперечить предикату вихідного судження.
Таким чином, зі стверджувального судження "S є Р" ми отримаємо в такий спосіб заперечувальне судження "S не є не-Р". Висновок опирається на правило виведення: подвійне заперечення рівносильне ствердженню.
Перетворювати можна загально стверджувальні, загальнозаперечувальні, частковостверджувальні і частковозаперечувальні судження.
Наприклад:
(тут частковозаперечувальне судження (О) перетворюється в частковостверджувальне (І)).
Оберненням називається перетворення судження в судження у якого суб’єкт вихідного судження стає предикатом, а предикат – суб’єктом висновку.
Обернення підчиняється правилу розпреділеності термінів, згідно якого суб’єкт розпреділений в загальних і нерозпреділений в заперечувальних судженнях, предикат розпреділений в заперечу вальних і не роз приділений в стверджувальних судженнях. У відповідності з цим правилом розрізняють просте обернення і обернення з обмеженням.
Наприклад:
Протиставленням предикату називається переробка судження, в результаті чого суб’єктом стає поняття, що суперечить предикату, а предикатом – суб’єкт вихідного судження.
Протиставлення предикату може розглядатися як результат перетворення і обернення: перетворюючи вихідне судження S – P, встановлюємо відношення S до не-Р, судження, отримане шляхом перетворення, обертається, в результаті встановлюється відношення не-Р до S.
Наприклад:
Поширеним видом опосередкованих умовиводів є простий категоричний силогізм, висновок в якому отримується з двох категоричних суджень.
Наприклад:
Таким чином, простий категоричний силогізм скрадається з трьох категоричних суджень, два з яких є посиланнями, а третє – висновком.
З істинних посилань не завжди можна отримати істинний висновок. Його істинність обумовлена правилами силогізму. Цих правил всього сім: три з них відносяться до термінів і чотири – до посилань. Знання цих правил дає змогу визначити чи є істинним чи хибним висновок у простому категоричному силогізмі.
Наприклад:
Висновок робити не можна (!)
У даному випадку під поняттям "закон" розглядаються два різні поняття: у першому посиланні розуміється об’єктивний закон, існуючий незалежно від свідомості людей (закони природи, закони буття тощо), у другому посиланні – юридичний закон. Тут порушено правило трьох термінів. Отже, висновок робити з даних суджень не можна.
Дедуктивні умовиводи будуються не тільки з простих, але і з складних суджень. Широко використовуються умовиводи, посиланнями яких є умовні і розділювальні судження, що виступають в різних поєднаннях одні з одними або з категоричними судженнями.
Особливості цих умовиводів полягають в тому, що виведення висновків з посилань визначається не відношеннями між термінами, як в категоричному силогізмі, а характером логічного зв’язку між судженнями. Тому при аналізі посилань їх суб’єктивно-предикатна структура не враховується.
Розглянемо деякі виведення зі складних суджень.
Чисто умовні умовиводи – це такі умовиводи, де обидва посилання і висновок є умовними судженнями.
Наприклад:
Умовно-категоричний умовивід – це умовивід, в якому одне з посилань – умовне, а друге посилання – категоричне судження.
Наприклад:
Розрізняють декілька модусів умовно-категоричних умовиводів: стверджуючий та заперечуючий модуси. В свою чергу як стверджуючий, так і заперечуючий модуси мають свої різновидності.
Розділювально-категоричний умовивід – це умовивід, в якому одне з посилань – розділювальне, а друге посилання і висновок – категоричні судження.
Прості судження, з яких складається розділювальне судження, називаються альтернативами.
Стверджуючи одну альтернативу, ми з необхідністю повинні заперечувати іншу, і заперечуючи одну – стверджувати іншу. У відповідності з цим розрізняють два модуси розділювально-категоричного умовиводу: стверджуючи-заперечуючий і заперечуючи-стверджуючий.
Наприклад:
Однак такий висновок може бути неправдивим, оскільки у більшому посиланні не враховані всі можливі альтернативи: вона представляє собою неповне, або відкрите, диз’юнктивне висловлювання (угода може бути і односторонньою, для здійснення якої достатньо виявлення волі однієї особи – видача довіреності, складання заповіту, відмова від спадщини тощо).
Умовно-розділювальне судження – це умовивід, в якому одне посилання умовне, а друге – розділювальне судження.
Наприклад:
Злочин здійснено внаслідок важких особистих або сімейних обставин або під впливом сильного душевного хвилювання, викликаного неправомірними діями потерпілого..
Отже, маються обставини, які пом’якшують відповідальність винного.
Окрім вищезгаданих типів силогізмів серед дедуктивних умовиводів існують і скорочені силогізми (ентимеми).
На практиці досить часто використовуються силогізми, в яких одне з посилань або висновок явно не виражаються, а тільки маються на увазі.
Наприклад:
"Ткачук – студент, тому він зобов’язаний здавати екзамени".
Тут пропущене посилання: "Всі студенти зобов’язані здавати екзамени". Дане судження загальновідоме, тому формулювати його не обов’язково.
В процесі міркувань просі силогізми виступають в логічному зв’язку один з одним, утворюючи ланцюг силогізмів, в яких висновок попереднього силогізму стає посиланням наступного. Попередній силогізм називається у такому випадку просилогізмом, наступний – епісилогізмом.
З’єднання простих силогізмів, в яких висновок попереднього силогізма стає посиланням наступного називається складним силогізмом (полісилогізмом).
Наприклад:
Як бачимо, дедуктивні умовиводи – це перехід від загального знання до часткового. Дедуктивні умовиводи займають досить важливе місце в побудові гіпотез, доведенні чи спростуванні. Без них неможливий процес міркування та правильне ведення розслідування тощо.
У структурі доведень досить часто використовуються дедуктивні умовиводи – дедуктивні обґрунтування.
Отже, як бачимо, місце дедуктивних умовиводів у людському мисленні – досить суттєве. Без дедуктивних умовиводів важко було б вести розслідування, роботи певні висновки, відкривати нові знання тощо.
Література
Дата публікації: 23.10.2011