Comment sait-on que la logique est vraie ?

Voilà une question vertigineuse : la logique elle-même, comment on la valide ? L'épistémologie de la logique pose les bonnes questions. Elle examine l'objet de la logique : ses principes intemporels, ses concepts clés, ses théories. Elle scrute aussi ses moyens : comment génère-t-elle de nouvelles connaissances ? Quel est le processus qui crée des concepts nouveaux ? D'où viennent ses évolutions ? Enfin, elle questionne son évolution, ses fondements profonds, son origine et sa portée. Philosophes comme Jean-Louis Le Moigne y ont travaillé. C'est de la métamathématique : la science qui se regarde elle-même.