Derecho

Solo disponible en BuenasTareas
  • Páginas : 55 (13593 palabras )
  • Descarga(s) : 0
  • Publicado : 12 de noviembre de 2010
Leer documento completo
Vista previa del texto
Lógica

La lógica es una ciencia formal y una rama de la filosofía 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".
La lógica examina la validez de losargumentos 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 del 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 desarrollohistó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.
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.[1] Lo que ha permitido un campo de aplicación fundamental en laactualidad: 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 aun siendo formales, no eran formalistas.
Hoy, tras los progresos científicos relativos a laLingüí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.
La formalización estricta ha mostrado las limitaciones de la lógica tradicional interpretada actualmente como una particularidad de la lógica de clases.

LA L O G I C A
La lógica es un lenguaje artificial, pero formal, es decir le interesa la forma, nosólo los contenidos. Es un lenguaje abstracto que quiere analizar los razonamientos. Ahora bien, si por "lenguaje" se entiende un "sistema de signos", hay muchos tipos de lenguajes (no verbales, el arte etc.). Todo ello es estudiado por la ciencia de los signos, llamada semiótica, y se estudia desde tres puntos de vista: el sintáctico, el semántico y el pragmático.
La primera, el sintáctico, son lasrelaciones de las palabras entre sí.
El semántico son las relaciones de las palabras con su significado.
Finalmente, la palabra es pronunciada por uno y dirigida a otro. Aquí existe una relación a la que se le llama pragmática.
Estos tres tipos de relaciones están vinculados entre sí. La relación pragmática supone la semántica y la sintáctica; La semántica supone la sintáctica. Una palabra sinsentido no puede ser entendida y para que tenga sentido debe estar relacionada con otras palabras. En cambio, la relación sintáctica no supone de las otras dos y es posible la semántica sin entender la pragmática.
La lógica prescinde del aspecto semántico del lenguaje, o sea, de su significado y también prescinde del aspecto pragmático, y lo considera exclusivamente desde un punto de vistasintáctico.
Se sustituye los signos del lenguaje (las palabras) por símbolos, con lo cual se obtiene un lenguaje formal o simbólico. Un ejemplo de esto:
"Filósofo, has de morir". Esta afirmación esconde la siguiente estructura sintáctica:
Todo hombre es mortal;
Los filósofos son hombres;
------------------------------------------
Luego los filósofos son mortales.
O bien:
Si los filósofos sonhombres, han de morir;
Los filósofos son hombres;
-----------------------------------------------------
Luego han de morir.
Cambiado a símbolos:
Todo M es P
Todo S es P
------------------------
Luego Todo S es P
O bien:
Si S es Q, S es P
S es Q
-------------------------
Luego S es P.
En la simbolización total de la lógica matemática:
[(A c B) (C c A)] - (C c B) O bien: [(p - q )...
tracking img