- Frederic Brenton Fitch
Frederic Brenton Fitch (1908-1987) was an American
logician , and was theinventor ofFitch-style calculus . He was a professor atYale University .Related
Stanford University has produced an application called " [http://www-csli.stanford.edu/LPL/ Fitch] ".An online
Java application forproof 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, 1953
* "The Perfection of Perfection," Process and Divinity,William L. Reese andEugene Freeman , eds. LaSalle, Ill.: Open Court, 1964Publications
* "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, 1967External links
* http://www.cc.utah.edu/~nahaj/logic/structures/systems/fitch.html
* http://plato.stanford.edu/entries/fitch-paradox/References
*
Jon Barwise andJohn Etchemendy , Language, Proof, and Logic, Seven Bridges Press and CSLI, 1999.
Wikimedia Foundation. 2010.