Você está na página 1de 7

Introducción

La lógica como la conocemos actualmente ha pasado por muchos cambios a


través de los tiempos, a pesar de que algunos conceptos básicos siguen siendo
usados hasta la fecha, a lo largo de la historia hasta nuestros días han existido
grandes estudiosos que han dado soluciones a problemas que la lógica
presentaba. Ejemplo de esto son las paradojas que se pueden dar dentro de
nuestro lenguaje. Otros se han dedicado a estudiar la lógica más detalladamente
y han conseguido teoremas que parecieran insignificantes pero tienen un gran
estudio que los respalda. Debido a todo esto, no existe solo un tipo de lógica, si no
varias y con diferentes aplicaciones como lo es la “lógica computacional” que
toma a la lógica matemática y la aplica al campo de la computación.
Historia de la lógica

La historia de la lógica se puede dividir en distintas épocas a través de los años, y


estos son:

Primera época de la lógica – Lógica Simbólica (500 a.c. – Siglo 19).

Originalmente la lógica estaba dirigida a los argumentos. Por ejemplo, se utilizaba


para demostrar si algún argumento era correcto:

- Todos los hombres son mortales.


- Yo soy un hombre.
- Entonces, Yo soy mortal.

En ese entonces si no se utilizaban palabras como “todos/as” o “siempre” los


argumentos no podían ser válidos. Esto se debía a que el idioma puede llegar a ser
ambiguo. Ejemplo de esto puede ser la palabra “cualquier” en la siguiente oración:

- María no cree que Yo pueda aprobar cualquier examen.

Éste “cualquier” puede significar “todos” o “uno”.

Otro problema que se descubrió en el lenguaje fue el de las paradojas, un ejemplo


de esto es la famosa “Paradoja de la mentira”:

- Esta oración es una mentira.

El problema con las paradojas en el lenguaje fue tan grande para los estudiosos
que los llevo a formularse un lenguaje lógico simbólico.

Segunda época de la lógica – Lógica Algebraica (Siglo 19).

George Boole en el año 1847, en “El análisis lógico matemático de la lógica” intento
formular un lenguaje matemáticamente lógico. Las reglas de inferencia fueron
formuladas luego de manipular distintas expresiones algebraicas.

Boole incluso intentó encontrar como representar una división, pero esta operación
lógica no existe.

Luego de Boole, Lewis Carol (Charles Ludwig Dodgeson) publico distintos libros
acerca de sus estudios y desarrollo los diagramas de Venn.

Durante este tiempo, Ernst Schröeder anticipó la importancia de desarrollar


algoritmos que pudieran solucionar problemas lógicos y matemáticos de manera
rápida. Y lo publico en su obra “El álgebra de la lógica”.

Tercera época de la lógica – Lógica Matemática (Siglo 20).

Ya que las demostraciones de forma matemática eran más comunes, paradojas


empezaron a aparecer dentro de este lenguaje.
Para solucionar este problema en 1879, Frege propuso a la lógica como un
lenguaje para las matemáticas. El desarrollo de esta idea fue propuesta tiempo
atrás por Leibnitz, pero se desarrolló a finales del siglo 19 ya que en ese entonces
ya existían las herramientas lógicas. La forma matemática de demostrar empezó a
ser más común cada vez más. Debido al incremento de demostrar de forma
matemática Cantor fue capaz analizar el concepto del infinito que anteriormente
era imposible. El concluyó en que en lugar del concepto de un solo infinito, existían
una gran cantidad de ellos. Cantor explicaba que;

Si un conjunto finito tiene ‘n’ elementos entonces el conjunto de partes de ese


conjunto tiene 2𝑛 elementos. El hecho de que sea válido para todo conjunto infinito
no es del todo intuitivo, pero permite establecer varios resultados interesantes:

- Existe una infinidad de cardinales transfinitos, lo cual significa que en realidad


