[FOM] First-order arithmetical truth

Arnon Avron aa at tau.ac.il
Mon Oct 16 05:44:11 EDT 2006

On Fri, Oct 13, 2006 at 07:54:01PM +0100, Francis Davey wrote:
> So, I have no idea how I would tell the intended model (of PA) from 
> another model.

If you do not see or understand what are the (real) natural numbers, 
then you do not see or understand any other concept which is
define inductively. You dont understand what are the legal
expression of any formal language, or what are the intended 
proofs of a given formal system. So what can you understand
and see? It seems to me that practically nothing. In fact,
you cant (according to your own statements) even understand what
Godel theorems are about! (they are about the intended structure
of proofs in PA, but how can you tell this structure from another)

Arnon Avron

More information about the FOM mailing list