FOM: Foundational Ways

Jeremy Avigad avigad at
Fri Jun 4 16:17:52 EDT 1999

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,

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

More information about the FOM mailing list