TY - JOUR AU - Johann Verney Méndez Gamba, Alfonso Jiménez Espinosa, PY - 2011/11/29 Y2 - 2024/03/29 TI - Apuntes históricos de la lógica matemática JF - Educación y Ciencia JA - rev.educien VL - 0 IS - 12 SE - CLIO DO - 10.19053/01207105.751 UR - https://revistas.uptc.edu.co/index.php/educacion_y_ciencia/article/view/751 SP - AB - Entrega elementos de la historia de la lógica y su consolidación como fundamento de la demostración en<br />matemáticas. Se identifican cuatro etapas o periodos, más o menos bien definidos, por los que se considera ha<br />pasado esta disciplina, de acuerdo con algunas características particulares. La primera es llamada aristotélica, por ser justamente Aristóteles quien logra<br />condensar varios trabajos de predecesores y contemporáneos, se caracteriza por su concreción en<br />razonamientos llamados silogismos, el trabajo de este pensador se condensa en el  Organon. La segunda puede<br />denominarse como de los Estoicos y los Megáricos, dos escuelas griegas cuyo principal aporte consistió en el trabajo con las proposiciones y el desarrollo de<br />los conectivos y sus equivalencias. Posteriormente aparece la etapa de la lógica simbólica, con los trabajos de<br />Pedro Hispano, con la introducción de los cuantificadores, y de Leibniz, quien dedicó parte de su tiempo a intentar crear un cálculo proposicional, que finaliza con los trabajos de Euler y de Venn para la representación de proposiciones a través de diagramas. La última etapa, la de la creación del álgebra matemática de Boole, marca lo que se ha denominado el paso de la lógica medieval a la lógica<br />de Boole. Históricamente lo que viene a continuación se caracteriza por el renacimiento de la formalización rigurosa de las matemáticas, que en la etapa clásica griega fue representativa. En este periodo se enfatiza en la lógica<br />simbólica, la lógica formal, la lógica booleana, el cálculo proposicional y la inducción matemática. Personajes muy<br />notables de esta etapa son: Peano, Hilbert, Frege, De Morgan, Gentzen, Russell, Whitehead y Gödel, a los que se<br />deben los planteamientos de las limitantes de la lógica y de la ciencia en general para afirmar verdades absolutas.<br /><strong><br />Palabras clave:</strong> Lógica, Matemáticas, Silogismo, Proposición, Lógica simbólica,  <br /><br /><strong>Abstract</strong><br /><br />It gives elements of the history about Logic and its consolidation as the foundation of the demonstration in<br />Mathematics. Four stages or periods are identified, more or less well defined, this discipline has gone through in<br />accordance with some particular characteristics.<br />The first one is called Aristotelian, for being exactly Aristotle, who is able to condense several works of predecessors and contemporaries, characterized by his<br />concretion in ways of reasoning called syllogisms. The work of this thinker becomes condensed in the Organon. The second one, it can be named the Estoic and the Megaric, two Greek schools which their main contribution consisted  in the work with the propositions and the<br />development of the connective elements and their equivalents. Later another stage appears, the symbolic logic, with Pedro Hispano’s job who introduces the<br />quantifiers and Leibniz who dedicated part of his time trying to create a propositional calculation, which ends<br />with Euler and Venn’s works who accomplished the representation of propositions through diagrams. The last<br />stage is about the creation of the math algebra by Boole, marks what has been named as the path of the medieval logic to the Boole logic. Historically, which comes next is<br />characterized by the renaissance of the rigorous formalization of mathematics, which in the classic Greek stage was representative. In this period it emphasizes the symbolic logic, the formal logic, the boolean logic, the<br />propositional calculus and the maths induction. Famous personages of this stage are: Peano, Hilbert, Frege, De<br />Morgan, Gentzen, Russell, Whitehead and Godel, to whom it is owed the expositions of the logic limits and that<br />of the science in general to affirm the absolute truths.<br /><strong><br />Key Words:</strong>  Logic, Mathematics, Syllogism, Proposition, Symbolic Logic. ER -