Diferencia entre revisiones de «Lógica»
m robot Añadido: sah:Логика |
|||
| Línea 7: | Línea 7: | ||
== Historia de la lógica == |
== Historia de la lógica == |
||
{{AP|Historia de la lógica}} |
{{AP|Historia de la lógica}} |
||
Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra ''lógica'' deriva del término griego Λογικός ''logikós'' derivado de λόγος ''logos'' '[[Razón (filosofía)|razón]]'.<ref>[http://etimologias.dechile.net/?lo.gica Diccionario etimológico chileno en línea]</ref> Históricamente se considera a [[Aristóteles]] el fundador de la '''lógica''' como [[propedéutica]] o [[herramienta]] básica para todas las [[Ciencia]]s.,<ref>''Se considera a Aristóteles (s IV a. C.) el fundador de la lógica. Para Aristóteles, la lógica era una propedéutica o |
Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra ''lógica'' deriva del término griego Λογικός ''logikós'' derivado de λόγος ''logos'' '[[Razón (filosofía)|razón]]'.<ref>[http://etimologias.dechile.net/?lo.gica Diccionario etimológico chileno en línea]</ref> Históricamente se considera a [[Aristóteles]] el fundador de la '''lógica''' como [[propedéutica]] o [[herramienta]] básica para todas las [[Ciencia]]s.,<ref>''Se considera a Aristóteles (s IV a. C.) el fundador de la lógica. Para Aristóteles, la lógica era una propedéutica o introducciónkueckkkk mentira too esooo jajaj no sirve pa na la logica |
||
La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: [[China]], [[India]] y [[Grecia]] entre el Siglo V y el Siglo I a. C. |
|||
En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por la [[dinastía Qin]], acorde con la filosofía [[legismo|legista]]. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la [[nyaya]]) 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]]). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición [[Grecia|griega]]. |
|||
[[Aristóteles]] fue el primero en emplear el término “Lógica” para referirse al estudio de los [[argumento]]s 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 [[validez|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”.<ref>Aristóteles An. Pr. I 24 b 18-23</ref> |
|||
Nació así la lógica formal. [[Aristóteles]] formalizó el [[cuadro de oposición de los juicios]] y las formas válidas del silogismo.<ref>Es curioso que Aristóteles formalizó los modos válidos y no aceptó más que tres figuras y no todos los modos; fue mas exigente en el rigor de la lógica que los escolásticos posteriores.Véase [[silogismo]] "La problemática de la lógica silogística"</ref> [[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 [[forma]]l, era por ello [[análisis|analítica]] y [[a priori]], lo que justifica su [[Necesario|necesidad]] y su [[universal (metafísica)|universalidad]], pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.<ref>Prólogo a la Crítica de la Razón Pura</ref><ref>Los [[estoicismo|estoicos]] habían introducido los silogismos hipotéticos y anunciaron la lógica proposicional pero no tuvo desarrollo. Asimismo en el siglo XVII los [[racionalismo|racionalistas]] de [[Port Royal]] ampliaron los fundamentos lógicos formales.</ref> |
Nació así la lógica formal. [[Aristóteles]] formalizó el [[cuadro de oposición de los juicios]] y las formas válidas del silogismo.<ref>Es curioso que Aristóteles formalizó los modos válidos y no aceptó más que tres figuras y no todos los modos; fue mas exigente en el rigor de la lógica que los escolásticos posteriores.Véase [[silogismo]] "La problemática de la lógica silogística"</ref> [[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 [[forma]]l, era por ello [[análisis|analítica]] y [[a priori]], lo que justifica su [[Necesario|necesidad]] y su [[universal (metafísica)|universalidad]], pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.<ref>Prólogo a la Crítica de la Razón Pura</ref><ref>Los [[estoicismo|estoicos]] habían introducido los silogismos hipotéticos y anunciaron la lógica proposicional pero no tuvo desarrollo. Asimismo en el siglo XVII los [[racionalismo|racionalistas]] de [[Port Royal]] ampliaron los fundamentos lógicos formales.</ref> |
||
Revisión del 19:36 25 mar 2009
La lógica es una ciencia formal que estudia las formas válidas de inferencia.[1] Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.
La lógica tradicional, es una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La lógica tradicional, se basa en el silogismo como razonamiento basado en el juicio categórico aristotélico. Hoy día la lógica utiliza como unidad básica la proposición y las reglas de inferencia en la argumentación discursiva.[2]
Historia de la lógica
Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós derivado de λόγος logos 'razón'.[3] Históricamente se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las Ciencias.,Error en la cita: Error en la cita: existe un código de apertura <ref> sin su código de cierre </ref> 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, pues es la razón la que trata consigo misma respecto a sus leyes del pensar, sin contenido de experiencia alguno.[4][5]
En la filosofía tradicional, por otro lado, la “Lógica Informal”, 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.
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. 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.
Hoy en día se considera una única ciencia lógico-matemática cuya expresión más importante en el campo de la ciencia es la creación de modelos gracias sobre todo a la aplicación técnica en los circuitos lógicos que hacen posible la informática y el cálculo numérico.
Si bien a lo largo de este proceso la lógica aristotélica pareció inútil e incompleta, Luckasiewicz mostró que, a pesar de sus grandes dificultades,[6]la lógica aristotélica era consistente, si bien había que interpretarse como lógica de clases, lo cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso actualmente.
Para la Lógica matemática y la filosofía analítica la lógica es un objeto de estudio en sí mismo, por lo que esta es estudiada a un nivel más abstracto.
Existen muchos otros sistemas lógicos, como la lógica dialéctica, lógica difusa, lógica probabilística, lógica modal y la lógica no monótona.
Martin Heidegger —discípulo de Edmund Husserl—, se aparta de estas líneas de consideración de la lógica —aunque sin despreciarlas y comprendiendo su alcance (pero también sus límites), planteando que una lógica más originaria se podría encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podría llevar a un replanteamiento de la lógica de la proposición o la lógica del juicio, puesto que nos conduciría a movernos en las raíces de la lógica tal como ha sido habitualmente entendida, raíces que hasta ahora han sido insuficientemente atendidas. Para él, la lógica tendría que partir de una suficiente meditación del λόγος ( lógos), el cual debería ser distinguido de la ratio (razón), que, en rigor, significa fracción. De ahí, y a modo de ejemplo de su significado, la denominación de números irracionales, es decir, aquéllos que no pueden ser representados en forma de fracción.
Temas de la lógica
La Inferencia
Consiste en derivar la verdad de una proposición llamada conclusión de la verdad de otras proposiciones llamadas premisas. Es decir que es una estructura de proposiciones donde, de una o más proposiciones llamadas premisas, se deriva otra llamada conclusión.
Condicionantes
La lógica plantea certezas lógicas y las encuentra en sus leyes lógicas o tautologías convertidas en reglas cuya aplicación encadenada sobre verdades o certezas axiomática o empíricamente establecidas constituyen el desarrollo de los argumentos lógicos como inferencias o razonamientos deductivos.[7]
Cuando en un argumento o discurso se viola una regla lógica, se dice que se ha cometido una falacia. Cuando se requiere poner voluntad para conservar la veracidad del planteamiento, se dice que es sesgado. Cuando hay un interés personal, se dice que es egoísta. Cuando únicamente recoge una serie de hechos, describiendo las transformaciones entre los hechos, se dice que el resultado se verifica, bien sea cierto o falso.
Existe también una división entre lo llamado "falacia indirecta" y "falacia bella" o "falacia de redondeo", en la que la expresión se materializa como un elemento del contexto llamado "wittgensteiniano", en honor del filósofo austriaco Ludwig Wittgenstein.
Lógica y ciencia
La lógica estudia los problemas y las leyes del pensar formal. La lógica no entra en definir qué es verdad y qué es falsedad material. Esos conceptos, al tener contenido semántico, son competencia del razonamiento aplicado a la experiencia. Pero la ciencia para elaborar sus razonamientos necesita la lógica.
Los razonamientos formales, o inferencias válidas, son indispensables para todas las ciencias.
La filosofía, como epistemología o filosofía de la ciencia estudia las condiciones del pensar científico y metodológico y las condiciones de verdad de las teorías científicas, así como su alcance y límites.
Diferentes sistemas lógicos
Lógica clásica
Generalizaciones de la lógica clásica
Otras
- Lógica intuicionista
- Lógica descriptiva
- Lógica modal
- Lógica predicativa
- Lógica transcendental
- Lógica unidireccional
- Empirismo lógico
- Lógica india
Referencias
- ↑ Interrogantes de la Lógica
- ↑ Véase silogismo, "La problemática de la lógica silogística""
- ↑ Diccionario etimológico chileno en línea
- ↑ Prólogo a la Crítica de la Razón Pura
- ↑ Los estoicos habían introducido los silogismos hipotéticos y anunciaron la lógica proposicional pero no tuvo desarrollo. Asimismo en el siglo XVII los racionalistas de Port Royal ampliaron los fundamentos lógicos formales.
- ↑ Véase silogismo "La problemática de la lógica silogística"
- ↑ En la lógica tradicional se habla deducción; hoy se prefiere la idea de inferencia. La deducción introduce la idea de paso de lo general y lo particular. La inferencia únicamente hace referencia a la derivación lógica como aplicación de la regla. Esta matización tiene una importancia solamente formal, pues en realidad cualquier aplicación de una regla, supone un principio general a una situación o proposición particular.
Bibliografía
- Arnau, Juan (2008). Arte de probar. Ironía y lógica en India antigua. Fondo de Cultura Económica. ISBN 978-84-3750-621-0.
- Deaño, Alfredo (1974). Introducción a la lógica formal. Alianza Editorial, Madrid.
- Mitchell, D (1968). Introducción a la lógica. Editorial Labor, Barcelona.
- Sagan, Carl, El mundo y sus demonios, ED 1997. Dep. Legal: B. 10.298-1997. ISBN 84-08-02043-9
Véase también
- Apofántica
- Aristóteles
- Cálculo lógico
- Cálculo
- Círculo de Viena
- Condición necesaria y suficiente
- Dilema del prisionero
- Edmund Husserl
- George Boole
- Guillermo de Ockham
- Hegel
- Heidegger
- Jan Łukasiewicz
- Kurt Gödel
- Leibniz
- Lenguaje formalizado
- Lógica descriptiva
- Ludwig Wittgenstein
- Método científico
- Operador lógico
- Principio de identidad
- Principio de no contradicción
- Principio de razón suficiente
- Principio del tercero excluido
- Silogismo
- Suma de lógica (libro de Ockham)
- Tadeusz Marian Kotarbiński.
- Teorema de la incompletitud de Gödel
- Teoría (desambiguación)
- Quine