Wrong Bruno, Flying pink elephants could be 'off mass shell', virtual elephants. Their color is a superposition of pink and not pink, which makes them, on average, colorless unless we look *very* carefully.
Your test for 'reality' is unphysical because it assumes that *infinite computations that consume no resources* can be accessed for confirmation of &p. ? p is for a true fact. It makes no sense to ask a confirmation, which applies only to a theory or a belief. And I was not proposing a test. Just doing the usal classical logician joke. I can give evidence that all flying elephant on this planet, in this branch of the wave are pink and not pink. ** [SPK] What is it that makes p "a true fact"? If we follow fictionalism, it is true if and only if none of those that can conceive of p have also a counterexample of p. This seems, crudely, to be a form of the law of excluded middle. ** The argument is simple: a proof of a sentence is equivalent to a computation of the model of the sentence. That does not make sense to me. Proof is model independent. ** [SPK] If a model of p does not exist, is a proof of p possible? I do not see how! My concept of a pink elephant is a model. The experience of my reading this sentence is a model. But I am thinking of model outside of the restricted definition of a model within math proper. As I see things, independence is not existential separability. ** There there is a flaw in the premise of Arithmetic realism. because you beg the question by assume a physical reality, and thus non comp. ** [SPK] No, I accept that the physical reality that I experience is a construction as per COMP, it supervenes on many minds and is almost independent of any one of them (in the limit of infinitely many minds). AR assumes that reality is completely independent of minds and thus has a problem: it cannot explain how many minds can agree on the existence of a physical reality. ** Thus I present 'fictionalism' as a way to illustrate my counterexample to your claim of 'absolute truth' for Bp&p.. Assuming Aristotle, so again it is not an argument for non validity, but a proposal for a different theory. ** [SPK] Yes, it is a different theory that does not necessarily contradict COMP. In my thinking COMP is too narrow a theory of minds. It only allows for a single mind. On Sun, Jun 9, 2013 at 3:21 AM, Bruno Marchal <marc...@ulb.ac.be> wrote: > > On 08 Jun 2013, at 15:56, Stephen Paul King wrote: > > Wrong Bruno, Flying pink elephants could be 'off mass shell', virtual > elephants. Their color is a superposition of pink and not pink, which makes > them, on average, colorless unless we look *very* carefully. > > Your test for 'reality' is unphysical because it assumes that *infinite > computations that consume no resources* can be accessed for confirmation of > &p. > > > ? > p is for a true fact. It makes no sense to ask a confirmation, which > applies only to a theory or a belief. > > And I was not proposing a test. Just doing the usal classical logician > joke. I can give evidence that all flying elephant on this planet, in this > branch of the wave are pink and not pink. > > > > > > > The argument is simple: a proof of a sentence is equivalent to a > computation of the model of the sentence. > > > That does not make sense to me. Proof is model independent. > > > > > If the sentence is inconsistent, then the model cannot be generated. > > > That makes sense! > > > > > The *Reality* of p is the by-product of mutual agreement of all possible > testers/provers/interviewers of p, not some transcendent *Being*. > > > In Aristotle metaphysics, which is out the scope of my working hypothesis. > You assume non-comp. > > > > > > > There there is a flaw in the premise of Arithmetic realism. > > > because you beg the question by assume a physical reality, and thus non > comp. > > > > > > Thus I present 'fictionalism' as a way to illustrate my counterexample to > your claim of 'absolute truth' for Bp&p.. > > > Assuming Aristotle, so again it is not an argument for non validity, but a > proposal for a different theory. > > Bruno > > > > > > > > On Sat, Jun 8, 2013 at 4:02 AM, Bruno Marchal <marc...@ulb.ac.be> wrote: > >> >> On 08 Jun 2013, at 05:15, meekerdb wrote: >> >> On 6/7/2013 4:00 PM, Stephen Paul King wrote: >> >> Yes, if there was a text of this it would be nice... I found this: >> http://plato.stanford.edu/entries/fictionalism-mathematics/ >> >> >> A fictionalist account holds that some things are fictional, i.e. don't >> exist even though their complete description is self-consistent. >> Everythingists apparently reject this idea. Platonists seem to equate >> 'true' with 'exists'. If you believe 17 is prime you must believe 17 >> exists. I think this is wrong. If you believe that a flying pink >> elephant is pink, must you believe a flying pink elephant exists? >> >> >> >> Flying pink elephants are pink and not pink. That's why flying pink >> elephant can't exist. >> >> Bruno >> >> >> >> >> Brent >> >> -- >> 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?hl=en. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> >> >> http://iridia.ulb.ac.be/~marchal/ >> >> >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "Everything List" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/everything-list/_ONFIcyntY4/unsubscribe?hl=en >> . >> To unsubscribe from this group and all its topics, 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?hl=en. >> For more options, visit https://groups.google.com/groups/opt_out. >> >> >> > > > -- > 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?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > > > http://iridia.ulb.ac.be/~marchal/ > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/_ONFIcyntY4/unsubscribe?hl=en > . > To unsubscribe from this group and all its topics, 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?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
