Formaalloogika
ehk
formaalne loogika
tegeleb sellega, kuidas
jareldada
toestest
vaidetest
toeseid
vaiteid, kuid reeglina ei utle, millised vaited on
toesed
.
Formaalloogika ei utle midagi selle kohta, missugune maailm tegelikult on.
Formaalloogika
utleb, mida saab jareldada, lahtudes uksnes
vaiteid
valjendavate
lausete
vormist.