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