Фредерик Брентон Fitch (9 сентября 1908, Гринвич, Коннектикут - 18 сентября 1987, Нью - Хейвен, штат Коннектикут ) был американский логик , Sterling профессор в Йельском университете . [1]
Образование и карьера
В Йельском университете Фитч получил степень бакалавра в 1931 году и докторскую степень. из Йельского университета в 1934 году под руководством FSC Northrop . [2] С 1934 по 1937 год Фитч работал постдоком в Университете Вирджинии . В 1937 году он вернулся в Йель, где преподавал до выхода на пенсию в 1977 году. [3]
Среди его докторантов - Алан Росс Андерсон , Рут Баркан Маркус и Уильям У. Тейт .
Работа
Fitch , был изобретателем в исчислении Fitch стиля для организации формальных логических доказательств в виде диаграмм. [4] В своей опубликованной в 1963 году статье «Логический анализ некоторых концепций ценности» он доказывает «Теорему 5» (первоначально написанную Алонзо Чёрчем ), которая позже стала известной в контексте парадокса познаваемости . [5]
Фитч работал в основном в области комбинаторной логики, создав учебник по этому предмету для бакалавров (1974 г.), но он также внес значительный вклад в интуиционизм и модальную логику. Он интересовался проблемой непротиворечивости, полноты, категоричности и конструктивности логических теорий, особенно неклассической логики, и способствовал созданию основ математики и индуктивной вероятности. Он занимался теорией референций в «Проблеме Утренней звезды и Вечерней звезды» (1949). [6]
Он также внес вклад в философию того, как логика соотносится с языком. [7]
Библиография
- Символическая логика, введение , Фредерик Фитч, The Ronald Press Company, 1952 [8]
- Логический анализ некоторых концепций ценности , Frederic Fitch, 1963 doi : 10.2307 / 2271594 (у этой статьи более 400 ссылок).
- Элементы комбинаторной логики , Фредерик Фитч, Yale University Press, 1974 [9]
- в качестве редактора с Аланом Россом Андерсоном, Рут Баркан Маркус и Ричардом Милтоном Мартином : Логическое предприятие . Издательство Йельского университета. 1975. ISBN 978-0-300-01790-8.
Смотрите также
Рекомендации
- ^ "Фредерик Б. Фитч" , Некрологи, The New York Times , 19 сентября 1987 г..
- ↑ Фредерик Фитч в проекте « Математическая генеалогия»
- ^ Анеллис, Ирвинг Х. (1 января 2005 г.). «Фитч, Фредерик Брентон» . В Шоке, Джон Р. (ред.). Словарь современных американских философов . A&C Black. С. 799–802. ISBN 978-1-84371-037-0.
- ^ Бимбо, Каталин (2014), Теория доказательств: последовательные исчисления и связанные с ними формализмы , дискретная математика и ее приложения, CRC Press, стр. 272, ISBN 9781466564688.
- ^ Парадокс познания Фитча в Стэнфордской энциклопедии философии .
- ^ «Фитч, Фредерик Брентон» . Словарь современных американских философов . 2005. с. 800.
- ^ «Фитч, Фредерик Брентон» . Словарь современных американских философов . 2005. с. 801.
- ^ Туркетт, Этуэлл Р. (1953). «Обзор символической логики: введение Фредерика Брентона Фитча». Философское обозрение . 62 (4): 617–619. DOI : 10.2307 / 2182470 . ISSN 0031-8108 .
- ^ Леркер, Брюс (2014). «Обзор элементов комбинаторной логики. Фредерик Б. Фитч». Журнал символической логики . 41 (4): 789–790. DOI : 10.2307 / 2272401 . ISSN 0022-4812 .
Внешние ссылки
- Библиография статей Фредерика Фитча на PhilPapers
- Фредерик Брентон, документы Fitch. Рукописи и архивы, Библиотека Йельского университета.