-
Period: 427 BCE to 347 BCE
Platón
la lógica es independiente de cualquier otro dominio y, por tanto, objetiva: si algo se sigue lógicamente de otra cosa depende solo de las características formales de los argumentos en cuestión. -
Period: 384 BCE to 322 BCE
Aristóteles
Considerado el padre de la lógica occidental, Aristóteles desarrolló un sistema formal de lógica deductiva en su obra "Organon". -
Period: 480 to 524
Boecio
para la escolástica medieval, por sus traducciones, comentarios y escritos, la principal autoridad en lógica de la Edad Media hasta que en el siglo XIII fue traducido al latín y comentado directamente el Organon completo de Aristóteles. -
Period: 1232 to 1315
Ramón Lull
Filósofo y teólogo español que desarrolló un sistema de lógica combinatoria conocido como "Ars Magna", que utilizaba diagramas y combinaciones para deducir conclusiones -
Period: to
George Boole
Para Boole la lógica no es filosofía si por ella se entiende metafísica. La ciencia para Boole tiene que ver con las leyes y no con la "investigación de las causas" o con el "por qué" de las cosas, eso corresponde a un campo distinto en el cual Boole decide conscientemente no tomar partido. -
Period: to
Alfrd North Whiterhead
Whitehead argumentó que la realidad consistía en procesos, más que en objetos materiales, y que los procesos son mejor definidos por sus relaciones con otros procesos, por lo que refutó la teoría de que la realidad está fundamentalmente construida por pedazos de materia que existen de manera independiente -
Period: to
Gottlob Frege
Gottlob Frege constituye un hito en la historia de la lógica. Matemático de profesión, partiendo de la convicción de que las matemáticas estaban deficientemente fundamentadas, desarrolló su obra en la idea de que la aritmética se reduce a la lógica, construyendo en el camino una nueva disciplina: la lógica matemática -
Period: to
Bertrand Russell
Russell hizo un notable aporte al desarrollo de la lógica matemática moderna. Desarrolló la lógica de las relaciones y perfeccionó el lenguaje del simbolismo lógico -
Period: to
Ruth C. Barcan Marcus
Fue pionera en la cuantificación de la lógica modal y la teoría causal de la referencia, llevando a cabo una investigación seminal sobre la identidad, el esencialismo, la possibilia (entidades meramente posibles), la creencia, el conflicto moral, así como algunos estudios históricos críticos