[FOM] progress in philosophy

[John McCarthy]

I see formalized epistemology, e.g. formalizations of necessity,
knowledge and belief, as progress in philosophy.  Perhaps this started 
with C. I. Lewis.