Vladimir Sazonov wrote:
>Quoting "Timothy Y. Chow" <tchow-FrUbXkNCsVf2fBVCVOL8/A@xxxxxxxxxxxxxxxx> 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?
Tim
|
