Metalogika

Metalogika je metateória logiky, ktorá skúma vlastnosti logických systémov a kalkulov. Je to tiež teória, ktorá skúma systémy a pojmy súčasnej formálnej logiky. Rozpracúva otázky teórie dôkazov, definovateľnosti pojmov, pravdy vo formalizovaných jazykoch, interpretácie, zmyslu atď. Metalogika sa delí na dve časti: logickú syntax a logickú sémantiku. Rozvoj metalogiky je spojený s vytvorením a štúdiom formalizovaných jazykov.

Hlavné práce v oblasti metalogiky patria Fregemu, predstaviteľom ľvovsko-varšavskej školy poľských logikov, Hilbertovi, Gödelovi, Churchovi, Carnapovi, Kemenymu a i.