Висновок, Гуманітарна енциклопедія

Висновок - це розумова процедура безпосереднього виведення деякого висловлювання з одного або декількох [інших] висловлювань (див. Висловлювання). При цьому висловлювання, з яких робиться висновок, називають посилками (або аргументами) висновку, а висловлювання, яке виводиться з посилок, є висновком. Висновок являє собою особливий вид раціональної мисленнєвої діяльності людини з узагальненим причинно-наслідковим значенням, що дозволяє за допомогою мовних засобів здійснювати обґрунтування твердження або системи тверджень, або отримання нового висновку з декількох посилок, спираючись на деяке відоме знання та використовуючи різні логічні методи перетворення наявної інформації. У цьому сенсі висновок є найпростішим різновидом міркування (див. міркування) - процедури обґрунтування висловлювання за допомогою покрокового виведення його з інших висловлювань; у висновку перехід від аргументів (їх роль відіграють посилки) до тези, що обґрунтовується (висновку) відбувається в один крок. Висновки грають виключно важливу роль у процесах пізнання, так як вони дозволяють отримувати нові знання без безпосереднього звернення до досвіду.

У логіці (див. Логіка) висновок прийнято формулювати наступним чином:

A1, A2, …, An

Де над межею записуються посилки, під межею - висновок, а сама характеристика виражає акт виведення висновку з посилок. Виділення у висновку посилок і укладання і встановлення його структури становлять його логічний аналіз. У логіці традиційно вважається, що будь-який правильний висновок повинен задовольняти умові: якщо його посилки істинні, то маєбути істинним (або правдоподібним) та висновок. Ця умова дотримується, якщо під час висновку не порушуються закони логіки та правила виведення. У реальному процесі мислення часто опускаються деякі з посилок умовиводу і явно не формулюються правила виведення і закони логіки, що лежать в його основі, або висновок має ентимематичний характер, тобто коли воно не виражається в повному вигляді, а його частина (посилання, висновок), маючи на увазі, опускається (див. Ентимема). Все це відкриває можливість помилок у висновках. Логіка встановлює способи відхилення правильних висновків від неправильних і тим, зокрема, сприяє запобіганню та виправленню логічних помилок (див. Логічні помилки). Зазвичай міркування і докази є ланцюга умов, у яких висновок попереднього умовиводу стає посилкою одного з наступних за ним. Умовою правильності доказу є не тільки істинність його вихідних суджень — підстав доказу, а й правильність кожного висновку, що входить до його складу.

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

Найбільш важливим і широким різновидом демонстративних висновків є дедуктивні умовиводи (див. Дедукція). Між їхніми посилками та висновками має місце відношення логічного слідування (див. Логічне слідування), тобто сама логічна форма цих висновків забезпечує збереження істинності при виведенні висновку з посилок. У демонстративних висновках інших типів (до них відносяться, наприклад, математична індукція, повна індукція, строга аналогія) достовірність висновку, одержуваного з істинних посилок, обумовлена не тільки логічною формою висловлювань, що входять у висновок, але і значеннями десмаптивних, що містяться в них. міркування.

Серед недемонстративних висновків найбільший інтерес становлять так звані правдоподібні, або ймовірнісні, висновки, до яких відносяться, наприклад, зворотна дедукція, неповна індукція, не сувора аналогія, статистичні висновки. Правдоподібні висновки характеризуються наявністю відношення логічного підтвердження між посилками та укладанням. Дане відношення має у сучасній логіці безліч різноманітних експлікацій. Так, широкого поширення набула трактування відносини підтвердження відповідно до критерію позитивної релевантності: посилки підтверджують висновок, якщо і тільки якщо ймовірність істинності ув'язнення зростає (але не стає рівною одиниці) за умови одночасної істинності посилок. Основною сферою застосування дедуктивних висновків є точні науки (насамперед математика та математична логіка), у яких особливі вимоги пред'являються до суворості доказів. Правдоподібні висновки, головним чином, використовуються в емпіричних науках для висування та верифікації гіпотез, отриманнязаконоподібних тверджень, що належать до досліджуваної предметної галузі.

Загалом, проблема класифікації умовиводів не отримала в логіці однозначного рішення, суттєві відмінності в цій класифікації залежать від різних підходів до логічного знання: типи висновків вивчалися залежно від аспектів оформлення розумових процесів, які аналізувалися в даний культурно-історичний період; змінювалися принципи обґрунтування послідовного опису як самих висновків, і взаємовідносин між ними; змінювалися наукові стандарти логічних досліджень.