Lógica Simbólica 23-09-20 Ana Emilia Tufiño Díaz Reseña histórica de la Lógica. La lógica, para llegar a la lógica que conocemos en la actualidad ha venido evolucionando desde la Grecia Antigua hasta la actualidad. La lógica se puede separar en tres etapas temporales: Lógica clásica, Lógica medieval y la lógica simbólica. En la lógica clásica se encuentra principalmente la lógica de Aristóteles, quien llevó a cabo la primera sistematización y definición de la lógica. Diferenció la lógica de la retórica, diciendo que la lógica es el arte de construir razonamientos correctos, mientras que la retórica es la facultad de seducir mediante la palabra. Dentro del mismo periodo de la Grecia Antigua, surgió también la lógica megárico-estoica, no se conservan obras, pero se sabe gracias a referencias de autores, que fueron los primeros en utilizar conectores y desarrollar la lógica proposicional. Aparte, dentro de la lógica meramente estoica, se destacan cinco reglas de inferencia establecidas: I. Si lo primero, entonces lo segundo; pero lo primero; por tanto, lo segundo. II. Si lo primero, entonces lo segundo; pero no lo segundo; por tanto, no lo primero. III. No a la vez lo primero y lo segundo; pero lo primero; por tanto, no lo segundo. IV. O lo primero o lo segundo; pero lo primero; por tanto, no lo segundo. V. O lo primero o lo segundo; pero no lo segundo; por tanto, lo primero Dentro de la lógica medieval, se buscó con mucho esfuerzo demostrar una coherencia absoluta en la Biblia. Se pueden notar dos periodos de la lógica dentro de la época medieval: un periodo interpretativo, que incluye obras de personajes como Boecio y San Anselmo, y un periodo creativo, donde se distinguen otros dos periodos, el dialéctico y el maduro. Durante este tiempo medieval también hay readaptaciones de la obra de Aristóteles. Dentro de la lógica de la Edad Moderna, los renacentistas sustituyeron el estudio de Aristóteles por el estudio de Platón, y de alguna manera la lógica fue desplazada por el estudio de la retórica y la dialéctica, incluso fue criticada por el abuso de los silogismos aristotélicos entre otros detalles. Hablando ya de lógica matemática o lógica simbólica, Leibinz pretendía elaborar un lenguaje universal para traducir los pensamientos simples a símbolos simples, de tal forma que al combinarlos se pudiera llegar a otros símbolos más complejos. Para construir estos símbolos creó una regla que llamó “Característica universal”, que aparece en su obra Elementos de una característica universal, donde aplica símbolos a una relación matemática que permitía hacer cálculos complejos para representar pensamientos y argumentaciones.
