Frederic Brenton Fitch (9 de septiembre de 1908, Greenwich, Connecticut - 18 de septiembre de 1987, New Haven, Connecticut ) fue un lógico estadounidense , profesor Sterling en la Universidad de Yale . [1]
En Yale, Fitch obtuvo su BA en 1931 y su Ph.D. de Yale en 1934 bajo la supervisión de FSC Northrop . [2] De 1934 a 1937 Fitch fue un postdoctorado en la Universidad de Virginia . En 1937 regresó a Yale, donde enseñó hasta su jubilación en 1977. [3]
Fitch fue el inventor del cálculo al estilo de Fitch para organizar demostraciones lógicas formales como diagramas. [4] En su artículo publicado en 1963 "Un análisis lógico de algunos conceptos de valor", demuestra el "Teorema 5" (originalmente de Alonzo Church ), que más tarde se hizo famoso en el contexto de la paradoja de la cognoscibilidad . [5]
Fitch trabajó principalmente en lógica combinatoria, y fue autor de un libro de texto de nivel universitario sobre el tema (1974), pero también hizo contribuciones significativas al intuicionismo y la lógica modal. Estaba interesado en el problema de la consistencia, integridad, categoricidad y constructividad de las teorías lógicas, especialmente las lógicas no clásicas, y contribuyó a los fundamentos de las matemáticas y a la probabilidad inductiva. Se ocupó de la teoría de las referencias en "El problema del lucero de la mañana y el lucero de la tarde" (1949). [3]