LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
Seega võime
allpool rääkida lihtsalt arutlusest, tõestust eraldi mainimata.
Loogiku seisukohalt võib arutlustes esinevaid vigu kõigepealt liigitada formaalseteks
(arutlus pole loogiliselt kehtiv, vigu tehakse arutluse käigus) ning materiaalseteks (arutluse
korrektsus sõltub tegelikkusest, maailmast ja asjaoludest).
Formaalsed loogikavead on kirjeldatavad kui tuletusreeglite rikkumised kasutatavas
tuletussüsteemis ning neid on vastavate loogikaharude tutvustamisel ka kirjeldatud.
Formaalsete vigade puhul on alati võimalik näidata, mida täpselt valesti tehti. Materiaalsete
loogikavigade puhul pole aga ühest ja selget meetodit vigade äratundmiseks ning vältimiseks,
traditsiooniliselt püütakse need liigitada ning nimetustega ära märkida. Nii on tehtud ka
allpool.
Teine võimalus on vigu liigitada tahtlikkuse alusel: tahtmatud vead (eksimused) ning
tahtlikud vead (eksitamised)
annaabi.ee 
