Frederic Fitch

Frederic Brenton Fitch (September 9, 1908, Greenwich, Connecticut – September 18, 1987, New Haven, Connecticut) was an American logician, a Sterling Professor at Yale University.[1]

Education and career

At Yale, Fitch earned his B.A in 1931 and his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop.[2] From 1934 to 1937 Fitch was a postdoc at the University of Virginia. In 1937 he returned to Yale, where he taught until his retirement in 1977.[3]

His doctoral students include Alan Ross Anderson, Ruth Barcan Marcus, and William W. Tait.

Work

Fitch was the inventor of the Fitch-style calculus for arranging formal logical proofs as diagrams.[4] In his 1963 published paper "A Logical Analysis of Some Value Concepts" he proves "Theorem 5" (originally by Alonzo Church), which later became famous in context of the knowability paradox.[5]

Fitch worked primarily in combinatory logic, authoring an undergraduate-level textbook on the subject (1974), but he also made significant contributions to intuitionism and modal logic. He was interested in the problem of the consistency, completeness, categoricity, and constructivity of logical theories, especially nonclassical logics, and contributed to the foundations of mathematics and to inductive probability. He dealt with the theory of references in "The Problem of the Morning Star and the Evening Star" (1949).[6]

He also contributed to the philosophy of how logic relates to language.[7]

Bibliography
  • Symbolic Logic, An Introduction, Frederic Fitch, The Ronald Press Company, 1952[8]
  • A Logical Analysis of Some Value Concepts, Frederic Fitch, 1963 doi:10.2307/2271594 (This paper has over 400 citations.)
  • Elements of Combinatory Logic, Frederic Fitch, Yale University Press, 1974[9]
  • as editor with Alan Ross Anderson, Ruth Barcan Marcus, and Richard Milton Martin: The Logical Enterprise. Yale University Press. 1975. ISBN 978-0-300-01790-8.
gollark: I have a few hundred "memes" stored.
gollark: If you like I can upload my meme library to crowd out solar's.
gollark: <@151391317740486657> It works but there are privacy issues.
gollark: Signal is good in my opinion, but it's hard to get people to actually use it.
gollark: You could always buy a non-smartphone.

See also

References
  1. "Frederic B. Fitch", Obituaries, The New York Times, September 19, 1987.
  2. Frederic Fitch at the Mathematics Genealogy Project
  3. Anellis, Irving H. (1 January 2005). "Fitch, Frederic Brenton". In Shook, John R. (ed.). Dictionary of Modern American Philosophers. A&C Black. pp. 799–802. ISBN 978-1-84371-037-0.
  4. Bimbo, Katalin (2014), Proof Theory: Sequent Calculi and Related Formalisms, Discrete Mathematics and Its Applications, CRC Press, p. 272, ISBN 9781466564688.
  5. Fitch's Paradox of Knowability in the Stanford Encyclopedia of Philosophy.
  6. "Fitch, Frederic Brenton". Dictionary of Modern American Philosophers. 2005. p. 800.
  7. "Fitch, Frederic Brenton". Dictionary of Modern American Philosophers. 2005. p. 801.
  8. Turquette, Atwell R. (1953). "Review of Symbolic Logic: An Introduction by Frederich Brenton Fitch". The Philosophical Review. 62 (4): 617–619. doi:10.2307/2182470. ISSN 0031-8108.
  9. Lercher, Bruce (2014). "Review of Elements of combinatory logic. by Frederic B. Fitch". Journal of Symbolic Logic. 41 (4): 789–790. doi:10.2307/2272401. ISSN 0022-4812.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.