Metalogika
 |
Tento článok alebo jeho časť si vyžaduje úpravu, aby zodpovedal vyššiemu štandardu kvality. Prosím, pozrite si stránky pomocníka, odporúčanie pre encyklopedický štýl a článok vhodne upravte. |
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.