Preparatoria

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos ysemánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles deaná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 subdisciplinade la lógica formal
La lógica informal, o lógica no formal, es el estudio de los argumentos naturales y en oposición al estudio de los argumentos en una forma técnica o artificial (lógica formal).Esta parte de la lógica 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 procesospara obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristóteles, quehizo el primer estudio de las falacias lógicas, que se encuentran en la vida cotidiana. La disciplina académica moderna se estableció en América del Norte en la década de 1970.
Concepto de logicaformal
La logica se divide en logica formal y logica material. La primera se encarga de estudiar las condiciones(osea las leyes)para que un pensamiento sea correcto(especialmente,cuando se trata delraciocinio).la segunda se encarga de estudiar las condiciones para llegar a pensamientos verdaderos.
Otras definiciones de logica formal:
* Estudia a los elementos y estructurasde los pensamientos engeneral
* Estudia los modos o “formas” como se realizan los razonamientos
* Estudia el pensamiento y las condiciones ideales que hacen posible el conocimiento progresivoen orden a la verdad
*...