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.
