Template:Individual-TLP-paragraph-fr-5.557

5.557 L'application de la logique décide quelles sont les propositions élémentaires.

Ce qui appartient à son application, la logique ne peut le présupposer.

Il est clair que la logique ne saurait entrer en conflit avec son application.

Mais la logique doit être en contact avec son application.

La logique et son application ne doivent donc pas empiéter l'une sur l'autre.