[FOM] Truth definitions

praatika@mappi.helsinki.fi praatika at mappi.helsinki.fi
Fri Sep 11 09:58:17 EDT 2009

> Quoting T.Forster at dpmms.cam.ac.uk:
>>    I promised one of my Ph.D. students that i would write out a tutorial on
>> truth-definitions for him.  One example it would be nice to work through is
>> a consistency proof of ZF in the impredicative class theory commonly known
>> as Morse-Kelley.  It occurs to me that an idea that good must have been had
>> before, and that there must be an elementary treatment in the literature
>> somewhere.  Can listmembers point me at one?

How about this nice paper by Ralf Schindler:


Best, Panu

Panu Raatikainen

Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
University of Helsinki

E-mail: panu.raatikainen at helsinki.fi


More information about the FOM mailing list