ex contradictone quodlibet: pura vida pura lógica

Hay unas reglas raras en lógica... en la lógica más formal y clasicota, la que enseñan ahora y la que enseñaban tambien en la universidad medieval a, por ejemplo, santo Tomas de Aquino.
Mirad, hay una que dice: que de una contradicción se puede seguir cualquier cosa. ¿No os resulta genial divertido y un poco liberador? Oye, que con esta lógica se hacen cálculos superhigtlevel y hasta bombas y satélites y eso, ¡¿eh?!
Otra que está muy bien también es: que en una derivación (que es simplemente sacar de unos enunciados otros equivalentes) al final de todo, puedes poner, al lado de lo que tengas -que puede ser una "p", una "q", o una "r"- decía que puedes poner "o f" y concluir lo que has derivado o esa "f" que te has sacado de la manga, sin problemas...e incluso, ¡ seguir derivando cosas!
Jó, y hay otras igual de divertidas, díficiles poner aquí sin hacer un lío al lee y al que escribe. Para eso están los símbolos.
La clave de la lógica es: las reglas lógicas no garantizan la verdad de lo derivado, no, no, no, lo que garantizan es que si las premisas de las que se parte son verdaderas, las conclusiones a las que llegamos aplicando bien esas reglas también lo son. Las combinaciones de reglas son infinitas.
De conseguir premisas verdaderas, o sea, verdades, se encargan, nos dicen en el colegio, las ciencias. Ellas con su método riguroso descubren lo que hay en el mundo y sus leyes. También hay un montón de ciencias: la física, la química, la geologia, la sociología, la politología, la musicología, la psicología animal, la psicología ambiental, la antropología, la la la.
Sobre estas verdades enunciadas como la anunciación, realizamos casi incoscientemnete y sistemáticamente-cuando estamos bien educados, of course- con gran habilidad estas miles de operaciones lógicas . A veces, a la velocidad de la tortuga y con citas y citaciones y bibliografías bien laaargas. Otras veces, en vez de coger estas superverdades de enciclopedia, perdón, wikipedia, o sin aplicar el riguroso método autorizado, partimos otras nuestras certezas personales y singulares y clarísimas y nos ponemos a hacer complicadas derivaciones lógicas prum prum a la velocidad del rayo y entones hay quien nos dice ahora ( y no antes) que estamos "de-mentes"- pero ¿quien lo está más? eh?
Hay otra regla que dice asi: Cuando una fórmula es verdadera se puede colocar como consecuente de cualquier otra.
Anyway, independientemente de dónde saquemos las premisas-verdades ya sólo aplicar la lógica es mejor que tomarse un tripi.