Фредерик Фитч - Frederic Fitch

Фредерик Брентон Fitch (9 сентября 1908, Гринвич, Коннектикут - 18 сентября 1987, Нью - Хейвен, штат Коннектикут ) был американский логик , Sterling профессор в Йельском университете .

Образование и карьера

В Йельском университете Фитч получил степень бакалавра в 1931 году и докторскую степень. из Йельского университета в 1934 году под руководством FSC Northrop . С 1934 по 1937 год Фитч работал постдоком в Университете Вирджинии . В 1937 году он вернулся в Йель, где преподавал до выхода на пенсию в 1977 году.

Среди его докторантов - Алан Росс Андерсон , Рут Баркан Маркус и Уильям У. Тейт .

Работа

Fitch , был изобретателем в исчислении Fitch стиля для организации формальных логических доказательств в виде диаграмм. В своей опубликованной в 1963 году статье «Логический анализ некоторых концепций ценности» он доказывает «теорему 5» (первоначально написанную Алонзо Черчем ), которая позже стала известной в контексте парадокса познаваемости .

Фитч работал в основном в области комбинаторной логики, создав учебник по этому предмету для бакалавров (1974 г.), но он также внес значительный вклад в интуиционизм и модальную логику. Он интересовался проблемой непротиворечивости, полноты, категоричности и конструктивности логических теорий, особенно неклассической логики, и внес свой вклад в создание основ математики и индуктивной вероятности. Он занимался теорией референций в «Проблеме Утренней звезды и Вечерней звезды» (1949).

Он также внес вклад в философию того, как логика соотносится с языком.

Библиография

  • Символическая логика, введение , Фредерик Фитч, The Ronald Press Company, 1952
  • Логический анализ некоторых концепций ценности , Frederic Fitch, 1963 doi : 10.2307 / 2271594 (у этой статьи более 400 ссылок).
  • Элементы комбинаторной логики , Фредерик Фитч, издательство Йельского университета, 1974 г.
  • в качестве редактора с Аланом Россом Андерсоном, Рут Баркан Маркус и Ричардом Милтоном Мартином : Логическое предприятие . Издательство Йельского университета. 1975. ISBN 978-0-300-01790-8.

Смотрите также

использованная литература

внешние ссылки