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.

Lgico 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.