
Jaakko Hintikka
1929–2015 · filósofo y lógico finlandés
Jaakko Hintikka (Vantaa, 1929-Porvoo, 2015) fue un filósofo y lógico finlandés, nacionalizado también estadounidense, y una de las figuras más influyentes de la lógica del siglo XX. Se le considera el fundador de la lógica epistémica formal y de la semántica de juegos para la lógica. Se formó en la Universidad de Helsinki con Georg Henrik von Wright y, tras doctorarse en 1953 con una tesis sobre lógica de predicados, pasó por Harvard y ocupó cátedras en Helsinki, Stanford y Florida State University, hasta llegar a la Universidad de Boston, donde enseñó desde 1990 hasta su muerte.
Su obra es amplia: publicó o coeditó más de treinta libros y más de trescientos artículos, en campos como la lógica matemática, la lógica filosófica, la filosofía de la matemática, la epistemología, la teoría del lenguaje y la filosofía de la ciencia. Durante años dirigió la revista Synthese, desde 1965 hasta 2002.
En sus primeros trabajos elaboró una semántica para la lógica modal muy parecida a la de Saul Kripke y dio con el tableau semántico, método hoy muy usado, sin conocer aún la obra de Evert Willem Beth, que llegó a la misma idea por su cuenta. Más adelante se centró en la semántica de juegos y en la lógica de independencia, conocida por sus cuantificadores de bifurcación, que él consideraba más cercanos a nuestra intuición sobre los cuantificadores que la lógica de primer orden habitual. Hintikka también dedicó trabajos exegéticos importantes a Aristóteles, Kant, Wittgenstein y Charles S. Peirce.
Se le sitúa en la tradición analítica anglo-americana, que él prolongó desde Frege y Russell hasta Quine y su maestro von Wright. Su influencia se nota sobre todo en la lógica epistémica, la teoría de juegos aplicada al lenguaje y la historia de la lógica, y su premio Rolf Schock de 2005 reconoció precisamente su análisis lógico de conceptos modales como el conocimiento y la creencia.
Ideas clave
- Lógica epistémica: formalización de las nociones de conocimiento y creencia mediante operadores modales, que dio origen a un campo propio.
- Semántica de juegos: interpretación de las fórmulas lógicas como partidas entre un verificador y un falsador, con la verdad entendida como victoria en el juego.
- Cuantificadores de bifurcación: extensión de la lógica de primer orden en la que las dependencias entre variables se establecen de forma más flexible que en la lógica convencional.
- Tableau semántico: método de prueba que describe la validez de una fórmula mediante la búsqueda sistemática de contraejemplos.
Maestros e influencias
Maestros
- Georg Henrik von Wright 1916–2003
- Eino Kaila 1890–1958
Texto original de Filopedia a partir de Wikipedia (es) y Wikipedia (en) y Wikidata.