-
476
¿Qué es la lógica?
La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad. -
476
¿Cómo empezó la lógica?
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C. Para Aristóteles existía un tipo de razonamiento especialmente útil para la ciencia: el silogismo. Un silogismo es un razonamiento de tipo deductivo que consta de dos premisas y una conclusión (que se deduce necesariamente de las premisas). -
476
¿Quién descubrió la lógica?
De acuerdo a la Historia de la Filosofía, Aristóteles es considerado el padre fundador de la Lógica, ya que fue el primer pensador en interesarse en el razonamiento lógico y en orientar las primeras investigaciones hacia este tema, siendo también el pionero en desarrollar un Sistema Lógico, que ha perdurado a través de los siglos. -
700
Mesopotamia
Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de predicción planetaria que fue una importante contribución a la lógica y la filosofía de la ciencia. El pensamiento babilónico tuvo una considerable influencia en el pensamiento de la Grecia arcaica. -
1001
Mesopotamia
En Mesopotamia, el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto lógico de axiomas y asunciones, entre las que se incluyen la visión moderna de que, a través del examen e inspección de los síntomas de una paciente, es posible determinar el problema del mismo, su etiología y su desarrollo futuro, y las posibilidades de recuperación. -
1001
Alta Edad Media
Durante la Alta Edad Media, la lógica se convirtió en el foco principal de los filósofos, que participarían en análisis lógicos críticos de los argumentos filosóficos, a menudo utilizando variaciones de la metodología del escolasticismo. Siglos del v al XI. -
1402
Ockham
Esta obra resulta importante porque contiene lo más importante de la doctrina nominalista de Ockham. Los filósofos nominalista del siglo XV (como Swineshead, Heytesbury, Gerson y D'Ailly) consideran a este filósofo como el fundador de su escuela. -
1462
Antigua Grecia
En Europa durante el último período de la época medieval, se hicieron grandes esfuerzos para demostrar que las ideas de Aristóteles eran compatibles con la fe cristiana. siglo V y el XV. -
1487
Suma de Lógica
La Summa logicae o Suma de lógica es un libro de texto de lógica escrito por Guillermo de Ockham. A partir de la teoría de la inferencia que le sirve de hilo conductor, describe y desarrolla la lógica del silogismo. Fue escrito antes de 1327 y publicado en París en 1487. -
1501
Desarrollo de Semejantes Logicas
Hacia el siglo XVI se desarrollaron teorías semejantes a la lógica moderna, como "la distinción entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así como la teoría de "condiciones restrictivas para universales" anticipando algunas de las Desarrollos en la teoría de conjuntos modernos. -
Antigua Grecia
La influencia de los logros de Aristóteles fue tan grande que en el siglo XVIII Immanuel Kant llegó a decir que Aristóteles había prácticamente completado la ciencia de la lógica.
La lógica aristotélica fue ampliamente aceptada en ciencias y matemáticas y permaneció en uso amplio en Occidente hasta principios del siglo XIX. -
Lógica Aristotelica
En el siglo XVIII, el enfoque estructurado de los argumentos había degenerado y había caído en desgracia, como se muestra en el juego satírico de Holberg Erasmus Montanus. -
Enfoque Estrructurado
En el siglo XVIII, el enfoque estructurado de los argumentos había degenerado y había caído en desgracia, como se muestra en el juego satírico de Holberg Erasmus Montanus. -
Antigua India
En la India, las innovaciones en la escuela escolástica, llamado Nyaya, continuaron desde la antigüedad hasta principios del siglo XVIII con la escuela Navya-Nyaya. -
Lógica formal
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”. -
Lógica formal
Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas del silogismo. Kant en el siglo XVIII pensaba que Aristóteles había llevado la lógica formal a su perfección, por lo que básicamente hasta entonces no había habido prácticamente modificaciones de importancia. Y lo justificaba al considerar que siendo la lógica una ciencia formal, era por ello analítica y a priori, lo que justifica su necesidad y su universalidad. -
Lógica Informal
En la filosofía tradicional, por otro lado, la “Lógica Informal” en el siglo XVIII, o el estudio metódico de los argumentos probables fue investigada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Se especializó medularmente en la identificación de falacias y paradojas, así como en la construcción correcta de los discursos. -
Lógica Natural
La lógica natural es un tipo de razonamiento personal, basado en experiencias previas, que permite discernir entre lo verdadero y lo falso sin necesidad de recurrir al auxilio de la ciencia. La lógica es una ciencia que estudia los principios de la inferencia válida y la demostración. El término lógica deriva del griego λογική logikḗ, cuyo significado es “dotado de razón, intelectual, dialéctico, argumentativo”. -
Europa
En Europa, Aristóteles fue el primero en desarrollar la lógica. La lógica aristotélica fue ampliamente aceptada en ciencias y matemáticas y permaneció en uso amplio en Occidente hasta principios del siglo XIX. -
Antigua China
En particular, una de las escuelas que siguieron al mohísmo, los lógicos, es considerada por varios expertos como la primera que investigó la lógica formal.
En India, la lógica duró bastante más se desarrolló hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India colonial. -
Lógica Simbólica
Aristóteles asimismo consideró el argumento inductivo, base de lo que constituye la ciencia experimental, cuya lógica está ligada al progreso de la ciencia y al método.
A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. La lógica simbólica trata de esquematizar los pensamientos de forma clara y sin ambigüedades. -
Lógica Simbólica
Para ello usa un lenguaje formalizado constituido como cálculo. De este modo, en la edad contemporánea, la lógica generalmente es entendida como un cálculo y se aplica a los razonamientos en una forma prescripta mediante aplicación de reglas de inferencia como un cálculo lógico o matemático. -
Lógica India
Desde 1824, la lógica india atrajo la atención de muchos estudiantes occidentales y ha influido en importantes lógicos del siglo XIX como Charles Babbage, Augustus De Morgan y George Boole. En el siglo XX, filósofos occidentales como Stanislaw Schayer y Klaus Glashoff han investigado la lógica india más ampliamente.muchos estudiantes occidentales y ha influido en importantes lógicos del siglo XIX como Charles Babbage, Augustus De Morgan y George Boole. -
Siglo XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación. -
Siglo XIX
Pero este panorama cambió radicalmente a partir del siglo XIX. A partir de este momento comienza una estrecha relación entre la lógica y las matemáticas. La lógica se utilizará para estudiar la validez de las deducciones matemáticas y será sometida a un proceso de formalización simbólica. Esto quiere decir que para realizar los análisis lógicos se empleará un lenguaje simbólico similar al de las matemáticas. -
Lógica Material
La lógica material, también llamada lógica aplicada, es aquella en que un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas, y por lo tanto debe conducir a una verdad material, es decir a una conclusión que sea concordante con la realidad. -
Lógica Científica
Es un caso poco corriente de una obra importante escrita de dos idiomas distintos por el mismo autor, en lugar de ser traducida. Peter Medawar dijo de ella que era "uno de los documentos más importantes del siglo XX. Popper argumenta en su libro que la ciencia debe seguir una metodología basada en la falsación, ya que por muchos que sean los experimentos que se realicen para verificar o confirmar una teoría, solo basta uno para demostrar que es falsa. -
Logik Der Forshung
Es un libro de Karl Popper escrito en 1934. Fue originalmente redactado en alemán, pero el mismo Popper lo volvió a escribir unos años más tarde en inglés para ser publicado en 1959 con el título The Logic of Scientific Discovery. -
Lógica Aritmética
En computación, la unidad aritmética lógica o unidad aritmético-lógica, también conocida como ALU (siglas en inglés de arithmetic logic unit), es un circuito digital que calcula operaciones aritméticas (como suma, resta, multiplicación, etc.) y operaciones lógicas (si, y, o, no), entre valores (generalmente uno o dos) de los argumentos. -
Lógica Aritmética
El matemático John von Neumann propuso el concepto de la ALU en 1945, cuando escribió un informe sobre las fundaciones para un nuevo computador llamado EDVAC(Electronic Discrete Variable Automatic Computer) (Computador Automático Variable Discreto Electrónico). -
Lógica de Clases
La lógica de clases analiza la proposición lógica considerando la pertenencia o no pertenencia de un elemento o individuo clasificado por poseer una determinada propiedad. Sobre esta lógica se formaliza como modelo científico la teoría matemática de conjuntos.
