Metalogic

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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.