Re: Name the thesis: "Formal sentences capture informal ones"

Helene.Boucher_at_wanadoo.fr
Date: 01/30/05 

Date: 30 Jan 2005 03:40:57 -0800

Not at all. To show that two concepts are not equivalent, it is
sufficient to present an environment in which they are clearly not the
same. The environment that I have proposed does that - thus Con(PA)
and "PA is consistent" cannot be intensionally equivalent; they do not
"say the same thing." Why this raises "basic questions" is for you to
elucidate. If you have an alternative environment, which does the same
work, but more suitable to your taste, then by all means present it.
Of if you have an alternative argument, then present that.

Relevant Pages