>>211827300
Ambiguidade semântica => não define o que é uma propriedade positiva
Existência como predicado => existir não é propriedade
Salto modal => De "possível" para "necessário" é duvidoso
Lógica muito forte (S5) => Implica coisas não intuitivas
Abstração excessiva => Usa lógica de ordem superior não consensual
Validade ≠ Verdade => Mesmo válido, depende de axiomas discutíveis

Porque todo cristão faz os maiores malabarismos e piruetas, mas sempre aterrissa de cabeça? Só admitam que vocês usam da ciência no seu dia a dia, mas acreditam em mágica.

check'em
TKD