[FOM] Truth theories and the conservativity argument

[Richard Heck]

>> But note, a contrario, that the "minimal" theory of truth, when  
>> implemented in faithful arithmetics, in turn gives all the basic  
>> truth-theoretic principles).
>>     
> I am not sure this is true. Even if we take the complete theory of 
> arithmetic, and add T-sentences, I don't think we get generalizations such 
> as (For all x)(x sentence ->  (True(x) or False(x))). (?) 
>
> (can anyone confirm this?)
>   
Yes, Panu, that is correct. Simply consider a non-standard model of
arithmetic. The T-sentences only fix the behavior of the truth-predicate
on the standard sentences.

Richard

-- 
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://bobjweil.com/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto