-
1400
Historia de la lógica
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, las cuales son: -
Feb 2, 1450
Los 6 principales tipos de lógica
-Formal
-Informal
-No clásica
-Simbólica
-Modal
-Computacional -
Feb 3, 1500
Lógica formal
La lógica formal, también conocida como lógica clásica o lógica aristotélica, es el estudio de proposiciones, argumentos, declaraciones u oraciones desde el punto de vista estructural. -
Feb 4, 1550
Lógica informal
La lógica informal es la rama de estudio que se centra en el lenguaje y el mensaje que se emana de las construcciones semánticas y los argumentos. -
Lógica no clásica
Establece otras formas de análisis que pueden abarcar más aspectos que los que es posible englobar a través del enfoque clásico de la lógica, es así como se incluyen elementos matemáticos y simbólicos -
Lógica simbólica
O también llamada lógica de primer orden o lógica matemática se caracteriza por emplear símbolos que constituyen un nuevo lenguaje a través del cual de “traducen” los argumentos. -
Lógica modal
La lógica modal se centra en el estudio de los argumentos, pero agrega elementos relacionados con la posibilidad de que el enunciado en cuestión sea verdadero o falso -
Lógica computacional
La lógica computacional es un tipo de lógica derivado de la lógica simbólica o matemática, sólo que es aplicada en el área de la computación.los programas de computación utilizan el lenguaje de la programación para su desarrollo y, a través de la lógica, es posible trabajar esos sistemas de lenguaje, asignar tareas específicas y ejecutar acciones de verificación. -
Mayores creadores de la lógica
-Aristóteles
-Gottfried Leibniz
-Friedrich Ludwig Gottlob Frege
-Bertrand Russell -
lógica antigua
O tambien conocida como lógica aristotélica es la lógica basada en los trabajos del filósofo griego Aristóteles,Sus trabajos principales sobre la materia tradicionalmente se agrupan bajo el nombre (organon) que constituyen la primera investigación de los principios del razonamiento válido o correcto -
Alan Mathison Turing
Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna. Proporcionó una influyente formalización de los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es ampliamente aceptada como la tesis de Church-Turing -
Lenguaje único, completo y exacto para razonar
sueño al que aspiraba Gottfried Leibniz -
Gottfried Leibniz
Fue uno de los grandes pensadores y se le reconoce como el (último genio universal). ya que realizó importantes contribuciones en las áreas de metafísica, epistemología, lógica, filosofía de la religión, matemática, física, geología, historia y jurisprudencia -
Friedrich Ludwig Gottlob Frege
Los progresos en álgebra y geometría al comienzo del siglo XIX, y el desarrollo de un cálculo completo fueron aportes de Frege el cual fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica. -
Bertrand Russell culmino el proceso de creación de la lógica
Filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofía analítica y sus trabajos matemático.
Claro que a partir de este momento no dejaron de producirse nuevos desarrollos y de nacer escuelas y tendencias
