-
400
INICIO DE LOGICA
EN EL SIGLO IV A.C SE FUNDO LA LOGICA ANTIGUA ,EN DONDE LOGICA PROVIENE DEL GRIEGO LOGOS, QUE SIGNIFICA ¨RAZON ,LEY Y PALABRA¨ ARISTOTELES ES EL CREADOR DE ESTA , PUES LA TERMINO DE DEFINIR COMO LA CIENCIA QUE ESTUDIA LAS RAZONES CORRECTAS.
PARA ARISTOTELES EXISTIA UN TIPO DE RAZONAMIENTO ESPECIFICO: EL SILOGISMO.
LOS ESCRITOS LOGICO DE ARISTOTELES ESTAN EN SU OBRA *ORGANON * QUE SIGNIFICA INSTRUMENTO . -
470
SOCRATES 470 a.c - 399 a.c
ERA UN FILOSOSFO FAMOSO POR SU HABILIDAD DE REALIZAR PREGUNTAS ESCENCIALES Y CRITICAS QUE HACIA QUE LAS DEMAS PERSONAS CAMBIARAN SU PENSAMIENTO Y O ENTRARAN EN CONTRADICCION .
SU METODO FUE CONOCIDO COMO : ARTYE DE MAYUTICA. -
1457
LOGICA MEDIEVAL
LA LOGICA MEDIEVAL SE BASA EN EL TRABAJO DE ARISTOTELES , ES RECOGIDA POR LOS SACERDOTES Y CULTIVADA MAYORMENTE EN LOS CONVENTOS , ESCUELAS, UNIVERSIDADES DEL MEDIO OCCIDENTAL.
PEDRO HISPANO Y JUAN BURIDAN ESTABLECIERON QUE * DE DOS PREMISAS CONTRADICTORIAS , SE PUEDE DEDUCIR CUALQUIER CONCLUSION*. -
GOTTFRIED LEIBNIZ 1646 A 1716
GOTTFRIED SUGIRIO TRATAR LOS ENUNCIADOS COMO LAS ECUACIONES DE ALGEBRA, QUE EMPLEABAN EL SIGNO DE IGUALDAD ( A) PARA DECIR QUE LAS 2 PARTES DEBEN TENER EL MISMO VALOR NUMERICO. -
LOGICA MODERNA 1800 -1900
LA LOGICA SE EMPIEZA A UTILIZAR PARA ESTUDIAR LA VALIDEZ DEDUCTIVA COMO LAS MATEMATICAS ,OSEA QUE SE EMPIEZA A UTILIZAR UN LENGUAJE SIMBOLICO SIMILAR AL DE LAS MATEMATICAS .
DE ESTA FORMA NACE LA LOGICA MODERNA O TAMBIEN CONOCIDA COMO LOGICA SIMBOLICA O MATEMATICA .
EN ESTA DESTACAN AUTORES COMO: FREGE DE 1848-1925,
RUSSELL DE 1872-1970, ETC -
EDAD CONTEMPORANEA 1805 A 1970
A.WILLIAM ROWAN : 1805-1865 .
SE CARACTERIZA POR EL DE ABSTRACCION QUE ALCANZA LA LOGICA MATEMATICA DESTACANDO WILLIAM SOBRE LA CUANTIFICACION DE TODO O ALGUNO .
B. AUGUSTUS D MORGAN : 1806 - 1871.
AUGUSTUS , CONSIDERA LA BASE COMUN DE LA LOGICA QUE RADICA EN LAS RELACIONES DE INCLUISION O EXCLUSION PARCIA O TOTAL ENTRE CLASES .
C. GEORGE BOOYLE: 1815 - 1864
BOOYLE, CONSTRUYE LA TEORIA DE CLASES . -
BEGRIFFSSCHRIFT 1879
BEGRIFFSSCHRIFT , INTRODUJO UN CALCULO PROPOCIONAL QUE COMBINA LA TEORIA DE LA DEMOSTRACION DE LEIBNIZ CON UNA PRESENTACION DE LAS CONECTIVIDADES LOGICAS -
INTEGRANTES DE EQUIPO
ARANZA XIMENA SANCHEZ RODRIGUEZ.
CARLA DANIELA FUENTES HERNANDEZ.
ANGEL DAVID ORTEGA AREVALO.
ISSAC DELGADO CHAVERO
