Оглавление
Фредерик Фитч
-
Образование и карьера Фредерика Фитча
- Получил степень бакалавра в Йельском университете в 1931 году и докторскую степень в 1934 году.
- Работал постдоком в Университете Вирджинии с 1934 по 1937 год.
- Преподавал в Йельском университете с 1937 по 1977 год.
-
Вклад в логику и философию
- Изобрел математический анализ в стиле Фитча для формальных логических доказательств.
- Доказал “Теорему 5” Черча, которая стала известна в контексте парадокса познаваемости.
- Работал в области комбинаторной логики и внес значительный вклад в интуиционизм и модальную логику.
- Занимался проблемами непротиворечивости, полноты и конструктивности логических теорий.
- Рассматривал теорию отсылок и философию соотношения логики и языка.
-
Опубликованные работы
- “Символическая логика” (1952) и “Логический анализ некоторых понятий ценности” (1963).
- Учебник по комбинаторной логике (1974).
- Совместные работы с другими учеными (1975).
-
Библиография и дополнительные материалы
- Ссылки на библиографию статей Фитча на PhilPapers и документы в библиотеке Йельского университета.
Полный текст статьи: