| Contenidos de Wikipedia en español bajo licencia CC BY-SA 4.0 ⇔ Mapas de OpenStreetMap bajo licencia ODbL |
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,[1] las falacias, las paradojas y la noción de verdad.[2]
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.
Temas
Inferencia
Validez
Falacias
Paradojas
Verdad
Ramas
Lógica matemática
Lógica computacional
Lógica filosófica
Lógica informal
Historia
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lógica proviene de la tradición griega, especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en el siglo XVIII influyó también en la lógica moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que aparecen en momentos históricos diferentes:[3] La lógica aristotélica, seguida de los aportes de los megáricos y los estoicos. Siglos después, Ramon Llull y Leibniz estudiaron la posibilidad de un lenguaje único, completo y exacto para razonar. Al comienzo del siglo XIX las investigaciones en los fundamentos del álgebra y la geometría, seguidos por el desarrollo del primer cálculo completo por Frege. Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica matemática. A partir de este momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias. Otra perspectiva interesante sobre cómo abordar el estudio de la historia lógica la ofrece Alberto Moretti[4] y que es sintetizada por Diego Letzen.[5]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
Referencias
- ↑ Simon Blackburn (ed.). «logic». The Oxford Dictionary of Philosophy (en inglés) (2008 Edition). Oxford University Press. «lógica: La ciencia general de la inferencia.»
- ↑ Corazón González, Rafael. Saber, entender... vivir: una aproximación a la filosofía. pp. 74-77.
- ↑ Izuzquiza Otero, Ignacio; Corellano Aznar, Luis; Frechilla García, Ana Rosa; Peña Calvo, José Vicente; Villamayor Lloro, Santiago (2008). «El Universo de la lógica». En Achón, Elena; Álvarez, Gema, eds. Filosofía y ciudadanía (Manuel Andaluz edición). Madrid: Grupo Anaya Sociedad Anónima. p. 310. ISBN 9788466773195.
- ↑ Lozano, Gabriel Vargas (29 de diciembre de 2018). «LA FILOSOFÍA DE LA PRAXIS. DOS CONCEPCIONES: ANTONIO GRAMSCI Y ADOLFO SÁNCHEZ VÁZQUEZ». Revista Dialectus - Revista de Filosofia (13). ISSN 2317-2010. doi:10.30611/2018n13id40082. Consultado el 21 de junio de 2021.
- ↑ Letzen, Diego (15 de diciembre de 2020). «Las lógicas y los lógicos». Análisis Filosófico 40 (Especial): 133-157. ISSN 1851-9636. doi:10.36446/af.2020.430. Consultado el 21 de junio de 2021.
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
- Esta obra contiene una traducción parcial derivada de «Logic» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
- Esta obra contiene una traducción parcial derivada de «Logic» de Wikipedia en inglés, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
