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 . [1]
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 . [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]
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. [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 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 del alba y del lucero del anochecer" (1949). [6]
También contribuyó a la filosofía de cómo la lógica se relaciona con el lenguaje. [7]
Bibliografía
- Lógica simbólica, Introducción , Frederic Fitch, The Ronald Press Company, 1952 [8]
- 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 [9]
- 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
- ^ "Frederic B. Fitch" , obituarios, The New York Times , 19 de septiembre de 1987.
- ^ Frederic Fitch en el Proyecto de genealogía matemática
- ^ Anellis, Irving H. (1 de enero de 2005). "Fitch, Frederic Brenton" . En Shook, John R. (ed.). Diccionario de filósofos americanos modernos . A&C Negro. págs. 799–802. ISBN 978-1-84371-037-0.
- ^ Bimbó, Katalin (2014), Teoría de la prueba: cálculos secuenciales y formalismos relacionados , matemáticas discretas y sus aplicaciones, CRC Press, p. 272, ISBN 9781466564688.
- ^ Paradoja de conocimiento de Fitch en la Enciclopedia de Filosofía de Stanford .
- ^ "Fitch, Frederic Brenton" . Diccionario de filósofos americanos modernos . 2005. p. 800.
- ^ "Fitch, Frederic Brenton" . Diccionario de filósofos americanos modernos . 2005. p. 801.
- ^ Turquette, Atwell R. (1953). "Revisión de la lógica simbólica: una introducción de Frederich Brenton Fitch". La revisión filosófica . 62 (4): 617–619. doi : 10.2307 / 2182470 . ISSN 0031-8108 .
- ^ Lercher, Bruce (2014). "Revisión de elementos de lógica combinatoria. Por Frederic B. Fitch". Revista de lógica simbólica . 41 (4): 789–790. doi : 10.2307 / 2272401 . ISSN 0022-4812 .
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.