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

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

англ. Frederic Brenton Fitch

Дата рождения

9 сентября 1908 года

Место рождения

Гринвич, Коннектикут, США

Дата смерти

18 сентября 1987 года

Место смерти

Нью-Хейвен, Коннектикут, США

Род деятельности

логик

Фредерик Брентон Фитч (англ. Frederic Brenton Fitch; ^{[Нет даты!]}) — американский логик, стерлингский профессор Йельского университета. Известен как создатель нотации Фитча и автор парадокса познаваемости Фитча.

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

В Йельском университете Фитч получил степень бакалавра искусств в 1931 году и степень доктора философии в 1934 году под руководством Ф. С. К. Нортропа. С 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.

Ссылки

• Документы Фредерика Брентона Фитча. Рукописи и архивы, Библиотека Йельского университета.

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Фитч, Фредерик Брентон», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Фитч,_Фредерик_Брентон Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».