Metalogic

Metalogic is the science of reasoning about the arguments that are in logic itself. While logic deals with external truths, metalogic deals with truths that lie while using logic.

Category:Logic