[FOM] First-order arithmetical truth

Timothy Y. Chow tchow at alum.mit.edu
Thu Oct 19 17:06:19 EDT 2006

Vladimir Sazonov wrote:

>Quoting "Timothy Y. Chow" <tchow at alum.mit.edu> Mon, 16 Oct 2006:
>(answering to Francis Davey)
>> If you lack the ability to distinguish the intended model of PA from
>> another model,
>Excuse me Timothy, please. Do YOU have this ability?

For the purposes of the point I'm making here, let's assume that I *don't* 
have this ability.  That's what I need to make my point.  From this 
inability of mine, I infer that I am also unable to distinguish the 
intended meaning of "formal system" from an unintended meaning of "formal 
system."  Do you disagree with this inference?  Or do you claim that you 
have some sort of mystical ability to distinguish "standard" formal 
systems from "nonstandard" formal systems?


More information about the FOM mailing list