Lógica formal

Como lógica formal en general, se denomina lógica a la que se ocupa de la relación entre la forma lógica de los enunciados ocupados y la validez del drenaje e inferir relaciones entre estas formas. En un sentido más estricto, este es el nombre que se le da a las lógicas que utilizan una representación formalizada de los enunciados y conclusiones.

General

Además de la doctrina del juicio y los términos empleados en ella, la lógica trata particularmente del análisis y la construcción de conclusiones lógicas , por lo que los aspectos formales, sin referencia al contenido semántico de los enunciados considerados, están en primer plano, como los -denominado modus ponens , que permite la implicación " de A sigue B " y la insistencia del enunciado " A " en la corrección de " BPara cerrar ". Tales inferenciales cuya justificación y alcance, son objeto de estudio de la lógica formal. Esta tiene sus orígenes en la antigüedad y encuentra por Aristóteles en la silogística una forma válida hasta en los tiempos modernos, aunque en la historia de la lógica importante Desde la algebraización de la lógica por George Boole y Gottlob Frege , la lógica formal se ha entendido principalmente como lógica matemática , que como lógica clásica se diferencia de la lógica tradicional precedente . La base de ambas fue la teoría de conjuntos emergente de Georg Cantor y la interpretación de conceptos. como conjuntos de cosas que caen bajo ellos . Sin embargo, la lógica formal pronto se ramifica en cálculos de prueba , lógicas filosóficas y lógicas no clásicas . Además, todavía existe una tradición de lógica conceptual en la actualidad .

Lógica formalizada

La "lógica formal" denota una notación de inferencias utilizando un lenguaje formal que a menudo introduce símbolos especiales. Por lo general, se especifica exactamente cómo se forman las expresiones bien formadas en este lenguaje ( sintaxis ). La silogística aristotélica es un intento de tal formalización, que puede verse como un caso especial de inferencia en la lógica de predicados , que a su vez contiene lógica proposicional .

Un término contrario a la lógica formalizada es la lógica informal o informal, que examina los argumentos que se expresan realmente en lenguaje natural y no en su contexto fáctico. Esta disciplina también se remonta a Aristóteles, es decir, a la exposición en el Topik y las refutaciones sofistas .

En contraste con la lógica material

Immanuel Kant usó la expresión "lógica formal" para un razonamiento basado en reglas que "abstrae de todo el contenido del conocimiento intelectual y la diversidad de sus objetos", es decir, "no tiene nada que ver con nada más que la mera forma de pensar ”. Se distinguió de un proyecto que denominó “ lógica trascendental ” y que también se ocupa del contenido de los enunciados.

En contraste con los modismos anteriores, los expertos hoy en día entienden la palabra "lógica", si no se agrega ninguna calificación adicional, normalmente una lógica no material o no trascendental.

Lógica formal y matemática

Gottlob Frege desarrolló la lógica formal en su escritura conceptual (1879) hasta una primera axiomatización casi completa de la lógica de predicados, que sirvió como modelo para las axiomatizaciones posteriores de Bertrand Russell ( Principia Mathematica ) o David Hilbert ( programa de Hilbert ). En la década de 1930, Alfred Tarski logró abstraer completamente las fórmulas creadas según las reglas sintácticas de su semántica utilizando el concepto de modelo para especificar las interpretaciones de las fórmulas y distinguirlas claramente de las fórmulas mismas (ver lógica de predicados de primer nivel ). También hay una separación consistente entre el lenguaje de objetos y el metalenguaje aquí . Estos y el trabajo de Kurt Gödel , que finalmente condujo al fracaso del programa de Hilbert, son las piedras angulares de la lógica matemática moderna .

literatura

  • JM Bocheński : Lógica formal . Quinta edición sin cambios. Alber, Freiburg (Breisgau) y col. 1996, ISBN 3-495-44115-8 , ( Orbis academicus 3, 2).
  • Walter Bröcker : Lógica formal, trascendental y especulativa . Klostermann, Fráncfort del Meno 1962.
  • Paul Hoyningen-Huene : lógica formal. Una introducción filosófica . Reclam, Stuttgart 1998, ISBN 3-15-009692-8 .
  • Edmund Husserl : Lógica formal y trascendental. Intente una crítica de la razón lógica . 2ª Edición. Reimpresión sin cambios de la 1ª edición en 1929. Niemeyer, Tübingen 1981, ISBN 3-484-70129-3 .
  • Richard Jeffrey: Lógica formal. Su alcance y límites . 2ª Edición. McGraw-Hill, Nueva York NY 1981, ISBN 0-07-032321-6 .
  • Paul Lorenzen : Lógica formal . 4ª edición mejorada. de Gruyter, Berlín 1970, ( Colección Göschen 1176 / 1176a).
  • Albert Menne : Introducción a la lógica formal. Una orientación sobre la doctrina de la coherencia, su historia, estructuras y aplicaciones . Sociedad del Libro Científico, Darmstadt 1985, ISBN 3-534-05203-X .
  • Albert Menne, Niels Openenberger (ed.): Lógica formal y no formal en Aristóteles . Olms, Hildesheim-Zürich y col. 1985, ISBN 3-487-07266-1 .
  • Thomas Zoglauer : Introducción a la lógica formal para filósofos . 4ª edición revisada. Vandenhoeck & Ruprecht, Göttingen 2008, ISBN 978-3-525-03293-0 , ( UTB for Science - Uni Pocket Books - Philosophy 1999).

enlaces web

Evidencia individual

  1. ↑ Kant: Crítica de la razón pura , 1781, p. 54