LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Loogika
rakendamisele väitlustes kaasati juba traditsioonilise loogika aegadel informaalset loogikat,
eelkõige tõestamise õpetusena ning arutlusvigade analüüsina.
TÕESTAMINE
FORMAALSELT: tõestus (proof) on tõesest väitest (või tõestest väidetest) kehtiva arutluse
abil tõese järelduse saamine.
INFORMAALSELT: kommunikatsioonis esinevat protseduuri (dialoogi) nimetatakse mingi
väite tõestuseks (argument, demonstration)5, kui protseduuri (dialoogi) eesmärk on tekitada
dialoogipartneril veendumus, et tõestatav väide on tõene, ning see tõestus põhineb mingil
kontekstil, järjekindlal arutlusskeemil ning eeldustel, mille tõesust antud protseduuri
(dialoogi) raames kahtluse alla ei seata. Kahtluste tekkimisel võib tekkida vajadus täpsustada
konteksti ja eraldi tõestada nii eeldusi kui ka loogilist skeemi.
Lühemalt: tõestus on protseduur, mille jälgimine tekitab kuulajas veendumuse, et tõestatav
väide või tõestatavad väited on tõesed või tõenäoliselt tõesed