Frederic Brenton Fitch

Frederic Brenton Fitch (1908-1987) was an American logician, the inventor of Fitch-style calculus, and a Sterling Professor Emeritus at Yale University.^[1] 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.

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.

Bibliography

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

Publications

• "Symbolic Logic, An Introduction", The Ronald Press Company, 1952
• "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

References

• Jon Barwise and John Etchemendy, Language, Proof, and Logic, Seven Bridges Press and CSLI, 1999.

External links

• http://www.cc.utah.edu/~nahaj/logic/structures/systems/fitch.html
• http://plato.stanford.edu/entries/fitch-paradox/