existen muchos tipos de infinito (de hecho una infinidad) cada uno mayor
que el anterior. Este resultado a priori es muy poco intuitivo, pero
tremendamente importante en la fundamentación de las matemáticas.
- No existe ninguna manera de enumerar todos los subconjuntos de Ν.
Tipos de Lógica

Lógica modal: es un sistema formal que intenta interpretar el comportamiento de


operadores modales. Los operadores modales son expresiones que califican la
verdad de las proposiciones. Ejemplo de esto es;

- Es necesario que 3 + 2 = 5.

La expresión “es necesario que” es un operador modal que califica de ser


verdadera 2 + 2 = 4 para su análisis, pero, la lógica modal es un sistema formal que
intenta capturar el comportamiento de las expresiones (operadores modales).

Lógica proposicional: también llamada lógica de orden cero, es un sistema cuyos


elementos más simples son representados por proposiciones, y que están “unidas”
por conectivos lógicos, estos representan operaciones sobre proposiciones,
capaces de formar otras proposiciones de mayor complejidad.

La lógica proposicional incluye además de variables interpretables como


proposiciones simples signos para conectivos lógicos, por lo que dentro de este tipo
de lógica puede analizarse las inferencias lógicas de proposiciones a partir de
proposiciones.

Lógica filosófica: trata de las descripciones formales de lo ordinario, lenguaje


natural no especificado, que es estrictamente único sobre los argumentos dentro
de las ramas de otras filosofías. La mayoría de los filósofos suponen que la mayor
parte del razonamiento cotidiano se podría capturar en la lógica si se pudiera
encontrar un método o métodos para traducir el lenguaje ordinario a esa lógica.
La lógica filosófica es esencialmente una continuación de la disciplina tradicional
llamada "lógica" antes de la invención de la lógica matemática.
La lógica filosófica tiene un mayor interés con la conexión entre el lenguaje natural
y la lógica. Como resultado, los lógicos filosóficos han contribuido al desarrollo de
lógica no convencional al igual que varias extensiones de la lógica clásica y el
lenguaje no convencional para esas lógicas.

Lógica matemática: es el tipo de la matemática de la lógica. Que incluye partes


de la lógica que pueden ser modeladas y estudiadas matemáticamente.

Está conformada por dos áreas de aplicación: la primera es la aplicación de las


técnicas de la lógica formal a las matemáticas y el razonamiento matemático y la
segunda, en la otra dirección, la aplicación de técnicas matemáticas a la
representación y el análisis de la lógica formal.
La teoría de la demostración y la teoría de modelos han sido el fundamento de la
lógica matemática. La teoría de conjuntos inicio con en el estudio del infinito por
Cantor, a partir del teorema de Cantor inician muchas de las ramas de estudio de
este tipo de lógica.

Lógica computacional: es la aplicación de la lógica matemática dentro de las


ciencias computacionales, quiere decir el uso dentro de los campos como:
circuitos computacionales, programación, análisis y optimización de algoritmos
que puedan ser aplicados a una computadora.
¿Qué aplicaciones de la lógica veo en mi carrera?

La lógica es muy importante dentro de la carrera de Ingeniería en Ciencias y


Sistemas, incluso se cuenta con un curso llamado “Lógica de Sistemas” dentro del
pensum de la carrera. Este curso lo que intenta enseñarle al estudiante es el de ver
de distintas maneras lo que nos rodea, incluso si esto significa cambiar el concepto
de los objetos a los que estábamos acostumbrados. La manera de percibir la
realidad es diferente para cada persona, a pesar de esto en esta clase te enseñan
cambiar los conceptos de alguien en otros más entendibles a un nivel más simple.
Bibliografía

- A Brief History of Logic (January 15, 2003) – Moshe Y. Vardi.


- Propositional Logic - Klement, Kevin C. - Internet Encyclopedia of Philosophy
- Matemáticas, discretas y combinatoria - Ralph P. Grimaldi y Addison-Wesley

Você também pode gostar