Le 10 mai 2015 23:30, "meekerdb" <[email protected]> a écrit : > > On 5/10/2015 12:38 PM, Quentin Anciaux wrote: >> >> >> Le 10 mai 2015 19:38, "meekerdb" <[email protected]> a écrit : >> > >> > On 5/10/2015 12:54 AM, Quentin Anciaux wrote: >> >> >> >> >> >> Le 10 mai 2015 04:41, "LizR" <[email protected]> a écrit : >> >> > >> >> > On 10 May 2015 at 12:08, John Clark <[email protected]> wrote: >> >> >> >> >> >> On Sat, May 9, 2015 Russell Standish <[email protected]> wrote: >> >> >> >> >> >>> >> >> >>> > including abstract systems. It is an abstract concept after all. >> >> >> >> >> >> >> >> >> No it is not! Computation is a physical process just like any other that uses energy, takes time, and creates entropy. >> >> >> >> >> > Well this is the so-called Aristotle-Plato thing again, isn't it? Since computation is allegedly implied by number theory, claiming it isn't an abstract process is the same as denying the objective existence to number theory (or, in an nutshell, denying that 2+2=4 independently of anyone knowing that it does). >> >> > >> >> > To prove your point you need to explain why maths is so "unreasonably effective in the physical sciences", something I've long been hoping someone will do so I can stop wasting time worrying about whether I may be just a bunch of equations. >> >> >> >> And also, if physics is primary, then logic is contingent. How is it that our world is meaningful and we can make deductive argument about it? Why physics does respect logic >> > >> > >> > It doesn't. >> >> So physics is not bound to logic but a god must be? > > > It's not physics(=the physical world) that's bound, it's what we say about physics(=theories of the physical world). Logic is a restriction on assertions, i.e. the use of conjunctions, disjunctions, negation, quantifiers, modes,... > >> How deductive arguments could make sense if deduction itself is created? > > > We created language, and we discovered that if we didn't follow certain rules we could make bad inferences.
And how are you sure of this ? If we or the physical reality invented the rules, how can we be bound to it ? Why is the physical real respects the rule of non contradiction? So we invented logic...actually we invented many different logics as we tried to codify things so that we wouldn't get crazy results like "X and not-X". > > Brent > > >> Quentin >> You must not have followed the development quantum mechanics. It's logic that has to respect physics. >> > >> > 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 [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. >> >> -- >> 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. > > > -- > 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. -- 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.
