Lógica formal

También llamada lógica pura, que es la lógica propiamente dicha, es la rama del conocimiento filosófico dirigida a determinar cuáles son las formas correctas y válidas de los raciocinios; considerándolos en sí mismos con prescindencia de sus contenidos concretos, de tal manera que las leyes a aplicar tengan validez para cualquier contenido concreto. Véase Lógica, concepto.

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 y semá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 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.

Se acostumbra a definir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros son artrópodos; al lógico sólo le interesa su validez o corrección (que es formal) expresada en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El que los dípteros sean o no sean artrópodos es una cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna manera al lógico.

El fundador de la lógica formal fue Aristóteles. Esta disciplina se fue perfeccionando con la introducción, a lo largo del siglo XIX y XX, de todo un potente formalismo matemático (Jorge Boole, Gottlob Frege, Beltrán Russell, etc.).

Resulta ya un lugar común equiparar la lógica formal a la lógica matemática, por lo que actualmente constituyen expresiones prácticamente sinónimas. El materialismo formalista rectifica este planteamiento sosteniendo la imposibilidad de una ciencia "no material".

La lógica formal posee referenciales fisicalistas y es tan material como cualquier otra disciplina científica, ya que toda ciencia es material. Por otra parte, no resulta aceptable la existencia de formas puras hipostasiadas exentas de contenidos materiales.

La lógica formal es la parte de la lógica que se ocupa de la corrección o validez del pensamiento se llama lógica formal o dialéctica. Ella se ocupa del pensamiento en sí mismo, prescindiendo de su materia; y prescribe los principios, leyes y reglas para que sea legítimo o correcto.

La lógica formal es la ciencia que estudia los actos del pensar –concepto, juicio, razonamiento, demostración– desde el punto de vista de su estructura o forma lógica, o sea, haciendo abstracción del contenido concreto de los pensamientos y tomando sólo el procedimiento general de conexión entre las partes del contenido dado.

La lógica formal abarca cuatro grandes áreas:

- Teoría de modelos.
- Teoría de la demostración.
- Teoría de conjuntos.
- Teoría de computabilidad.

Fotos de Lógica formal