Aportaciones históricas al pensamiento Lógico

UNIVERSIDAD TÉCNICA DEL NORTE[pic 1][pic 2]

UNIDAD DE EDUCACIÓN EN LÍNEA

eduvirtual.utn.edu.ec

Aportaciones históricas al pensamiento Lógico

    En nuestros días, resulta básicamente irrealizable circunscribir con exactitud el tema de la lógica. Más allá de que la explicación es una actividad que se encuentra en muchos de nuestros diálogos, discusiones y debates, no resulta simple realizar una teoría general que consigue dividir los buenos de los pésimos argumentos. Entendemos que sostener un enunciado desde otros es lo característico de la costumbre argumentativa. Lo que se intentará exhibir aquí es que algunos inconvenientes centrales de la Lógica Moderna ya existían en tiempos clásicos: eran de consideración los inconvenientes relacionados con las expresiones cuantificadoras, las conjunciones gramaticales y las inferencias que éstas aceptan, de esta forma como distintos inconvenientes concernientes a la naturaleza de la realidad. Sin embargo, resulta elogiable suponer que esos criterios están íntimamente relacionados con el concepto de algunas expresiones destacables. Esas expresiones las encontramos en la Lógica Moderna, que se conforma de operadores lógicos. Es imposible ofrecer una lista completa de todos ellos. No obstante, entendemos que las conjunciones, las disyunciones, los condicionales, las equivalencias, las negaciones, los cuantificadores, las costumbres, las expresiones que hablan sobre estados epistémicos son varios de los signos cuyo concepto debemos investigar, si deseamos tener una recomposición aceptable de las causas a favor o en oposición a los enunciados comprometidos en una disputa.

     La Lógica Moderna, además, llamada lógica simbólica o matemática, fue la búsqueda de un sistema simbólico de ideas y la matematización del criterio de validez de cadenas de razonamiento son propiedades fundamentales de esta lógica. En el siglo XIX con el trabajo de pioneros como Bernard Bolzano, George Boole, Charles Saunders Peirce, y por arriba de todos, Gottlob Frege empezó a progresar la Lógica Moderna en la dirección señalada por Leibniz. Al final, en la lógica de predicados de Frege se desarrolló un lenguaje simbólico bastante potente que el de la lógica silogística aristotélica. Para partes considerables de este lenguaje, la verificación de la validez lógica de las inferencias terminó siendo realmente una cuestión de cálculo. Esta lógica se apoya en la aplicación de símbolos a través de tablas, que nos aceptan ver lo verdadero o falso que son las ediciones de una acción, agrega símbolos para oraciones larga y para las conjunciones que las unen. Tienen codificaciones distintas para el sujeto y el predicado lógico de una oración; y adjudica símbolos para distinguir las clases, para los integrantes de las clases, para las relaciones de la pertenencia a una clase y la incorporación en una clase. Además, se aleja de la lógica tradicional en sus suposiciones de la presencia en relación con las cosas aludidas en sus declaraciones universales. La afirmación “Todo A es B” significa en lógica actualizada que, “Si algo es A, entonces es B”; lo que, en contraste con la lógica clásico, no supone que todo A existe. Muy similares con la Lógica Moderna están la semántica o filosofía del lenguaje, que trata en relación con el concepto de las expresiones y de las frases; la epistemología, o teoría del conocimiento, yo lo llamaría el estudio del desarrollo del conocimiento, que se encarga de las condiciones bajo las cuales las declaraciones son verdaderas; y la psicología del razonamiento, que tiene relación a los procesos mentales que se siguen en el curso de un razonamiento. De esta lógica actualizada, se desprende la semiótica, lógica deóntica, modal, cuantificaciones y proposicional. La Semiótica es la lógica de los símbolos y se distribuye en tres partes: sintaxis, semántica y pragmática. La primera trata de las relaciones de los símbolos entre sí, prescindiendo de su contenido. La segunda trata de las relaciones entre el símbolo y lo que significa. La tercera trata de las relaciones entre el símbolo y el sujeto que lo usa. La lógica deóntica se formaliza por medio de conceptos relacionados con el deber. Esta clase de lógica se usa en el Derecho, infiriéndose del mismo, la llamada lógica de las normas. La lógica modal lo realiza en los conceptos de necesidad y oportunidad. La lógica de clases relaciona conceptos con características (sujeto y predicado), estudia además las implicaciones de unas clases con otras, las cuales tienden a ser representados de manera gráfica por medio de círculos (como diagramas de Venn) empleando la llamada “álgebra booleana”. La lógica cuantificacional que estudia de forma más descriptiva los predicados por medio del uso de cuantificadores que manifiestan cantidad (todos ∀ o algunos ∃). La lógica proposicional examina los razonamientos formalmente válidos partiendo de proposiciones y conectivas proposicionales (operadores lógicos). Además, la lógica simbólica es la parte de la lógica encargada de estudiar a la lógica con la precisión y rigor matemáticos, la primordial propiedad de la lógica simbólica es la utilización de símbolos, alejándose de esta forma ya que del lenguaje habitual y acercándose al lenguaje matemático. Los símbolos matemáticos que tiene dentro son los conjuntos, números, muestras y algoritmos. La lógica de cuantificación sugiere la proporción de ocasiones que un predicado se satisface dentro de una cierta clase. Una propiedad de la Lógica Moderna es que se ocupa tanto de los argumentos que tienen la posibilidad de crearse en uno u otro lenguaje natural, como de los razonamientos en los idiomas formales. De esta manera, así como un argumento es una cadena de oraciones de un lenguaje natural, la Lógica Moderna tienen la posibilidad de considerarse como una cadena de oraciones tomadas de un lenguaje formal. Entre otras cosas, se encuentran argumentos cuya validez es dependiente de las conjunciones del lenguaje natural y de la negación. En esta situación, se opta por un lenguaje formal que tenga como permanentes lógicas a las conectivas, ya que estos símbolos son la contrapartida formal de las conjunciones y de la negación del lenguaje natural. Las letras p, q, r representan a las oraciones menos complicados de este lenguaje formal; con ellas tienen la posibilidad de crearse oraciones complicadas a través de las conectivas. De esta forma, trazamos una distinción formal entre lo que nos importa primordialmente, las conectivas, y los elementos cuyo concepto exacto no nos importa, las oraciones menos complicadas. Más allá de que la lógica tradicional permitió investigar el razonamiento desde una visión estructural, es la lógica simbólica postulada por Frege la que facilita trabajar con elementos argumentativos y simbólicos que fueron empleados a plenitud en el avance de sistemas computacionales y en la formulación de teorías científicas válidas. Los sistemas lógicos habituales, como la lógica aristotélica, se ven limitados frente a las novedosas realidades y problemáticas que combaten las explicaciones y pretensiones de las teorías científicas. Hay nuevos elementos y por consiguiente novedosas lógicas que recogen sistemas de comprensión diferente.

...