qwertyuiopasdfghjklzxcvbnmqwerty uiopasdfghjklzxcvbnmqwertyuiopasd fghjklzxcvbnmqwertyuiopasdfghjklzx cvbnmqwertyuiopasdfghjklzxcvbnmq Lgica Formal y Lgica Informal wertyuiopasdfghjklzxcvbnmqwertyui Vctor Manuel Pilotzi Vargas opasdfghjklzxcvbnmqwertyuiopasdfg hjklzxcvbnmqwertyuiopasdfghjklzxc

vbnmqwertyuiopasdfghjklzxcvbnmq wertyuiopasdfghjklzxcvbnmqwertyui opasdfghjklzxcvbnmqwertyuiopasdfg hjklzxcvbnmqwertyuiopasdfghjklzxc vbnmqwertyuiopasdfghjklzxcvbnmq wertyuiopasdfghjklzxcvbnmqwertyui opasdfghjklzxcvbnmqwertyuiopasdfg hjklzxcvbnmrtyuiopasdfghjklzxcvbn mqwertyuiopasdfghjklzxcvbnmqwert yuiopasdfghjklzxcvbnmqwertyuiopas
04/11/2013

Lgica formal La lgica formal, a diferencia de la lgica informal, se dedica al estudio de los razonamientos correctos, desarrollndolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lgica parte de los razonamientos correctos conocidos para desarrollar una teora lgica y consecuentemente, razonamientos ms complejos que no se utilizan normalmente en la vida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lgica no debe ser confundido con la lgica simblica ni con la lgica matemtica, que son tipos de lgica que se encuentran dentro del campo de la lgica formal. La lgica formal es la parte de la lgica que, a diferencia de la lgica informal, se dedica al estudio de la inferencia mediante la construccin de lenguajes formales, sistemas deductivos y semnticas formales. La idea es que estas construcciones capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de anlisis matemtico, permiten realizar demostraciones rigurosas sobre ellas. La lgica formal no debe ser confundida con la lgica matemtica, antes llamada lgica simblica, que es una subdisciplina de la lgica formal.

Lgica informal La lgica informal, o lgica no formal, es el estudio de los argumentos natural y en oposicin al estudio de los argumentos en una forma tcnica o artificial (lgica formal). Esta parte de la lgica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de informacin dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristteles, que hizo el primer estudio de las falacias lgicas, que se encuentran en la vida cotidiana. La disciplina acadmica moderna se estableci en Amrica del Norte en la dcada de 1970.