HISTORIA DE LA LÓGICA

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
Rocket clouds
HISTORIA DE LA LÓGICA por Mind Map: HISTORIA DE LA LÓGICA

1. La Lógica en el Derecho Sin duda se puede deducir la relación que existe entre la argumentación judicial y la L ógica. Es co mún oír la defenza de la Lógica en un argumento para fundar sentencia s ; n o es ajeno al ámbito judicial que el quejoso despliege falacias , o razones precisas, para lograr a su pretensión.

2. Lógica Clásica (600-300 a.C.)

2.1. Protágoras de Abdera (450-410 a.C.) • Filósofo • Relativismo • Ambos juicios son validos • -El hombre es la medida de todas las cosas

2.2. Platón • (427-347 a.C.) • Filósofo • Dialéctica • Persona a persona • -El humano es cuerpo y alma- • Ideas y objetos

2.2.1. Aristóreles • (384-322 a.C.) • Polímata • “Padre de la Lógica Clásica” • Silogismos • Formalizó razonamiento • Lenguaje ordinario

2.3. René Descartes • (1596-1650) • Filósofo • “Padre de la Filosofía Moderna y la Geometría Analítica” • Someter a juicio • Cimentar conocimiento • Resolver mediante división • (de lo general a lo particular) • -Pienso luego existo

3. Lógica Matemática (1500-1800)

3.1. René Descartes • (1596-1650) • Filósofo • “Padre de la Filosofía Moderna y la Geometría Analítica” • Someter a juicio • Cimentar conocimiento • Resolver mediante división • (de lo general a lo particular) • -Pienso luego existo

3.2. Isaac Newton • (1642-1727) • Físico • Gravitación Universal • Movimiento • Calculo infinitesimal • Óptica (luz blanca) • Dinámica

3.3. Gottfried Wilhelm Leibniz • (1646-1716) • Polímata • Lógica Moderna • Razonamiento Matemático • (Cálculos Aritméticos) • Lenguaje artificial • Notación actual • Cálculo Diferencial e Integral

4. Lógica Simbólica (1800-200)

4.1. Augustus De Morgan • (1806-1871) • Matemático • Inducción Matemática • (Demostración de proposiciones) • Leyes de Morgan • Dos proposiciones lógicamente equivalentes • Interpretación geométrica de números complejos

4.2. George Bool • (1815-1964) • Matemático • Álgebra Booleana • (Álgebra de conjuntos) • Modelo algebraico de la Lógica • Notación: SI, NO, Y, O

4.3. Georg ferdinand Cantor • (1845-1918) • Matemático • Teoría de conjuntos • Cardinales transfinitos • Infinitos y grados de infinidad

4.4. Gottlob Frege • (1848-1925) • Matemático • “Padre de la Lógica Matemática” • Natural a conceptos lógicos • Libro: Fundamentos de Aritmética • (derivada y Lógica de Predicados) • Cuantificadores: Para todo, para algún caso, de..., algunos (as), entre otros. • -La Aritmética es parte de la lógica

4.5. Giuseppe Peano • (1858-1932) • Matemático • Conjunto de signos • Razonamiento y pertenencia • Unión e intersección • Cuantificador Universal • (para todo x, x pertenece a A si p(x).

4.6. Bertrand Russell y Alfred North Whitehead • Lógica de predicados • Aportación a occidente • Libro: Principia Mathematica • (El más importante desde Aristóteles) • -La matemática se deriva de la Lógica- (1861-1947) Matemático (1872-1970) Filósofo

4.7. Kurt Gödel • (1906-1978) • Lógico • Tésis Doctoral: Teorema de las Proposiciones Indesidibles • Circuitos eléctricos • Aporte a computadoras electrónicas digitales

4.8. Alan Mathison Turing • (1912-1954) • Matemático • Algoritmo moderno • Máquina resuelve problemas • Mediante algoritmos

4.9. Lógica Informática y Revolución de Digital (1950-1960) y (1956-1976)

4.9.1. John McCarhy • (1927-2011) • Informático • “Padre de la inteligencia artificial” • Nuevo lenguaje de programación • 1958 primer lenguaje declarativo • LISP (List Processing Language) • Segundo después de FORTRAN.

5. La Lógica en la Programación • L a programación está ba sada en las matemáticas y en la Lógica . Programar , es resolver probl ema s mediante algoritmos , que so n , un conju nto de operaciones matemáticas y lógicas.