Frederic Brenton Fitch (9 de septiembre de 1908 - 18 de septiembre de 1987) fue un lógico estadounidense , profesor Sterling en la Universidad de Yale . [1]
En Yale, Fitch obtuvo su licenciatura en 1931 y su doctorado. de Yale en 1934 bajo la supervisión del FSC Northrop . [2] De 1934 a 1937, Fitch realizó un postdoctorado en la Universidad de Virginia . En 1937 regresó a Yale, donde enseñó hasta su jubilación en 1977. [3]
Entre sus estudiantes de doctorado se encuentran Alan Ross Anderson , Ruth Barcan Marcus y William W. Tait .
Fitch fue el inventor del cálculo estilo Fitch para organizar pruebas 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 pregrado sobre el tema (1974), pero también hizo importantes contribuciones al intuicionismo y la lógica modal. Estaba interesado en el problema de la coherencia, integridad, categoricidad y constructividad de las teorías lógicas, especialmente la lógica no clásica, y contribuyó a los fundamentos de las matemáticas y a la probabilidad inductiva. Abordó la teoría de las referencias en "El problema del lucero de la mañana y el lucero de la tarde" (1949). [3]
También contribuyó a la filosofía de cómo la lógica se relaciona con el lenguaje. [3]