FOM: June 1 - June 24, 1999

[Date Prev] [Date Next] [Thread Prev] [Thread Next]
[Date Index] [Thread Index] [FOM Postings] [FOM Home]

FOM: Foundational Ways




In reference to the discussion on formalization, I'd like to recommend an
essay by Feferman called "Foundational Ways." Actually, a few different
versions have appeared in print. One is in Synthese 62 (1985), 229-254.
Two other versions (one "slimmed down," one "expanded") appear in a
collection of Feferman's essays called "In the Light of Logic" (Oxford,
1998). 

The essays offer a thoughtful analysis of the goals and achievements of
FOM, supported by a number of well-chosen examples. At the same time, they
manage to avoid the grandiose and fluffy language that FOMers take so much
heat for. 

Jeremy Avigad






[Date Prev] [Date Next] [Thread Prev] [Thread Next]
[Date Index] [Thread Index] [FOM Postings] [FOM Home]