Lógica Contemporánea

Comienza Ya. Es Gratis
ó regístrate con tu dirección de correo electrónico
Rocket clouds
Lógica Contemporánea por Mind Map: Lógica Contemporánea

1. ¿Que es la Lógica?

1.1. La lógica es una ciencia que se ocupa de encontrar y verificar la validez de los argumentos principalmente por medio de las matemáticas

2. Se caracteriza por seguir principalmente la corriente Lógica matemática

3. Lógica Matemática

3.1. Creada por Guisseppe Peano.

3.2. Se divide en:

3.2.1. Proposicional

3.2.2. Cuantificacional

3.2.3. Clases

3.2.4. Relaciones

3.3. Caracteristicas

3.3.1. Se expresa mediante símbolos.

3.3.2. Se ocupa de las estructuras del pensamiento.

3.3.3. Tiende reducir todo a relaciones de carácter matemático.

3.3.3.1. Por medio de ideas y raciocinios

3.4. Se ocupa del análisis de la corrección de las leyes formales.

4. Comprende desde el año 1789 hasta el año presente.

5. La lógica ha pasado de ser el estudio del pensamiento puro a ser un trabajo más relacionado con las matemáticas y la Computación que con la retórica.

6. Es la primera Lógica formal exacta.

7. Se fundamenta en determinar los elementos con absoluta precisión mediante la formulación estricta de leyes.

8. Sigue también por otra parte las siguientes corrientes

8.1. Lógica Simbólica

8.2. Lógica Borrosa

8.3. Lógica Computarizada

9. Exponentes

9.1. George Boole (1815-1864)

9.1.1. "Análisis Matemático de la Lógica". Establece la primera formulación sistemática de la lógica simbólica.

9.2. Augusto de Morgan (1806 - 1871)

9.2.1. "Lógica Formal". Hace un análisis lógico de las leyes, símbolos y operaciones de las matemáticas.

9.3. Gottfried Wilhelm Leibniz (1872 - 1970)

9.3.1. Fue el primero en formular la noción de un sistema de lógica matemática

9.4. Bertrand Russell (1872 - 1970)

9.4.1. "Principios de las matemáticas". Reduce junto con Alfred North Whitehead formalmente la aritmética a la lógica.

9.5. Charles Pierce (1839-934)

9.5.1. Define los conectores o signos que indican operaciones o nexos entre pensamientos.

9.6. Gottlob Frege (1848 - 1925)

9.6.1. Padre de la lógica matemática y establece formalmente las tablas de verdad.

9.7. Kurt Gödel (1906 - 1978)

9.7.1. "La aritmetizacion de la síntesis" Es el autor de un famoso "teorema" de la incompletitud.

10. Bibliografia

10.1. LA LOGICA EN LA EDAD CONTEMPORANEA

10.2. La lógica en época contemporánea

10.3. http://e-spacio.uned.es/fez/eserv/bibliuned:500004/LOG-GUIA_6_1.pdf

10.4. Lógica Contemporanea

10.5. Historia de la lógica - Wikipedia, la enciclopedia libre

11. Elaborado por: Ana Sofia Castillo