Selon Geoffrey Hunter, alors que la logique se préoccupe des "vérités de la logique", "la métalogie se préoccupe de la théorie des" phrases utilisées pour exprimer les vérités de la logique ".
La métalogie est la science du raisonnement sur les arguments qui sont dans la logique elle-même. Alors que la logique traite des vérités externes, la métalogie traite des vérités qui mentent tout en utilisant la logique.