FOM: Foundational Ways

[Jeremy Avigad]

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