Metalogic is a branch of logic that deals with the study of the properties and foundations of logical systems themselves, rather than directly with the logical systems used for reasoning about propositions or arguments. Essentially, it involves the analysis and evaluation of the principles, structures, and semantics of various logical systems.
New to topics? Read the docs here!