Template:Individual-TLP-paragraph-pt-br-5.557

5.557 A aplicação da lógica decide que proposições elementares existem.

O que está na aplicação a lógica não pode antecipar.

É claro: a lógica não há de colidir com sua aplicação.

Mas a lógica deve referir-se à sua aplicação.

Dêsse modo, a lógica e sua aplicação não devem sobrepor-se uma à outra.