Lógica

Esquema del modus ponens, una regla de inferencia fundamental de la lógica proposicional.

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.

La lógica matemática es la que estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación. La lógica filosófica utiliza los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos.

Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.

Etimología y acepciones

La palabra «lógica» deriva del griego antiguo λογική logikḗ, que significa «dotada de razón, intelectual, dialéctica, argumentativa» y que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».

En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico» aportan también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia, o simplemente con las creencias o evidencias transmitidas por la tradición cultural.

Del mismo modo existe el concepto sociológico y cultural de lógica como, p.e. «la lógica de las mujeres», «lógica deportiva», etc. que, en general, podríamos considerar como «lógica cotidiana» - también conocida como «lógica del sentido común».

En estas áreas la «lógica» suele tener una referencia lingüística en la pragmática.

Un argumento en este sentido tiene su «lógica» cuando resulta convincente, razonable y claro; en definitiva cuando cumple una función de eficacia. La habilidad de pensar y expresar un argumento así corresponde a la retórica, cuya relación con la verdad es una relación probable.

Véase también

• Cálculo lógico
• Lógica de primer orden
• Lógica de segundo orden
• Lógica proposicional
• Lógica matemática
• Lógica computacional
• Lógica modal
• Lógica booleana
• Lógica filosófica
• Lógica clásica
• Lógica no clásica
• Lógica informal
• Lógica dialéctica
• Lógica doxástica
• Lógica deóntica
• Lógica temporal
• Lógica epistémica
• Lógica difusa
• Lógica plurivalente
• Metodología
• Método científico
• MC-14
• Argumento
• Razón
• Silogismo
• Verdad
• Aporía
• Dialelo
• Paradoja
• Dicotomía
• Nyāya
• Filosofía de la lógica
• Anexo:Símbolos lógicos
• Principio de no contradicción
• Principio de identidad
• Principio del tercero excluido
• Tertium comparationis

Bibliografía adicional

• Deaño, Alfredo (1974). Introducción a la lógica formal 1. La lógica de enunciados. Madrid: Alianza Editorial. 
• Deaño, Alfredo (1974). Introducción a la lógica formal 2. La lógica de predicados. Madrid: Alianza Editorial. 
• Deaño, Alfredo (1980). Las concepciones de la lógica. Madrid: Taurusl. 
• Ferrater Mora, J. (1984). Diccionario de Filosofía (4 tomos). Barcelona. Alianza Diccionarios. ISBN 84-206-5299-7. 
• Honderich, T.(Editor) (2001). Enciclopedia Oxford de Filosofía. Trd. Carmen García Trevijano. Madrid. Editorial Tecnos. ISBN 84-309-3699-8. 
• Mosterín, Jesús (1970 y 1976). Lógica de primer orden. Barcelona. Ariel. ISBN 84-344-3939-5. 
• Padilla Gálvez, J. (2017). Verdad. Controversias Abiertas. Valencia: Tirant Lo Blanch. ISBN 978-84-17069-58-2. 
• Priest, Graham (2008). An introduction to non-classical logic: From if to is (2ª edición). Nueva York: Cambridge University Press. ISBN 978-0521854337. Archivado desde el original el 23 de agosto de 2017. Consultado el 22 de agosto de 2017. 
• Sacristán, Manuel (1976). Introducción a la lógica y al análisis formal. Barcelona: Ariel. ISBN 84-344-3901-8. 

Enlaces externos

• Wikcionario tiene noticias relacionadas con L%C3%B3gica.
• Aprende Lógica (Autor: Francisco José Calzado Fernández)
• Breve Historia de la Lógica