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

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

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

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

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

Работа

Fitch было изобретатель из Расчет в стиле Fitch для оформления формальных логических доказательств в виде диаграмм.[4] В своей опубликованной в 1963 году статье «Логический анализ некоторых концепций ценности» он доказывает «Теорему 5» (первоначально Церковь Алонсо ), ставший впоследствии известным в контексте парадокс познаваемости.[5]

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

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

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

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

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

Рекомендации

  1. ^ "Фредерик Б. Фитч", Некрологи, Нью-Йорк Таймс, 19 сентября 1987 г..
  2. ^ Фредерик Фитч на Проект "Математическая генеалогия"
  3. ^ Анеллис, Ирвинг Х. (1 января 2005 г.). «Фитч, Фредерик Брентон». В Шоке, Джон Р. (ред.). Словарь современных американских философов. A&C Black. С. 799–802. ISBN  978-1-84371-037-0.
  4. ^ Бимбо, Каталин (2014), Теория доказательств: секвенциальные исчисления и связанные с ними формализмы, Дискретная математика и ее приложения, CRC Press, стр. 272, г. ISBN  9781466564688.
  5. ^ Парадокс узнаваемости Fitch в Стэнфордская энциклопедия философии.
  6. ^ «Фитч, Фредерик Брентон». Словарь современных американских философов. 2005. с. 800.
  7. ^ «Фитч, Фредерик Брентон». Словарь современных американских философов. 2005. с. 801.
  8. ^ Туркетт, Этуэлл Р. (1953). "Обзор Символическая логика: введение Фредерика Брентона Фитча ". Философский обзор. 62 (4): 617–619. Дои:10.2307/2182470. ISSN  0031-8108.
  9. ^ Леркер, Брюс (2014). "Обзор Элементы комбинаторной логики. Фредерика Б. Фитча ". Журнал символической логики. 41 (4): 789–790. Дои:10.2307/2272401. ISSN  0022-4812.

внешняя ссылка