-
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, las cuales son:
-
-Formal
-Informal
-No clásica
-Simbólica
-Modal
-Computacional -
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.
-
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.
-
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
-
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.
-
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
-
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.
-
-Aristóteles
-Gottfried Leibniz
-Friedrich Ludwig Gottlob Frege
-Bertrand Russell -
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
-
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
-
sueño al que aspiraba 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
-
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.
-
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
