Discussion:Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre

j'aimerais demander une aide très urgente pour pouvoir essayer de mettre la distinction entre certaines choses. Avant les principes de la logique (Principes d'identité, de non contradiction et du tiers exclu) avaient un caractère métaphysique ou philosophique si on peut dire. Mais avec la logique moderne ou formalisée, c’est caractère purement formel qui est donné à ces principes étant coupé de leur fondement métaphysique. S'il vous plait est ce que vous pouvez me montrer en quoi ces principes possèdent désormais u caractère purement formel?

dans l'attente Merci déjà pour votre aide