LA LÓGICA
GÉNESIS DE LA LÓGICA
EDAD CONTEMPORÁNEA
los filósofos
Bertrand Risell y Alfred estructuraron los trabajos de frege y peano lo cual los resultados se publicaron en la obra”principio mathematica”ellos llevaron a cabo la tarea de mostrar que es posible derivar toda la matemática de lógica.
El campo de la matemática se divide en
Aritmética, análisis y teoría de los conjuntos.
EDAD MEDIA
Fueron
Pedro Abelardo, Pedro Hispano, Tomas de Aquino, Raimundo Lulio y Guillermo de Occom,quienes emprendieron nuevas investigaciones como la teoría de las suposiciones, esta es empleada para la eliminación de paradojas metalógicas.
también
Emprendieron un estudio especial y profundo de la lógica modal llevándolo más allá de lo que había realizado Aristóteles.
EDAD ANTIGUA
LÓGICA CLÁSICA Y LÓGICA NO-CLÁSICA
Francisco Miró divide la logica
en
LOGICA NO-CLASICA-HETERODOXA
Esta se da de forma negativa y tiene un lenguaje diferente al clásico,aquí no son validos algunos de los principios fundamentales.
LÓGICA CLÁSICA
Es aquella que es asertorica, es decir proposicional, que tiene un lenguaje formal característico, también es aquel estudio de principios aplicables a todo razonamiento sin tener en cuenta el contenido.
RENACIMIENTO Y EDAD MODERNA
El filosofo
Guillermo Leibniz precursor de la lógica matemáticaque tomó conciencia de la necesidad de disponer de un lenguaje especial para progresar en el estudio de las deducciones.
Realizo la ciencia a la cual llamo de logística o lógica matemática, lo cual su función consistiría en demostrar la verdad de las afirmaciones filosóficas y científicas sin tener en cuenta su significado, sino solamente su estructura expresada en símbolos en un lenguaje especialmente para calcular.Finalmente, su proyecto fracaso.
La lógica
tomo un nuevo curso en poco tiempo ha experimentado significativos progresos que la han renovado por completo.
Por lo tanto
PEANO
cierra la línea del desarrollo del cálculo lógico
GOTTLOB FREGE
conocido como padre de la lógica matemática, marcó el comienzo de la lógica formal con su primera obra “begriffsschrift”.
AUGUSTUS DE MORGAN
“logica formal”
GEORGE BOOLE
Analisis matemático de la logica.