Gamer

La lógica formal también llamada lógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas delos raciocinios; pero lo hace considerándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, detal manera que las leyes a aplicar tengan validez para cualquier contenido concreto.

La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de lainferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferenciasválidas en los lenguajes naturales, pero que al ser estructuras formales y suceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe serconfundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

Por lo tanto, respecto de proposiciones lógicas que utilicen esos conceptos, lasleyes de la lógica formal solamente serán aplicables con especial precaución. De tal manera, las leyes de la lógica formal solamente resultarán aplicables con alcance estricto en el campo de las cienciaspuramente exactas y abstractas, tales como las matemáticas, la propia lógica, la mecánica, y aquellas disciplinas exclusivamente normativas y abstractas tales como la interpretación jurídica.Lógica informal

La lógica informal, por otra parte, es la más antigua de todas, quizás por su utilidad práctica. Consiste en el estudio del pensamiento crítico, y de cómo hemos de hablar para convencer ala gente. Esto ya lo quería hacer Llull (para cambiar de opinión a quien no pensase como él), pero todos los filósofos anteriores ya se habían dedicado mucho a estudiar todo eso, ya sea cuando...