6.123

É claro que as leis lógicas não devem elas próprias depender de outras leis lógicas.

Continuar

6.1231 O sintoma da proposição lógica *não* é a validade universal.
6.1232 A validade lógica universal pode ser chamada essencial, em oposição àquela acidental, como a da…
6.1233 É plausível pensar um mundo em que não valha o *axiom of reducibility*; de sorte que se torna claro…