Metalogika

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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.

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.