On 08 Jun 2015, at 04:31, John Clark wrote:
On Sun, Jun 7, 2015 at meekerdb <meeke...@verizon.net> wrote:
> everyone agrees that 2+2=4 by definition, it's not so clear that
arithmetic objects exist.
If 2+2=4 exists then 2+2=5 does too.
2+2 is true. That's all.
Platonia may contain all true statements but it contains all false
statement as well
The physical reality too, once we make sense of what you say. This
does not make the Moon into Mars. Same in Platonia: 2+2=5 is false
there, and that is enough.
and even Platonia has no way to completely separate the two.
Platonia separates them by definition of Platonia. And that can be
proved in set theory, or second order arithmetic (that you need to
define mathematically "Platonia" (arithmetical truth).
Bruno
And there are many ways to be wrong but only one way to be right.
John K Clark
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.