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 en 1934 bajo la supervisión de FSC Northrop . [2] De 1934 a 1937, Fitch fue posdoctorado 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 incluyen Alan Ross Anderson , Ruth Barcan Marcus y William W. Tait .
Fitch fue el inventor del cálculo de 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 escribió un libro de texto de nivel universitario sobre el tema (1974), pero también hizo contribuciones significativas al intuicionismo y la lógica modal. Se interesó en el problema de la consistencia, completitud, 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. Trató la teoría de las referencias en "El problema de la estrella matutina y la estrella vespertina" (1949). [3]
También contribuyó a la filosofía de cómo la lógica se relaciona con el lenguaje. [3]