Frederic Fitch - Frederic Fitch
Frederic Brenton Fitch (9 de septiembre de 1908, Greenwich, Connecticut - 18 de septiembre de 1987, New Haven, Connecticut ) fue un lógico estadounidense , profesor de Sterling en la Universidad de Yale .
Educación y carrera
En Yale, Fitch obtuvo su BA en 1931 y su Ph.D. de Yale en 1934 bajo la supervisión de FSC Northrop . 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.
Sus estudiantes de doctorado incluyen a Alan Ross Anderson , Ruth Barcan Marcus y William W. Tait .
Trabaja
Fitch fue el inventor del cálculo al estilo de Fitch para organizar demostraciones lógicas formales como diagramas. 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 .
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 coherencia, la integridad, la categoricidad y la 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).
También contribuyó a la filosofía de cómo la lógica se relaciona con el lenguaje.
Bibliografía
- Lógica simbólica, Introducción , Frederic Fitch, The Ronald Press Company, 1952
- A Logical Analysis of Some Value Concepts , Frederic Fitch, 1963 doi : 10.2307 / 2271594 (Este artículo tiene más de 400 citas).
- Elementos de lógica combinatoria , Frederic Fitch, Yale University Press, 1974
- como editor con Alan Ross Anderson, Ruth Barcan Marcus y Richard Milton Martin : The Logical Enterprise . Prensa de la Universidad de Yale. 1975. ISBN 978-0-300-01790-8.
Ver también
Referencias
enlaces externos
- Bibliografía de artículos de Frederic Fitch en PhilPapers
- Documentos de Frederic Brenton Fitch. Manuscritos y Archivos, Biblioteca de la Universidad de Yale.