Frederic Brenton Fitch

From Wikipedia, the free encyclopedia

Frederic Brenton Fitch (1908-1987) was an American logician, and was the inventor of Fitch-style calculus. He was a professor at Yale University.

Contents

[edit] Related

Stanford University has produced an application called "Fitch".

An online Java application for proof building is also available http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-fitch.html.

[edit] Bibliography

  • Symbolic Logic, An Introduction. The Ronald Press Company, 1952
  • A Logical Analysis of Some Value Concepts, 1953
  • "The Perfection of Perfection," Process and Divinity, William L. Reese and Eugene Freeman, eds. LaSalle, Ill.: Open Court, 1964

[edit] Publications

  • "A Logical Analysis of Some Value Concepts", The Journal of Symbolic Logic, 28, 1963
  • "A Revision of Hohfeld's Theory of Legal Concepts", Logique et Analyse, 10, 1967

[edit] External links

[edit] References