Metalogika

Z Wikipédie

Metalogika

metalogika je metateória logiky, ktorá skúma vlastnosti logických systémov a kalkulov; teória (metateó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

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, A. Churchovi, Carnapovi, J. G. Kemenymu a i..

[úprava] Externé odkazy

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