Lógica
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva
del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo»,
que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo»,
que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica) independientemente
del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados
reales a los que dicho contenido se pueda referir.
del contenido específico del discurso y de la lengua utilizada en su expresión y de los estados
reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final
del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que
algunos la consideran como Lógica matemática.
del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que
algunos la consideran como Lógica matemática.
En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos
y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.
Hasta entonces la lógica no tuvo este sentido de estructura formal estricta. La tradición aristotélica y estoica, mantuvo
siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión
de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.
siempre una relación con los argumentos del lenguaje natural, concediendo por tanto a los argumentos una transmisión
de contenidos verdaderos. Por ello aún siendo formales, no eran formalistas.
Hoy, tras los progresos científicos relativos a la lingüística, y el concepto semántico de verdad en su relación con el
lenguaje, tal relación se trata bajo un punto de vista completamente diferente.
lenguaje, tal relación se trata bajo un punto de vista completamente diferente.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad
de la lógica de clases.
No hay comentarios:
Publicar un comentario