Frederic Fitch - Frederic Fitch - Wikipedia

Frederic Brenton Fitch (9. září 1908, Greenwich, Connecticut - 18. září 1987, New Haven, Connecticut ) byl americký logik, a Profesor Sterling na univerzita Yale.[1]

Vzdělání a kariéra

Na Yale získal Fitch titul B.A v roce 1931 a titul Ph.D. z Yale v roce 1934 pod dohledem F. S. C. Northrop.[2] Od roku 1934 do roku 1937 byl Fitch postdoktorem na University of Virginia. V roce 1937 se vrátil na Yale, kde učil až do svého odchodu do důchodu v roce 1977.[3]

Mezi jeho doktorandy patří Alan Ross Anderson, Ruth Barcan Marcus, a William W. Tait.

Práce

Fitch byl vynálezce z Fitchův kalkul pro uspořádání formálních logických důkazů jako diagramů.[4] Ve své publikaci "Logická analýza některých hodnotových konceptů" z roku 1963 dokazuje "Věta 5" (původně: Alonzo Church ), který se později proslavil v kontextu paradox vědomosti.[5]

Fitch pracoval primárně v kombinatorické logice, autorem vysokoškolské učebnice na toto téma (1974), ale také významně přispěl k intuicionismu a modální logice. Zajímal se o problém konzistence, úplnosti, kategoričnosti a konstruktivity logických teorií, zejména neklasických logik, a přispěl k základům matematiky a k induktivní pravděpodobnosti. Teorii odkazů se zabýval v „Problému ranní a večerní hvězdy“ (1949).[6]

Přispěl také k filozofii vztahu logiky k jazyku.[7]

Bibliografie

  • Symbolická logika, úvodFrederic Fitch, The Ronald Press Company, 1952[8]
  • Logická analýza některých hodnotových konceptů, Frederic Fitch, 1963 doi:10.2307/2271594 (Tento příspěvek má více než 400 citací.)
  • Prvky kombinační logikyFrederic Fitch, Yale University Press, 1974[9]
  • jako redaktorka s Alanem Rossem Andersonem, Ruth Barcan Marcus a Richard Milton Martin: Logický podnik. Yale University Press. 1975. ISBN  978-0-300-01790-8.

Viz také

Reference

  1. ^ „Frederic B. Fitch“, Nekrology, The New York Times, 19. září 1987.
  2. ^ Frederic Fitch na Matematický genealogický projekt
  3. ^ Anellis, Irving H. (1. ledna 2005). „Fitch, Frederic Brenton“. V Shook, John R. (ed.). Slovník moderních amerických filozofů. A&C Black. str. 799–802. ISBN  978-1-84371-037-0.
  4. ^ Bimbo, Katalin (2014), Teorie důkazů: Sekvenční kameny a související formalismy, Diskrétní matematika a její aplikace, CRC Press, s. 272, ISBN  9781466564688.
  5. ^ Fitchův paradox poznání v Stanfordská encyklopedie filozofie.
  6. ^ „Fitch, Frederic Brenton“. Slovník moderních amerických filozofů. 2005. s. 800.
  7. ^ „Fitch, Frederic Brenton“. Slovník moderních amerických filozofů. 2005. s. 801.
  8. ^ Turquette, Atwell R. (1953). "Recenze Symbolická logika: Úvod Frederich Brenton Fitch “. Filozofický přehled. 62 (4): 617–619. doi:10.2307/2182470. ISSN  0031-8108.
  9. ^ Lercher, Bruce (2014). "Recenze Prvky kombinační logiky. Frederic B. Fitch “. Journal of Symbolic Logic. 41 (4): 789–790. doi:10.2307/2272401. ISSN  0022-4812.

externí odkazy