Formaalsed lähenemised keeleteaduses
nendega arvutusi ja tehteid.
- Samasusseadus lause on alati iseendaga identne
- Vasturääkivusseadus lause ei saa olla iseendaga vastuolus
- Tõeväärtus alati kas tõene või väär. Saadakse, kui arvutatakse, mis propositsioon on lausungi taga, ja võrreldakse seda
propositsiooni maailmas olevaga. Kuigi tõeväärtuse abil analüüsida on keeruline ja piiratud, on see täpsem, tõlge loogilisse
keelde väldib tsirkulaarsust ja saab võrrelda lausungeid reaalses maailmas kehtiva olukorraga.
- Tõetingimused
- Arutlus argument, lausete hulk, kus üks on järeldus ja teised selle eeldusteks.
Klassikaline loogika omased propositsiooni, eelduse ja järelduse olemasolu.
Tautoloogia oma ehituse poolest õige lause (nt roos on roos).
Formaalne keel lühemalt kirja pandud kui loomulik inimkeel, olles sellest lihtsam ja täpsem. See on metakeel, mille abil
annaabi.ee 
