Entre el 600 a.C hasta el 300 a.C en Grecia se
desarrollaron los principios formales de las matemáticas. Este período, que se conoce como el período clásico tiene en su escena como representantes a Platón, Aristóteles y Euclides.
Por su parte, Platón introduce sus ideas o
abstracciones mientras que el resto fue presentando propiamente el razonamiento deductivo y de forma estructurada o una mayor influencia en las matemáticas. Euclides, por ejemplo, organizó pruebas deductivas.
Por otra parte, mucho se cree sobre el hecho de que la teoría del conocimiento de Platón, fue edificada por él para justificar el poder del filósofo y parte de los pensamientos socráticos.
Más allá de esto, lo que allí encontramos son conceptos e ideas abstractas. Platón dice que lo concreto se entiende en función de lo abstracto, resultando que el mundo sensible parte del mundo de las ideas.
Estos principios formarían de a poco conceptos de lógica como proposiciones y su formulación.
