Mayores Representantes de la Lógica.
• Aristóteles: Aristóteles es ampliamente reconocido como el padre fundador de la lógica. Sus trabajos principales sobre la materia, que tradicionalmente se agrupan bajo el nombre Órganon(herramienta), constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto. La noción central del sistema lógico de Aristóteles es el silogismo (deducción). Un silogismo es un discurso (logos) en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente. Aristóteles construyó la primera teoría de la inferencia válida. Conocida como la silogística.
• Euclides: Se le conoce como "El Padre de la Geometría". La geometría …ver más…

Más tarde, Stefan Banach amplificó el concepto, definiendo los espacios de Banach. El espacio de Hilbert es por sí misma la idea más importante del análisis funcional, que creció a su alrededor durante el siglo XX.
• Gottlob Frege: Frege fue un defensor del logicismo, la tesis de que las matemáticas son reducibles a la lógica, en el sentido de que las verdades de la matemática son deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo era de alcance limitado, aplicándola sólo a la aritmética, puesto que Frege permaneció en gran medida kantiano respecto de la geometría. Su obra titulada Leyes básicas de la aritmética (Grundgesetze der Arithmetik) fue un intento de llevar a cabo el proyecto logicista. legó a publicar una serie de importantes artículos, entre los cuales destaca El pensamiento: una investigación lógica, en donde básicamente se examina el contenido de las proposiciones, aquella parte objetiva que es transmisible a todo hablante en un enunciado declarativo.
• George Boole: Como inventor del álgebra de Boole, la base de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos