Matematička logika

Matematička logika zasniva se na na zakonima matematičkog aparata i koristi se matematičkim metodama. Predmet matematičke logike je dokaz.

Posmatrajmo rečenice
 4 je paran broj (istinita)
 Triglav je viši od Monblana (neistinita)
Za ove rečenice možemo reći da li su istinite ili neistinite
Za rečenice kao što su 
 x<4
 Donesi vode
ne možemo utvrditi istinitost

Nauka koja se bavi proučavanjem oblika mišljenja i vezama između tih oblika je logika.
Logičko mišljenje je sam proces mišljenja.
Za Z-skup cijelih brojeva vrijedi 

(a<b & b<c) =>a<c

U logici je bitna forma, a ne sadržaj;
 Čovjek je smrtan i Šekspir je smrtan znači Šekspir je čovjek
 Ako je svaki kamen crven i ako je čovjek kamen znaći čovjek je crven.