Loogika konspekt 6-10
konsekvendi, kui leidub tõestus, mis lähtub alusest kui eeldusest ning jõuab välja tagajärjeni
kui järelduseni. Ka sel juhul on väga erinevaid lähenemis- ja tõlgendusvõimalusi (ja ka
terminoloogiat), nt on probleemiks, kas asjad lihtsalt ongi nii või leidub kõnealusel suhtel
mingi täiendav alus.
Järgnevalt lähtume pigem formaalsest implikatsioonist, ning ütleme, et väide kujul: Kui p,
siis q on tingimuslik väide, ehk tingiv väide, ehk hüpoteetiline väide (ik hypotetical
proposition), mis on tõsi siis, kui aluse tõesus on mingil viisil tagajärje tõestuse
eeltingimuseks.
Tingivas väites eeldatakse, et osalaused on omavahel ka sisuliselt seotud. (Siis võib
aluse kohta öelda: eeldus ning tagajärje kohta: järeldus.) Kuidas nad just seotud on, see
sõltub kasutaja maailmapildist, kontekstist jne. (Nt: Mõeldud tehtud = Kui on mõeldud, siis
on tehtud.)
annaabi.ee 
