Hannes Leitgeb (Salzburgo, 1972) es un filósofo y matemático austríaco, especializado en lógica, epistemología formal, filosofía del lenguaje, filosofía de las matemáticas, filosofía de la ciencia y filosofía analítica.

Trayectoria académica Leitgeb estudió matemáticas, informática y filosofía en la Universidad de Salzburgo, donde obtuvo el máster en Matemáticas en 1997. Se doctoró en Matemáticas en 1998 con una tesis titulada Truth as Translation y en Filosofía en 2001 con la tesis Inference on the Low Level, ambas en la Universidad de Salzburgo. Entre 1999 y 2002 fue investigador posdoctoral en Salzburgo y entre 2002 y 2005 profesor asistente de Filosofía en la misma universidad.

Entre 2004 y 2005 fue becario Erwin Schrödinger en el Departamento de Filosofía y el Center for the Study of Language and Information de la Universidad Stanford. Desde 2005 trabajó en los departamentos de Filosofía y Matemáticas de la Universidad de Bristol, primero como reader y desde 2007 como profesor.

En 2010 obtuvo una cátedra Alexander von Humboldt en la Universidad de Múnich, donde asumió la cátedra de Lógica y Filosofía del Lenguaje y participó en la creación del Munich Center for Mathematical Philosophy. Ha sido miembro de la Academia Europæa desde 2014, de la Academia Alemana de las Ciencias Naturales Leopoldina desde 2016 y de la Academia Internacional de Filosofía de las Ciencias desde 2023.

Obra y pensamiento

Epistemología formal y teoría de la estabilidad de la creencia Una de las contribuciones más influyentes de Leitgeb es la teoría de la estabilidad de la creencia, desarrollada en el artículo «The Stability Theory of Belief» y en el libro The Stability of Belief: How Rational Belief Coheres with Probability. El problema que aborda es la tensión entre la creencia categórica —creer o no creer una proposición— y los grados probabilísticos de creencia propios del bayesianismo.

La teoría parte de tres principios: el cierre lógico de la creencia, los axiomas de la probabilidad para los grados de creencia y una tesis lockeana según la cual una proposición es creída si y solo si su probabilidad supera cierto umbral. En forma esquemática, la tesis lockeana puede expresarse como:

Estos principios, usualmente considerados problemáticos en conjunto por paradojas como la de la lotería, son compatibles si la creencia racional se entiende como un grado de creencia alto y estable. La creencia queda determinada por una proposición que funciona como base del sistema doxástico: una proposición es creída si y solo si , siempre que sea estable respecto de la probabilidad . La teoría permite tratar la creencia categórica como una simplificación cualitativa de la probabilidad sin reducirla completamente a ella. The Stability of Belief desarrolla esta propuesta de modo sistemático. La obra busca construir un puente normativo entre la lógica doxástica y la teoría de la probabilidad.

Leitgeb también ha contribuido a la epistemología bayesiana. En conjunto con Richard Pettigrew ha defendido una justificación epistémica del uso de grados de creencia probabilísticos mediante medidas de inexactitud. También ha ofrecido otra vía de defensa del probabilismo subjetivo a partir de invariancias de partición y de la estructura formal de la probabilidad subjetiva.

Lógica filosófica En lógica filosófica, ha investigado las relaciones de dependencia semántica en teorías de la verdad, así como sus restricciones formales y filosóficas.

Más destacadamente, en «HYPE: A System of Hyperintensional Logic» introdujo un sistema lógico hiperintensional destinado a tratar fenómenos como las lagunas de valor de verdad, la sobredeterminación, las paradojas semánticas y contextos más finos que la equivalencia necesaria. En este sistema, las fórmulas se evalúan en estados que pueden presentar parcialidad o sobredeterminación, y las reglas semánticas de la negación y el condicional se formulan mediante una relación de incompatibilidad y una operación parcial de fusión de estados. El sistema fue presentado como marco general para comparar y combinar lógicas variadas (i.e. clásicas, intuicionistas, relevantes, paraconsistentes y semánticas de hacedores de verdad).

Filosofía de las matemáticas y lógica matemática Leitgeb ha hecho bastantes contrinuciones en filosofía de las matemáticas. Junto con James Ladyman, ha discutido la relación entre criterios de identidad y una ontología estructuralista. Asimismo, ha estudiado la relación existente entre la demostrabilidad formal y la práctica matemática informal.

Recientemente ha defendido una forma contemporánea de logicismo junto con Edward N. Zalta y Uri Nodelman.

Filosofía de las ciencias cognitivas En Inference on the Low Level estudia las inferencias de bajo nivel, el razonamiento no monótono y la filosofía de la cognición. Leitgeb analiza formas de inferencia que no suelen presentarse como razonamiento explícito consciente, pero que pueden describirse mediante herramientas lógicas. Esta línea conecta su trabajo lógico con problemas venidos de las ciencias cognitivas.

Carnap y metafilosofía En «New Life for Carnap’s Aufbau?» revisó el proyecto del Aufbau carnapiano y sus posibilidades filosóficas contemporáneas. Junto con André Carus es autor de la entrada «Rudolf Carnap» de la Stanford Encyclopedia of Philosophy.

Reconocimientos Leitgeb recibió el Premio Philip Leverhulme y el Premio de Investigación Friedrich Wilhelm Bessel en 2007. En 2010 fue seleccionado para una cátedra Alexander von Humboldt en la Universidad de Múnich. En 2014 fue elegido miembro de la Academia Europæa y en 2016 de la Academia Alemana de las Ciencias Naturales Leopoldina. En 2025 recibió el Premio Gottfried Wilhelm Leibniz por sus trabajos en filosofía matemático-analítica. Ese mismo año fue reconocido con el Premio Frege de la Gesellschaft für Analytische Philosophie.

