Metalogic

From Wikipedia, the free encyclopedia
Jump to navigation Jump to 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.