On 11 June 2014 11:50, meekerdb <[email protected]> wrote: > On 6/10/2014 4:42 PM, LizR wrote: > >> The whole point of using maths or arithmetic or logic as an ontological >> base is of course the asumption that, loosely speaking, 2 + 2 must always = >> 4. If we accept that this is true, all else follows, to misquote Winston >> Smith. >> > > Except as Peter Jones was fond of pointing out, for a statement of a > relation to be true does not require that the relata exist. I think > philosophers call this a "free logic". >
The *assumption *is that they exist, or just that the relation exists, if that is sufficient (as it may be for comp). On the minus side, it's an assumption, and some will claim it's false (ultrafinitists for a start, I believe). On the plus side it's the only thing we've ever come across that appears to necessarily exist ... unless you knows of a better 'ole? -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
