Loogika referaat
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
esitamises. Iga põhjend on propositsioon. Lõplikku propositsioonide kogumit võib vaadelda
propositsioonina, mille kohaselt kõik kogumisse kuuluvad propositsioonid on tõesed
(propositsioonina, mis väidab kõiki kogumisse kuuluvaid propositsioone).
annaabi.ee 
