La Relaci N Entre L Gica Formal Y Informal

La relación entre lógica
formal y informal

¿Qué es lógica?




La lógica es una ciencia formal que estudia los principios de
la demostración e inferencia válida. Palabra, pensamiento, idea, argumento, razón o principio.
Así como el objeto de estudio tradicional de la química es la 
materia, y el de la biología la vida, el de la lógica es la 
inferencia. La inferencia es el proceso por el cualse derivan
conclusiones a partir de premisas. La lógica investiga los
principios por los cuales algunas inferencias son aceptables, y
otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del
argumento o el lenguaje utilizado. Por esta razón la lógica se
considera una ciencia formal, como la matemática, en vez de
una ciencia empírica.Para que es la lógica


  La lógica sirve para explicar fenómenos de la vida
cotidiana, basándose en la razón como principal
interviniente en este proceso; el pensar
lógicamente ayuda a el hombre ainterrogar por el
funcionamiento de todo lo que nos rodea, la lógica
sirve para argumentar y es de cierta manera un
pensamiento una idea que nos fluye por una acción
que realizamos en nuestra vidadiaria. La lógica es
una ciencia formal que estudia los principios de la
demostración e inferencia válida.

Lógica formal




La lógica formal es la parte de la lógica que, a diferencia de la lógicainformal,
se dedica al estudio de la inferencia mediante la construcción de 
lenguajes formales, sistemas deductivos y semánticas formales. La idea es que
estas construcciones capturen las característicasesenciales de las inferencias
válidas en los lenguajes naturales, pero que al ser estructuras formales y
susceptibles de análisis matemático, permiten realizar demostraciones rigurosas
sobre ellas.La lógica formal no debe ser confundida con la lógica matemática, antes
llamada lógica simbólica, que es una subdisciplina de la lógica formal.

Lógica informal


La lógica informal, o lógica no...