FOM: Reply to Vorobey on Peano-Dedekind arithmetic
csilver at sophia.smith.edu
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( ).
More information about the FOM