-
1500 BCE
LOGICA NATURAL
Este tipo de lógica fue muy importante para el desarrollo de la especie humana, esto debido a que es la capacidad o disposición natural (conceptualizar, enjuiciar, razonar) con orden, coherencia y certeza sin haber estudiado la materia de lógica utilizándola de manera cotidiana en un gran numero de actividades. -
Period: 1500 BCE to 476
EDAD ANTIGUA
-
400 BCE
LÓGICA DIALÉCTICA
La palabra dialéctica, referida a la lógica, no tiene un significado único, pues se le ha utilizado en distintos sentidos.
En la antigua Grecia la dialéctica era considerada con el arte de la discusión
Permite elevar el conocimiento que producen las ciencias a un nivel teórico.
No hay una fecha exacta cuando surgió esta lógica, sin embargo sabemos que surgió en la antigüedad griega -
384 BCE
¿Desde cuando existe la lógica?
La lógica es tan antigua como la filosofía, la misma palabra proviene del griego "LOGOS" que significa razón ley y palabra.}
Se considera que Aristoteles fue el fundador de la lógica definiendola como "ciencia que estudia los razonamientos correctos"
AUNQUE el solo tomaba en cuenta el razonamiento conocido como silogismo -
350 BCE
SILOGISMO
El silogismo es una forma de razonamiento deductivo e inductivo el cual proviene de la palabra syllogismus el cual hace origen del griego que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles.
Sus características son las siguientes:
-Primera premisa
-Segunda premisa
-Conclusión -
350 BCE
SISTEMA FORMAL AXIOMATICO
Se trata simplemente de un lenguaje artificial constituido por signos y reglas que permite "calcular", es decir demostrar ciertas verdades a partir de otras ya establecidas a traves de una serie de pasos -
350 BCE
LÓGICA DEDUCTIVA
La lógica deductiva razona de lo general a lo particular.
En su definición formal, una deducción es una secuencia finita de fórmulas, de las cuales la última es designada como la conclusión.
En resumen es comprender/entender(deducir) algo en base a un argumento.
Este tipo de lógica surge a partir del silogismo, sin embargo no hay una fecha exacta como tal -
347 BCE
PLATON
Platón. (427-347 a. C.) fue un filósofo griego seguidor de Sócrates. y maestro de Aristóteles. En 387 fundó la Academia, institución que continuaría su marcha a lo largo de más de novecientos años y a la que Aristóteles acudiría desde Estagira a estudiar filosofía.
Platón en su obra Sofista trató también las afirmaciones y las negaciones, introduce la noción del método axiomático que más tarde fue completado por Aristóteles
https://es.wikipedia.org/wiki/Plat%C3%B3n -
322 BCE
ARISTOTELES
Aristóteles (Estagira, 384 a. C.-Calcis, 322 a. C.)123 fue un filósofo, polímata y científico nacido en la ciudad de Estagira, al norte de Antigua Grecia. Es considerado junto a Platón, el padre de la filosofía occidental. Sus ideas han ejercido una enorme influencia sobre la historia intelectual de Occidente por más de dos milenios.
Es reconocido como el padre fundador de la lógica y de la biología,
https://es.wikipedia.org/wiki/Arist%C3%B3teles -
Period: 476 to 1492
EDAD MEDIA
-
1200
LÓGICA MEDIEVAL
Se entiende habitualmente por "lógica medieval" (también conocida como "lógica escolástica") la forma de la lógica aristotélica desarrollada en la Europa medieval en el periodo de c 1200–1600. Esta tarea comenzó tras las traducciones al latín del siglo XII, cuando textos árabes sobre lógica aristotélica y la lógica de Avicena fueron traducidos a la lengua de Roma. -
Period: 1492 to
EDAD MODERNA
-
LÓGICA MATEMÁTICA
Las relaciones de la lógica con la matemática han dado lugar a toda una revolución, en los sistemas lógicos, en especial el calculo lógico, los lenguajes y metalenguajes.
En el siglo XVII se intento dar estructura de un calculo matemático
En el siglo XIX tuvo lugar la aplicación de la álgebra en la lógica
En el siglo XX hubo enormes desarrolladores en lógica, y también se publica Principia Mathematica.
No hay una fecha especifica de cuando surgió -
LÓGICA INDUCTIVA
La inducción es un proceso lógico muy importante por que tiene lugar en muchos de los razonamientos que realizamos a diario, pero sobre todo por que es la base del razonamiento científico en las ciencias empíricas.
Este tipo de lógica parte de premisas que son observaciones reiteradas de un hecho o fenómeno lo que da origen a la generalización.
Francis Bacon en el Novum Organon expuso las bases de la lógica inductiva. -
GOTTFRIED WILHELM LEIBNIZ:
Gottfried Wilhelm Leibniz, (1 de julio de 1646 - 14 de noviembre de 1716), fue un filósofo, matemático, lógico, teólogo, jurista, bibliotecario y político alemán.
La época moderna marca el inicio de la Lógica Matemática. Introdujo el cálculo lógico llamado “Mathesis Universalis” que fuese operacionalmente mecánico, inequívoco y no cuantitativo que permitiera acabar con todas las disputas y controversias. También desarrolló el cálculo de la Lógica Proposicional. -
LEONHARD PAUL EULER
Leonhard Paul Euler (15 de abril de 1707 - 18 de septiembre de 1783), fue un matemático y físico suizo. Se trata del principal matemático del siglo XVIII y uno de los más grandes y prolíficos de todos los tiempos.
Euler fue precursor de la Lógica Matemática, introdujo los diagramas que llevan su nombre para ilustrar geométricamente los silogismos. -
Period: to
EDAD CONTEMPORANEA
-
¿Cual es el propósito de la lógica?
La lógica clásica (Aristoteles hasta el siglo XIX) se entiende como la ciencia que estudia los razonamientos correctos centrándose especialmente en los silogismos.
La lógica moderna (desde el siglo XIX hasta la actualidad) sin embargo, asume un carácter de propósito de carácter mas general, es decir, la manera en que ciertas verdades son demostradas a partir de otras previas (inductiva o deductiva) -
LOGICA CIENTIFICA
Es la disciplina que establece criterio rigurosos para identificar los argumentos correctos y distinguirlos de los incorrectos. Según Copi y Cohen "es el estudio de los principios y métodos utilizados para distinguir el argumento correcto del incorrecto.
A pesar de que pusimos una fecha basándonos en que por esta época por fin se empieza a investigar la verdad no hay una fecha exacta de cuando comenzó como tal la lógica científica. -
LÓGICA FORMAL
Surge a partir de de la logica cientifica ya que para establecer argumentos correctos y distinguirlos de los incorrectos se establecen criterios rigurosos, se enfoca exclusivamente en la forma o estructura del argumento y deja de lado el contexto en el que surge, su intencion y el contenido que aborda -
WILLIAM ROWAN HAMILTON
William Rowan Hamilton 4 de agosto de 1805 - 2 de septiembre de 1865 fue un matemático, físico, y astrónomo irlandés, que hizo importantes contribuciones al desarrollo de la óptica, la dinámica, y el álgebra. Su descubrimiento del cuaternión junto con el trabajo de Hamilton en dinámica son sus trabajos más conocidos.
El siglo XIX, se caracteriza por el nivel de abstracción que alcanza la lógica matemática destacando Hamilton sobre la cuantificación de todo o alguno. -
AUGUSTUS DE MORGAN
Augustus De Morgan 27 de junio de 1806 - 18 de marzo de 1871) fue un matemático y lógico británico nacido en la India. Conocido por formular las llamadas leyes de De Morgan, en su memoria, y establecer un concepto riguroso del procedimiento, inducción matemática.
Augustus De Morgan, considera que la base, común de la lógica radica en las relaciones de inclusión o exclusión parcial o total entre clases. -
LÓGICA CLÁSICA
Una lógica clásica o lógica estándar, es un sistema formal que respeta los siguientes principios:
-Principio del tercero excluido
-Principio de no contradicción
-Principio de explosión
-Monotonicidad de la implicación
Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden.
Fue por primera vez mencionada en 1913 en el libro Principia Mathematica por Bethrand Russell. -
GIUSEPPE PEANO
Giuseppe Peano 27 de agosto de 1858 - 20 de abril de 1932 fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.
Giuseppe Peano, da a la lógica el nombre de lógica matemática creando un lenguaje simbólico para las demostraciones matemáticas propuso el uso de los puntos auxiliares y un modo de simbolizar los cuantificadores. -
BERTRAND ARTHUR WILLIAM RUSSELL
Bertrand Arthur William Russell, 18 de mayo de 1872 - 2 de febrero de 1970 fue un filósofo, matemático, lógico y escritor británico ganador en 1950 del Premio Nobel de Literatura. Ha sido conocido por su influencia en la filosofía analítica, sus trabajos matemáticos y su activismo social.
Bertrand Russell, propone que las matemáticas puedan reducirse a una rama de la lógica generando en su obra investigaciones sobre la inferencia y sus respectivas aplicaciones. -
LÓGICA INFORMAL
Permite estudia los argumentos que tienen lugar en la vida cotidiana y en el contexto de las argumentaciones a las cuales pertenecen
Surgió en la década de los 70's como un sub-campo de la filosofía. La primera obra en hablar acerca de esta disciplina fue La lógica y la retórica contemporánea (1971) de Howard Kahane. -
LÓGICAS NO CLÁSICAS
La investigación en inteligencia artificial e informática contribuyo al desarrollo de una diversidad de lógicas, denominadas "no clásicas"
Estas lógicas pueden evitar o rechazar alguno o algunos de los principio de la lógica clásica.
Es una lógica que no tiene fecha exacta, sin embargo la primera vez que se dividen las lógicas no clásicas fue en 1974 por Susan Haack -
INTEGRANTES
-Rodriguez Orta Alexis Emmanuel.
-Salazar Vargas Dante Gael.
-Armando Barragan Osorio.
-Erick Gutierrez Alvarez.
-Hector Garcia.
