metalogika
metalogika, část log. zabývající se základy log. z hlediska metateorie; někdy chápána obecně jako metodologie deduktivních věd, úzce souvisící zejm. s metamatematikou, obecnou sémantikou a sémiotikou. Kromě oblastí zahrnovaných do těchto disciplín (teorie důkazu do metamatematiky, srovnávací syntaxe, sémantiky a pragmatiky do sémiotiky) jsou hl. součástmi m. syntax, zkoumající strukturální vlastnosti logických systémů (kalkulů), a log. sémantika, zabývající se jejich interpretací.
