tõesust saab kindlaks teha ainult kui vastavust mingile kirjeldusele). Võib juhtuda, et kuigi arutlemine on õige, on tulemus väär. Ja võib ka juhtuda, et kuigi arutlemine on vale, on tulemus tõene. Kui lähtuda sellest, et loogilisusel on kaks aspekti nii-öelda reeglipärasus ja tõepärasus , siis me peaksime valima reeglid nii, et nad ei rikuks tõepära, ja valima oma uskumused nii, et reeglipärased arutlused neid ei saaks kummutada. Kui arutlusreeglid on valitud suvaliselt, siis ei ole arutluste tulemustel tähendust: arutlused jäävad mänguks. Kui uskumused on meelevaldsed, siis ei ole arutlemisel mõtet, sest usutakse ikka seda, mida tahetakse. Formaalse loogika määratlus Loogika tegeleb propositsioonidevaheliste suhetega, uurides, mis teeb ühe propositsiooni või (lõpliku) propositsioonide kogumi heaks põhjendiks mingile propositsioonile. Õigustus (ehk põhjendus) seisneb mingile propositsioonile (uskumusele) põhjendite
annaabi.ee 
