Metalogic involves the study and analysis of formal languages and of formal systems. Specifically, it involves analysis of the syntax and semantics of those languages. Syntax means the relation among expressions and semantics means the relations between the expressions employed and their meaning. Metalogic involves, therefore, examination of ways in which words (or units or symbols) represent concepts and how these interact with each other
Read the full article here.
