LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
antud demonstratsiooni puhul aluseks võetakse.
Kui eesmärgiks on tõestuse formaalse kehtivuse saavutamine, siis peab õigustuste puhul
(nii nagu tuletussammude puhulgi) jälgima, et igal sammul oleks kõik vajalikud eeldused
tõesed. Kui see nii pole, siis pole võimalik saada eeldustest loogilise paratamatusega tõest
vahetulemit. Õigustusi tuleb väljendada nii, et oleks näha, kuidas nad moodustavad
(staatilise) kehtiva tervikarutluse vaheeeldusest ja vahetulemist.
Demonstratsiooni vigu on koos teiste vigadega käsitletud allpool, loogikavigade
lõigus.
MODAALNE TÜÜP (KVALIFITSEERIMINE)
Demonstratsiooni modaalse tüübi (kvalifitseerimise) juures saab eristada viit veenvuse astet
(degrees of cogency) veenvuse järjekorras. Paratamatusele vastab kindlus (certainty), st
arutlus või tõestus on kehtiv. Võimalikkusele vastavad astmed on tugev võimalikkus
(probability), vastuvõetav ehk usutav võimalikkus (plausibility) ja nõrk võimalikkus
annaabi.ee 
