FOM: Reply to Vorobey on Peano-Dedekind arithmetic

Charles Silver csilver at
Mon Oct 12 12:58:53 EDT 1998

On Mon, 12 Oct 1998, Neil Tennant wrote:

[Lots of stuff snipped]

> I refer Vorobey to
> my book 'Anti-Realism and Logic', Clarendon Press, Oxford, 1987, in
> which I gave detailed derivations of the the Peano-Dedekind axioms for
> successor arithmetic from some simple principles that I claimed were
> meaning-determining for 0, s( ), #x(...x...) and N( ). 

	Could you please say what the intuitive content of each of these

                     0, s( ), #x(...x...) and N( ).

Charlie Silver

More information about the FOM mailing list