Гіпатэтычнае меркаванне - гэта ўмоўнае сцверджанне, якое мае выгляд: калі P, то Q. Прыклады ўключаюць:
Калі ён вучыўся, то атрымаў добрую адзнаку.
Калі б мы не елі, то былі б галодныя.
Калі яна надзела паліто, то ёй не будзе холадна.
Ва ўсіх трох выказваннях першая частка (Калі ...) пазначана папярэдняй, а другая (тады ...) пазначана наступнай. У такіх сітуацыях ёсць два сапраўдных высновы, якія можна зрабіць, і два недапушчальныя высновы, якія можна зрабіць, але толькі калі мы дапусцім, што сувязь, выяўленая ў гіпатэтычным меркаванні, дакладна дакладна . Калі адносіны не адпавядаюць рэчаіснасці, то ніякіх правільных высноў нельга зрабіць.
Гіпатэтычнае сцвярджэнне можа быць вызначана з наступнай табліцы ісціны:
| Р | Q | калі P, то Q |
| Т | Т | Т |
| Т | Ж | Ж |
| Ж | Т | Т |
| Ж | Ж | Т |
Мяркуючы праўдзівасць гіпатэтычнага меркавання, можна зрабіць два сапраўдныя і два недапушчальныя высновы:
Пацвярджаючы the Antecedent
Першае дапушчальнае выснова называецца пацвярджэннем папярэдняга, які прадугледжвае ўнясенне аргументацыі ў сілу, што, паколькі антытэцэнт адпавядае рэчаіснасці, то і наступнае таксама дакладна. Такім чынам: паколькі гэта праўда, што яна апранула паліто, то гэта таксама так, што ёй не будзе холадна. Часта выкарыстоўваецца лацінскі тэрмін, modus ponens.
Адмаўляючы наступнае
Другі правільны вывад называецца адмаўленнем паслядоўнага, які прадугледжвае ўнясенне ў дзеянне аргументацыі, што паколькі паслядоўны з'яўляецца ілжывым, то і папярэдні таксама з'яўляецца ілжывым. Такім чынам: ёй холадна, таму яна не апранула паліто. Часта выкарыстоўваецца лацінскі тэрмін, modus tollens .
Пацвярджаючы наступнае
Першае несапраўднае выснова называецца пацвярджэннем паслядоўнага, якое прадугледжвае ўнясенне ў несапраўдны аргумент: паколькі паслядоўны з'яўляецца ісцінным, то папярэднік таксама павінен быць ісцінным. Такім чынам: ёй не холадна, таму яна, напэўна, надзела паліто. Гэта часам называюць наступнай памылкай.
Адмаўляючы антыцэдэнт
Другі несапраўдны вывад называецца адмаўленнем папярэдняга, што прадугледжвае ўнясенне несапраўднага аргумента, таму што папярэдні пратакол з'яўляецца ілжывым, таму, такім чынам, паслядоўны таксама павінен быць ілжывым. Такім чынам: яна не апранула паліто, таму ёй павінна быць халодна. Гэта часам называюць памылкай папярэдняга і мае наступную форму:
Калі Р, таму Q.
Не П.
Такім чынам, не Q.
Практычным прыкладам гэтага можа быць:
Калі Роджэр - дэмакрат, значыць, ён ліберал. Роджэр не з'яўляецца дэмакратам, таму ён не павінен быць лібералам.
Паколькі гэта фармальная памылка, усё, што напісана з гэтай структурай, будзе няправільна, незалежна ад таго, якімі тэрмінамі вы карыстаецеся для замены P і Q.
Разуменне таго, як і чаму адбываюцца вышэйзгаданыя два недапушчальныя высновы, можа дапамагчы пазнаць розніцу паміж неабходнымі і дастатковымі ўмовамі. Вы таксама можаце прачытаць правілы высновы, каб даведацца больш.
