-
Es considerado como el primero que estudio las oraciones -
fue para la escolástica medieval la principal autoridad por sus escritos -
considerado el padre de la lógica por ser el primer pensador que se intereso en el pensamiento lógico. la lógica Aristotélica supone que la mente reproduce solo la realidad -
según platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de la ideas -
para Pedro la lógica se ocupa de la expresión verbal de los pensamientos -
sobresale como lógico ya que su obra es la mas completa de la técnicas y reflexiones que surgieron en ese campo -
intrudujo el calculo llamado "Mathesis Universalis" -
fue precursora de la lógica matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos -
considero que la base común de la lógica se centra en las relaciones de exclusión e inclusión parcial o total entre clases -
Aclara los procedimientos de Boole representando los procesos algebraicos en los diagramas de Venn -
Da el nombre de lógica matemática creando así un lenguaje simbólico.
Propuso puntos auxiliares para las demostraciones matemáticas. -
Bertrand russell en su obra "los principios de la matemática" propone que las matemáticas puedan reducirse a una rama de la lógica -
defendió los principios d la lógica simbólica. Carnap fue un filosofa del empirismo lógico que rechazo las tradiciones mas especulativas teología y metafísica