En este trabajo se encontrará como avanzo y
quienes dieron avance a la lógica, desde tiempos antiguos hasta a mediados de
los años 50, nos preguntaremos ¿Quién realmente es el pensador más influyente
de esta ciencia?
Democrito, Descartes y Platón fueron
los primeros en plantear ideas acerca de la lógica pero como tal no se vio tan
impactante como lo fue el trabajo realizado por Aristóteles "Teoría del
raciocionio y de la demostración: rigurosa diferenciación entre lo verdadero y
lo falso" quien en su recopilación de trabajos Órganon se refleja la
importancia significativa a Aristóteles se le considera el creador y padre de
la lógica por darle un orden sistemático, aquí es donde se convierte en una
ciencia, cuyo objetivo de estudio es el razonamiento también aporta a la lógica
el uso de variables tales como; cantidad y calidad, las cuales abren
infinidades des posibilidades mediante premisas y conclusiones, es decir
conocimientos previos y una conclusión que se obtiene mediante la misma
premisa.
Durante la edad media surgen
algunos pensadores muy destacados por su trabajo y sus aportes a la lógica pero
para destacar puedo dar ejemplo de Guillermo G Leibniz éste matemático alemán
fue considerado la primera persona en haber planteado una verdadera formalización
de la lógica como cálculo matemático, aquí es cuando intervienen George Boole y
August Morgan, matemáticos de la época quienes complementaron lo hecho por
Leibniz mediante sus trabajos esto hace ver la lógica, no como lógica formal,
sino como una nueva lógica, la lógica matemática “La Lógica es la ciencia que
tiene como objetivo el análisis de los métodos de razonamiento” esto es lo que
teóricamente significa la lógica matemática quien da el nombre de lógica
matemática que anteriormente se conocía como lógica simbólica es el matemático
Giuseppe Peano.
El gran desarrollo de la lógica
formal se produjo a finales del siglo XIX y primera mitad del XX con grandes
exponentes de la matemática quienes hicieron más comprensible las ideas dadas
por los anteriores pensadores procederé a nombrar a algunos de los más
importantes pensadores de este lapso de tiempo: Gottlob Frege(1848-1925):
fundador de la lógica moderna y de la lógica de primer orden Bertrand
Russell(1872-1957), Alfred North Whitehead(1861-1947): Principia Mathematica:
lógica simbólicaKurt Gödel (1906-1978): Teoremas de GödelAlfred Tarski
(1902-1983), Fundamentación de la metalógica y la metamatemáticaHilbert,
Herbrand…
Ya luego partir de los años 50's
se da uso a la lógica formal como algo que centra sus estudios a la
investigación y aplicación en temas como computación, principalmente como
herramienta de la programación.
De lo anterior puedo concluir que
el pensador más importante para mí, ha sido Leibniz quien es el primero en
hablar de lógica matemática, sin menospreciar el trabajo de los demás quienes
han influido mucho a la mejora y comprensión de la lógica creo que Aristóteles
también es un papel muy importante, tanto así que por mucho tiempo dijeron que
su trabajo era irrefutable lo cual me hace deducir que dejo plasmado un trabajo
de vital importancia para la filosofía y en sí a la humanidad.
No hay comentarios:
Publicar un comentario