GÉNESIS DE LA LÓGICA

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

GEORGE BOOLE

Analisis matemático de la logica.

AUGUSTUS DE MORGAN

“logica formal”

GOTTLOB FREGE

conocido como padre de la lógica matemática, marcó el comienzo de la lógica formal con su primera obra “begriffsschrift”.

PEANO

cierra la línea del desarrollo del cálculo lógico

Francisco Miró divide la logica en

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.

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.

se da

384-322 a.c.Aristóteles primer lógico formal de la historia quien realizo la Sistematización de la lógica(teoría del silogismo),examinó las deducciones o inferencias considerando solo su forma o estructura sin importar el significado.

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.

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.

Ciencia formal que estudia la estructura o formas del pensamiento humano (como proposiciones, conceptos y razonamientos) para establecer leyes y principios válidos para obtener criterios de verdad.