Metalogic is a branch of propositional logic, which addresses problems of epistemology in the tradition of Analytic Philosophy. The meta in metalogic, as usual, indicates a self-referential quality. Metalogic is the use of analytic proof to determine the properties of a system of propositional logic.

Metalogical proofs usually resemble a hybrid of mathematical and propositional proofs. Godel's theorem is one of the most famous metalogical proofs.

The ultimate goal of metalogical investigation is to determine whether a system of propositional logic is both consistent (meaning no false statements can be proven true) and complete (meaning all true statements can be proven true).

Log in or register to write something here or to contact authors.