<ill-get-doc>
  <record xmlns="http://www.loc.gov/MARC21/slim/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd">
    <leader>^^^^^nz^^a^^^^^^^n^^4500</leader>
    <controlfield tag="001">LNC10-000115442</controlfield>
    <controlfield tag="005">20080807083343.0</controlfield>
    <controlfield tag="008">080625nn|adnnnaabn||||||||||^a|aaa||||^^</controlfield>
    <datafield tag="024" ind1="7" ind2=" ">
      <subfield code="a">0000000110407187</subfield>
      <subfield code="2">isni</subfield>
    </datafield>
    <datafield tag="035" ind1=" " ind2=" ">
      <subfield code="a">(VIAF)14866067</subfield>
    </datafield>
    <datafield tag="040" ind1=" " ind2=" ">
      <subfield code="a">NLL</subfield>
      <subfield code="b">lav</subfield>
    </datafield>
    <datafield tag="100" ind1="1" ind2=" ">
      <subfield code="a">Fitch, Frederic Brenton,</subfield>
      <subfield code="d">1908-1987</subfield>
    </datafield>
    <datafield tag="670" ind1=" " ind2=" ">
      <subfield code="a">Symbolic logic, c1952:</subfield>
      <subfield code="b">titlp. (Frederic Brenton Fitch)</subfield>
    </datafield>
    <datafield tag="670" ind1=" " ind2=" ">
      <subfield code="a">Kongresa bibliotēkas autorit. ierakstu datne</subfield>
    </datafield>
    <datafield tag="856" ind1="4" ind2="0">
      <subfield code="u">http://viaf.org/viaf/14866067</subfield>
      <subfield code="y">VIAF ID</subfield>
    </datafield>
    <datafield tag="915" ind1="0" ind2="3">
      <subfield code="a">20080625.03INGRIDAD</subfield>
    </datafield>
  </record>
  <session-id>2ER13EF3N61AYMHDX72U4FPYA8E4T2DNN841DFQ64192TE4X5M</session-id>
</ill-get-doc>        

Frederic_Brenton_Fitch

Iet uz wiki rakstu

• Frederic Brenton Fitch (September 9, 1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.[1]
• At Yale, Fitch earned his B.A in 1931 and his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop.[2] From 1934 to 1937 Fitch was a postdoc at the University of Virginia. In 1937 he returned to Yale, where he taught until his retirement in 1977.[3]
• His doctoral students include Alan Ross Anderson, Ruth Barcan Marcus, and William W. Tait.
• Fitch was the inventor of the Fitch-style calculus for arranging formal logical proofs as diagrams.[4] 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.[5]
• Fitch worked primarily in combinatory logic, authoring an undergraduate-level textbook on the subject (1974), but he also made significant contributions to intuitionism and modal logic. He was interested in the problem of the consistency, completeness, categoricity, and constructivity of logical theories, especially nonclassical logics, and contributed to the foundations of mathematics and to inductive probability. He dealt with the theory of references in "The Problem of the Morning Star and the Evening Star" (1949).[3]
• He also contributed to the philosophy of how logic relates to language.[3]