6.11. Lógica y racionalidad … Principios de la lógica clásica …

 …Lógica y racionalidad son dos conceptos muy próximos entre sí; tanto, que suelen considerarse equivalentes: ser racional es ser lógico y ser lógico es ser racional.  … Pero esto no debe llevarnos a creer que pensar racionalmente equivale a pensar exclusivamente de acuerdo con los principios de la Lógica clásica, de tal manera que el ser humano que no piense con arreglo a estos principios es un ser irracional (por ilógico): se pueden violar algunos de los principios de la Lógica clásica y no por ello se deja de ser lógico (la dimensión lógica del ser humano va mucho más allá de esa lógica). Por tanto, el hecho de que una persona no se guíe (en alguna ocasión o habitualmente) por los principios de la Lógica clásica, no significa que sea ilógica, sino que se guía por otro tipo de lógica.   

…El ser humano es esencialmente lógico y racional, lo cual implica que no puede dejar de serlo (a no ser que sufra algún tipo de trastorno o retraso mental): todo ser humano razona lógicamente, incluso cuando lo que dice parezca carecer de sentido o ser falso (pero eso es otra cosa: eso es equivocarse, o mentir intencionadamente, lo cual también tiene su lógica). 

…En el siguiente cuadro se exponen de forma resumida los principios básicos de las lógicas clásicas:

…Los principios fundamentales de la Lógica clásica tradicional son estos tres (que ya eran conocidos en el siglo –V):

1.   PRINCIPIO DE IDENTIDAD: “El `ser´ es lo que es”; … “Todo objeto es idéntico a sí mismo”;  … “necesariamente `p´ es `p´”,  “`p´  implica `p´”  o  “Si `p´, entonces `p´” …  `p´=`p´  o  `p´ ® `p´ … *[¡Ojo!: la implicación entre dos proposiciones idénticas es siempre verdadera.]

2.   PRINCIPIO DE NO-CONTRADICCIÓN: “El  `ser´ es lo que es y no puede a la vez no-ser o ser otra cosa distinta”; … “Una proposición no puede ser verdadera y falsa a la vez”; … “No es posible `A y no-A’ “ …  Ø(A  Ù ØA) … *[¡Ojo!: la conjunción entre una proposición y su negación es siempre falsa.] 

3.   PRINCIPIO DEL TERCERO EXCLUIDO (o principio exclusión del término medio): “No hay término medio entre el `ser´ y el `no-ser´”; … “Una proposición es necesariamente verdadera o falsa”; … “Necesariamente `A o no-A´ “  …  (A Ú ØA) … *[¡Ojo!: la disyunción entre una proposición y su negación es siempre verdadera.] …

…A estos tres principios se añadiría, en el siglo XVII, un cuarto principio (aunque no sería aceptado como principio fundamental por todos los lógicos clásicos):

4.   PRINCIPIO DE RAZÓN SUFICIENTE: “Lo que es, es por alguna razón”; … “Para que una proposición pueda ser aceptada como verdadera tiene que haber una razón suficiente que la justifique y explique”; … “Para cada proposición `p´,  si  `p´ es cierta, entonces hay una explicación suficiente de por qué  `p´ es cierta". … *[¡Ojo!: según este principio, todos los eventos que a primera vista parecen incomprensibles, tienen en realidad una explicación, lo que pasa es que aun no hemos dado con ella.]

…Dentro del ámbito de la Lógica formal (que dio lugar a la Lógica clásica moderna, a partir de la segunda mitad del siglo XIX) se toman en cuenta, además, estos dos principios:

5.   PRINCIPIO DE EXPLOSIÓN: “De lo falso se sigue cualquier cosa”; … “De una proposición contradictoria se puede deducir cualquier otra proposición”; … “Si `p´ y  `Øp´, entonces `q´ “  …          (p Ù Øp )→ q  … *[¡Ojo!: según este principio, si se considera legítimo admitir una proposición falsa  o una contradictoria (`p Ù Øp´), entonces se debe considerar legítimo admitir cualquier proposición (q); ya sea esta verdadera o falsa.]

6.   PRINCIPIO DE MONOTONICIDAD DE LA IMPLICACIÓN: “Cualquier argumento puede ser extendido con premisas adicionales y nunca ocurrirá un cambio en la conclusión”; … “Una vez que se han establecido lógicamente ciertas verdades (teoremas, teorías), nada puede invalidar dichas verdades" ...  p → q ; (p Ù r )→ q; (p Ù r Ù s )→ q; etc. … *[¡Ojo!: según este principio el hecho de aprender algo nuevo, no puede modificar ni reducir el conjunto de cosas que ya sabemos (todo lo más, reforzarlo).]

* ¡OJO!: los dos últimos principios no son, en realidad, principios en sentido estricto, ya que, se pueden demostrar a partir de las reglas básicas de la Lógica proposicional … -(Si tienes unos conocimientos elementales de esta lógica podrás demostrarlos fácilmente: ¡HAZLO!).

…Las lógicas clásicas son solo una parte de la Lógica natural,  y nos indican solo cómo debemos razonar, pero no nos dicen nada sobre la realidad: son autorreferenciales y tautológicas; nada saben del mundo, sólo hablan de sí mismas. … De ahí que, para conocer la realidad (en su complejidad y dinamismo), el ser humano haya necesitado recurrir siempre a otras muchas formas lógicas de pensar que, aunque carecen del rigor y la exactitud de las lógicas clásicas, sirven mejor que estas  para aproximarnos racionalmente a lo que sea la realidad. … Algunas de esas otras formas lógicas de pensar comenzaron a sistematizarse, sobre todo,  a partir de la segunda mitad del siglo XX, dando lugar a las llamadas lógicas no-clásicas (denominadas así porque todas ellas atenúan o rechazan la importancia de algunos de los principios de las lógicas clásicas). …

…Entre las muchas y diversas motivaciones  que llevaron al desarrollo de sistemas lógicos distintos a los de la lógica clásica, destacamos las siguientes: (1) para ampliar la capacidad expresiva de la lógica clásica; (2) para solucionar las paradojas de la implicación material; (3) para superar las consecuencias filosóficas de las aparentes contradicciones que se dan en el mundo real;  (4) para complementar la insuficiencia de las lógicas clásicas en su aplicación al desarrollo de la inteligencia artificial. …

…Los sistemas lógicos no clásicos los podemos clasificar en dos grandes grupos, según si ‘estiran’ o ‘rompen’ el ‘molde’ de la Lógica clásica: (1) extensiones de las lógicas clásicas (por ejemplo, Lógicas modales, Lógicas deónticas, Lógicas epistémicas, Lógicas doxásticas, Lógicas temporales, etc.); … y (2)  alternativas a las lógicas clásicas (por ejemplo, Lógicas plurivalentes, Lógicas paraconsistentes, Lógicas no monotónicas,   Lógicas intuicionistas, Lógicas de la relevancia, Lógica cuántica, Lógica difusa, etc.). … (¡INDÁGALAS!)