Original: According to Geoffrey Hunter , while logic concerns itself with the '' truths of logic , '' metalogic concerns itself with the theory of '' sentences used to express truths of logic . ''
Simplified: 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 .