-
Demócrito- Formuló principio de razón suficiente. "Nada hay que surja sin causa, surge apartir de la razón y la necesidad"
-
Darniarkirti- Realiza manual de lógica.
Una gota de lógica -
Sócrates y Platón.- Ontología Teoría de la ideas
filósofos se oponen al materialismo. -
Aristóteles.- Primer filósofo que estudio la los problemas de la lógica
Los escritos de Lógica de Aristóteles fueron agrupados bajo la denominación de Organon, que significa instrumento (del conocimiento).
libros:
1.- las categorías
2.-los tópicos
3.-leyes y reglas de la lógica
4.-Define la verdad como la adecuación del pensamiento a la realidad -
Pensadores Chinos, clasificación de los nombres, y las cosas
-
La Edad Media fue el escenario de la lucha entre materialismo e idealismo en el campo de la lógica.
Los pensadores más des tacados fueron: Anselmo de Canterbury, Tomás de Aquino, Roscelino, Duns Scoto, Guillermo de Occam, Juan Buridan, Pedro Abelardo y algunos otros . -
-
Iniciador de la lógica inductiva, crea los siguientes métodos.
Método de las semejanzas
Método de las diferencias
Método de las semejanzas y diferencias
Método de los cambios concomitantes -
aporta las matemáticas fue la Geometría analítica.
1ª Sólo puede admitirse como verdadero lo que s e reconoce como evidente y está comprobado (demostrado).
2ª Dividir lo complejo hasta donde sea posible.
3ª Ir de lo s imple a lo complejo, de lo más a lo menos evidente.
4ª Investigar el objeto en todos sus detalles. -
Filósofo y matemático alemán de corte racionalista.
considerado antecesor de cálculo matemático -
Declaró apriorísticas y absolutamente invariables las formas y leyes lógicas .
-
Estudió el proceso dialéctico del conocimiento científico en su esquema de tesis, antítesis y síntesis.
-
Filósofos materialistas . Dieron a la lógica dialéctica hegeliana un
sentido materialisa, estableciendo su fase demostrativa. Formularon las leyes fundamentales de la investigación científica histórica, destacando el aspecto metódico de las leyes dialécticas . -
Álgebra lógica, Leyes del cálculo proposicional, etc.
-
Disyunción inclusiva y principio de sub titución. Gotlob Frege (1879): Tablas de verdad, Fundamentos lógicos de la aritmética e implicación material.
-
utilizó diagramas topológicos para la representación de las
funciones lógicas . -
Procedimientos de decisión, desarrolla el álgebra de la lógica.
-
Aparecer las geometrías euclidianas y las paradojas de la teoría de conjuntos.
-
Fundamentos lógicos de las ciencias naturales
-
dedujeron formalmente la aritmética a partir de la lógica; es tablecieron la síntesis de la lógica y de la aritmética; formulan rigurosamente la lógica matemática, teoría de los tipos , lógica de las relaciones , cálculo de clases y cálculo de relaciones .
-
Estableció las bases para la formulación de sistemas lógicos con un número finito cualquiera de valores de verdad.
-
formuló la lógica del método estadístico y el des arrollo axiomático de las probabilidades . También formuló una lógica de la inferencia científica.
-
Formuló un sistema cuantitativo de la lógica inductiva
basado en la probabilidad. -
Estableció una lógica topológica basada en la necesidad, en la posibilidad y la imposibilidad.
-
Estableció la fundamentación de la metalógica y la metamatemática.
Plan projects on a visual timeline
Map milestones, phases, deadlines, and key events in one place so the sequence is easier to see and share. Timetoast is a timeline maker for work, school, research, and stories.