> On 17 Dec 2018, at 11:26, Philip Thrift <[email protected]> wrote: > > > > On Monday, December 17, 2018 at 3:58:36 AM UTC-6, Bruno Marchal wrote: > >> On 14 Dec 2018, at 19:41, Philip Thrift <[email protected] <javascript:>> >> wrote: >> >> > >> But suppose that "mathematics is material”. > > What could that even mean? > > > > It means (in the approach I like) that math is fiction, just as defined in > Fictionalism in the Philosophy of Mathematics > > [ https://www.iep.utm.edu/mathfict/ ] > > (mainly beginning with the definition given by Hartry Field). > > This is a very clearly written article. I don't see what the mystery is to > "mathematics is material". (One can disagree with fictionalism, but at least > one should read about what it is). > > > (An alternative to fictionalism is constructivism.)
Those are solipsistic philosophies. We recover them in the S4Grz1 ([]p &p) self-referential mode. Yes, some machine get stuck in there, but others are able to bet that their are not alone, and eventually to see that []p and []p & p, despite hopefully the same (as G* knows) obey quite different logic. But that provides also an explanation of matter, so no need to introduce an ontological commitment. The appearances and laws of physics are explained by not much more than 2+2=4; in a testable way. So let us pursue the test instead of invoking a God, like Matter (Aristotle second God). Bruno > > - pt > > -- > 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] > <mailto:[email protected]>. > To post to this group, send email to [email protected] > <mailto:[email protected]>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- 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 https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
