Фитч, Фредерик Брентон

В Йельском университете Фитч получил степень бакалавра искусств в 1931 году и степень доктора философии в 1934 году под руководством Ф. С. К. Нортропа^[5]. С 1934 по 1937 год Фитч работал постдоком в Виргинском университете. В 1937 году он вернулся в Йельский университет, где преподавал до выхода на пенсию в 1977 году.

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

Фитч изобрёл нотацию Фитча для представления формальных логических доказательств в виде диаграмм. В своей статье «Логический анализ некоторых ценностных понятий» (англ. A Logical Analysis of Some Value Concepts), опубликованной в 1963 году, он доказывает «Теорему 5» (первоначально сформулированную Алонзо Чёрчем), которая позже стала известна в контексте парадокса познаваемости.

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

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

• 1952: Symbolic Logic, An Introduction, The Ronald Press Company
• 1963: "A Logical Analysis of Some Value Concepts", doi:10.2307/2271594
• 1974: Elements of Combinatory Logic, Yale University Press
• 1975: (совместно с Аланом Россом Андерсоном, Рут Баркан Маркус и Ричардом Милтоном Мартином): The Logical Enterprise. — Yale University Press, 1975. — ISBN 978-0-300-01790-8.