Фредерик Фитч

Фредерик Фитч
Фредерик Фитч
Рожденный	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. Рукописи и архивы, Библиотека Йельского университета.

[1] «Фредерик Б. Фитч» , некрологи, The New York Times , 19 сентября 1987 г.

[2] Фредерик Фитч в проекте «Математическая генеалогия»

[Shook2005-3] Jump up to: ^а ^б ^с Анеллис, Ирвинг Х. (1 января 2005 г.). «Фитч, Фредерик Брентон» . В Шуке, Джон Р. (ред.). Словарь современных американских философов . А&С Черный. стр. 799–802. ISBN 978-1-84371-037-0 .

[4] Бимбо, Каталин (2014), Теория доказательств: секвенционные исчисления и родственные формализмы , Дискретная математика и ее приложения, CRC Press, стр. 272, ISBN 9781466564688 .

[5] Парадокс познаваемости Фитча в Стэнфордской энциклопедии философии .

[TurquetteFitch1953-6] Теркетт, Этвелл Р. (1953). «Обзор символической логики: введение Фредерика Брентона Фитча». Философское обозрение . 62 (4): 617–619. дои : 10.2307/2182470 . ISSN 0031-8108 . JSTOR 2182470 .

[Lercher2014-7] Лерчер, Брюс (2014). «Обзор элементов комбинаторной логики ». Журнал символической логики . 41 (4): 789–790. дои : 10.2307/2272401 . ISSN 0022-4812 . JSTOR 2272401 . S2CID 60486915 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция Данные БНФ Германия Израиль Соединенные Штаты Нидерланды
академики	ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ЗАКУСКА ИдРеф