Mucho muy bien ambos.
En resumen: la verdad es una categoría gramatical que cumplen aquellos predicados que se verifican como reales en la naturaleza.
Además: son muy pocas las cosas conocidamente verdaderas. Hay que buscar otra estrategia para tener a la mano ideas suficientes con que enfrentar al mundo.
Hasta aquí, veo que se entiende perfectamente.
Pasemos ahora a la lógica. Inicialmente la lógica era un programa de investigación que pretendía desarrollar el pensamiento correcto. ¿Qué era el pensamiento correcto? Era el primero problema que se pusieron a resolver.
Modernamente la lógica es una herramienta del pensamiento, más conocida por mí en su forma matemática (lógica simbólica) pero que puede adoptar otras formas. He notado que en artes, literatura y demás estudios sociales, los profesionales tienen a ver a la lógica como una pesada referencia a problemas que se les escapan. En general, según he podido ver yo, la lógica no es algo vivo para ellos, no es algo del día a día. En cambio, para un profesional de la computación (-yo-) la lógica es algo urgente, es necesario tenerla a la mano siempre y es necesario comprenderla bien. ¿Esto porqué? Debido a que programar una computadora es sólo posible cuando hemos indicado las instrucciones correctas o dicho de otra manera, cuando lo hemos hecho con lógica.
Noten la analogía entre pensamiento correcto, meta inicial de la lógica e indicar las instrucciones correctas meta cotidiana de la programación. La lógica para nosotros los programadores es una necesidad.
Entonces, estoy familiarizado con la lógica. Para más detalles, con la lógica simbólica con la llamada visión cerrada del mundo. He estudiado otros tipos de lógica, incluyendo algunas que son plurivaluadas (es decir, aquellas donde la ley del tercero excluido no se cumple) y las he aplicado en proyectos reales para lograr resultados reales. Por favor, un voto de confianza ahora que voy a saltar a una conclusión importante:
La lógica es una herramienta matemática que nos asegura llegar a conclusiones verdaderas cuando le aplicamos a partir de premisas verdaderas.
En otras palabras, la lógica nos dará buenas conclusiones cuando las premisas sean buenas. Si por el contrario las premisas son malas, entonces la lógica no nos dice nada de utilidad. Ni siquiera nos puede asegurar llegar a malas conclusiones. A partir de una premisa incorrecta es perfectamente posible llegar a conclusiones que se verifiquen como ciertas (que sean verdad) así que la lógica nos queda chueca pues nos sirve para extender la verdad hacia nuevas conclusiones pero no para detectar la mentira o la cortedad de miras. La lógica es poderosa sí, pero tiene limitaciones.