[FOM] Truth definitions

[praatika@mappi.helsinki.fi]

> 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:

http://wwwmath.uni-muenster.de/logik/Personen/rds/BG.pdf


Best, Panu



Panu Raatikainen

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

E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/