Frederic Brenton Fitch

Frederic Brenton Fitch

Frederic Brenton Fitch (* 1908; † 1987) war ein amerikanischer Logiker und der Entwickler des Fitch-Kalküls. In seinem 1963 veröffentlichten Aufsatz "A Logical Analysis of Some Value Concepts" beweist er "Theorem 5" (ursprünglich von Alonzo Church), welches später im Kontext des Paradoxes des möglichen Wissens berühmt wurde. Fitch war Professor an der Yale University.

Bibliographie

  • 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

Veröffentlichungen

  • "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

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Frederic Brenton Fitch — (1908 1987) was an American logician, and was the inventor of Fitch style calculus. He was a professor at Yale University. Related Stanford University has produced an application called [http://www csli.stanford.edu/LPL/ Fitch] .An online Java… …   Wikipedia

  • Brenton — ist der Familienname folgender Personen: Howard Brenton (1942), englischer Dramatiker und Drehbuchautor Lucas Brenton (* 1991), australischer Electronic Pop und Dance Künstler und Internetpersönlichkeit Samuel Brenton (1810–1857), US… …   Deutsch Wikipedia

  • Fitch — may refer to: Family name* Fitch (surname), a family name of Anglo Norman originPeople* Alan Fitch (1915 1985), British Labour Party politician * Albert Fitch Bellows (1829 1883), American landscape painter * Alfred Fitch, American Olympian *… …   Wikipedia

  • Fitch — ist: eine Ratingfirma, siehe Fitch Ratings ein Modelabel, siehe Abercrombie and Fitch der Name einer Fregatte der US Marine; USS Aubrey Fitch (FFG 34) ein Kalkül, um formale Beweise auf Logik erster Ebene durchzuführen, siehe Fitch Kalkül Orte in …   Deutsch Wikipedia

  • Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… …   Wikipedia

  • Fitch — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Compagnies Abercrombie Fitch, entreprise américaine de mode vestimentaire Fitch Ratings, agence de notation financière internationale. Personnes Asa Fitch …   Wikipédia en Français

  • Fitch-Kalkül — Das Fitch Kalkül ist eine Methode, um formelle Beweise in Logik erster Ebene durchzuführen. Es wurde von dem amerikanischen Logiker Frederic Brenton Fitch erfunden. Beweise, die mit dem Fitch Kalkül geführt werden bestehen aus atomaren Aussagen.… …   Deutsch Wikipedia

  • Style de Fitch pour la déduction naturelle — Le logicien Frederic Brenton Fitch (en) a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1 Introduction …   Wikipédia en Français

  • List of Guggenheim Fellowships awarded in 1945 — 1945 U.S. and Canadian Fellows= # Walter Allen, Jr., Deceased. Classics: 1945. # George Kumler Anderson, Deceased. Folklore: 1945. # Richard S. Angell, Deceased Retired Chief, Technical Processes Research Office, Library of Congress, Washington,… …   Wikipedia

  • Liste des lauréats du Prix Nobel par Université — Nombre de Lauréats[1] Diplômé de cette université[2] Étudiant ou chercheur de cette université [3] En poste avant ou au moment de la nomination …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”