Publicaciones seleccionadas

Libros de autoría

Leitgeb, Hannes (2004). Inference on the Low Level. An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition. Applied Logic Series, vol. 30. Dordrecht: Kluwer. Leitgeb, Hannes (2017). The Stability of Belief. How Rational Belief Coheres with Probability. Oxford: Oxford University Press. ISBN 978-0-19-873263-1.

Libros editados

Hendricks, Vincent F.; Leitgeb, Hannes, eds. (2007). Philosophy of Mathematics: 5 Questions. Automatic Press. Hieke, Alexander; Leitgeb, Hannes, eds. (2009). Reduction. Between the Mind and the Brain. Fráncfort del Meno: Ontos. Hieke, Alexander; Leitgeb, Hannes, eds. (2009). Reduction – Abstraction – Analysis. Fráncfort del Meno: Ontos. Niiniluoto, Ilkka; Seppälä, Päivi; Sober, Elliott; Leitgeb, Hannes, eds. (2017). Logic, Methodology and Philosophy of Science. Proceedings of the Fifteenth International Congress. Londres: College Publications.

Artículos

Leitgeb, Hannes (2001). «Nonmonotonic Reasoning by Inhibition Nets». Artificial Intelligence, 128(1-2), pp. 161-201. Leitgeb, Hannes (2005). «What Truth Depends On». Journal of Philosophical Logic, 34(2), pp. 155-192. Leitgeb, Hannes (2007). «What Theories of Truth Should Be Like (But Cannot Be)». Philosophy Compass, 2(2), pp. 276-290. Ladyman, James; Leitgeb, Hannes (2008). «Criteria of Identity and Structuralist Ontology». Philosophia Mathematica, 16(3), pp. 388-396. Leitgeb, Hannes; Pettigrew, Richard (2010). «An Objective Justification of Bayesianism I: Measuring Inaccuracy». Philosophy of Science, 77(2), pp. 201-235. Leitgeb, Hannes; Pettigrew, Richard (2010). «An Objective Justification of Bayesianism II: The Consequences of Minimizing Inaccuracy». Philosophy of Science, 77(2), pp. 236-272. Leitgeb, Hannes (2011). «New Life for Carnap’s Aufbau?». Synthese, 180(2), pp. 265-299. Leitgeb, Hannes (2013). «Reducing Belief Simpliciter to Degrees of Belief». Annals of Pure and Applied Logic, 164, pp. 1338-1389. Leitgeb, Hannes (2014). «The Stability Theory of Belief». The Philosophical Review, 123(2), pp. 131-171. Leitgeb, Hannes (2019). «HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)». Journal of Philosophical Logic, 48(2), pp. 305-405. Leitgeb, Hannes (2021). «A Structural Justification of Probabilism: From Partition Invariance to Subjective Probability». Philosophy of Science, 88(2), pp. 341-365. Leitgeb, Hannes (2023). «Ramsification and Semantic Indeterminacy». The Review of Symbolic Logic, 16(3), pp. 900-950. Leitgeb, Hannes; Zalta, Edward N.; Nodelman, Uri (2025). «A Defense of Logicism». The Bulletin of Symbolic Logic, 31(1), pp. 88-152.

Capítulos de libro

Leitgeb, Hannes (2009). «On Formal and Informal Provability». En Linnebo, Øystein; Bueno, Otávio, eds. New Waves in Philosophy of Mathematics. Nueva York: Palgrave Macmillan, pp. 263-299. Horsten, Leon; Leitgeb, Hannes (2009). «How Abstraction Works». En Hieke, Alexander; Leitgeb, Hannes, eds. Reduction – Abstraction – Analysis. Fráncfort del Meno: Ontos, pp. 217-226. Leitgeb, Hannes (2016). «Probability in Logic». En Hájek, Alan; Hitchcock, Christopher, eds. The Oxford Handbook of Probability and Philosophy. Oxford: Oxford University Press, pp. 681-704. Leitgeb, Hannes (2018). «Neural Network Models of Conditionals». En Hansson, Sven Ove; Hendricks, Vincent F., eds. Introduction to Formal Philosophy. Berlín: Springer, pp. 147-176. Leitgeb, Hannes (2021). «Stability and the Lottery Paradox». En Douven, Igor, ed. Lotteries, Knowledge, and Rational Belief: Essays on the Lottery Paradox. Cambridge: Cambridge University Press, pp. 147-170.

Véase también

Filosofía analítica Lógica filosófica Epistemología bayesiana Filosofía del lenguaje Filosofía de las matemáticas Filosofía de la ciencia Rudolf Carnap Empirismo lógico Paradoja del mentiroso Probabilidad bayesiana

Referencias

Bibliografía

Enlaces externos

Perfil en PhilPeople Perfil en la Fundación Alexander von Humboldt Perfil en la Leopoldina Perfil en la Academia Internacional de Filosofía de las Ciencias

Categoría:Hombres Categoría:Filósofos de Austria Categoría:Matemáticos de Austria Categoría:Filósofos analíticos Categoría:Filósofos del lenguaje Categoría:Filósofos de la ciencia Categoría:Epistemólogos Categoría:Lógicos Categoría:Alumnado de la Universidad de Salzburgo Categoría:Profesores de la Universidad de Bristol Categoría:Profesores de la Universidad de Múnich Categoría:Miembros de la Leopoldina Categoría:Miembros de la Academia Europea Categoría:Premio Gottfried Wilhelm Leibniz Categoría:Nacidos en Salzburgo