Фредерик Фитч
Фредерик Фитч | |
---|---|
Рожденный | 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 г.
- ^ Фредерик Фитч в проекте «Математическая генеалогия»
- ^ Jump up to: а б с Анеллис, Ирвинг Х. (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. Рукописи и архивы, Библиотека Йельского университета.