La lógica formal es sólida. La lógica difusa, el teorema de incompletitud y otros hallazgos no suponen mermas a la lógica formal. El uso vulgar del concepto de "lógica" para justificar idas de olla es lo que socava el concepto original. Una pena.

Dentro de la lógica formal también tienes que elegir tu sistema. Y eso también es una elección subjetiva que te puede solucionar cosas o complicártelas. Y no siempre estuvieron esas elecciones para los ingenuos (no)gilipollas (pobre Hilbert)... Incluso tu tercio excluso es una elección. Aunque