On Wednesday, May 15, 2019 at 11:06:59 AM UTC-5, Bruno Marchal wrote: > > > On 14 May 2019, at 00:11, Philip Thrift <[email protected] <javascript:>> > wrote: > > in which we can interpret the proposition. “2+2=4” is true if it is the > case that 2 + 2 = 4. > > > Semantics is a big deal in programming language theory. > https://en.wikipedia.org/wiki/Semantics_(computer_science) > > > Yes, and that is inherited by mathematical logic, which study mainly the > relation w-between theories and their model (model means semantical > structure, in logic). > > > > Is there a calculus of experience, and a semantics of experiences (qualia)? > > > > Yes, with Mechanism, it is given by precise mathematical theories (S4Grz1, > Z1*, X1*). The proper non communicable parts are given by Z1* \ Z1, X1* \ > X1. Note that S4Grz1* = S4Grz1 (the soul agree with God about the soul). > > > That's the scientific question. > > > Yes. > > Bruno > > *There is a hidden code of nature—the code written into its fabric. Our > theories—our hypothetical code—are our evolving best-guess translations of > the code of nature, which remains hidden from our knowledge—within > nature-in-itself.* > > @philipthrift > >
On truth statements, they are only as true as the genre of fiction they are written in allow them to be. (which is basically what Rorty says about "truth" [ https://www.youtube.com/watch?v=CzynRPP9XkY ]) Mathematical logic is to programming language theory as pure mathematics is to applied mathematics. Your experience calculus looks like (as I mentioned before) of the type the MIRI/CSAIL Lob research group does: Lob's theorem in Friendly AI https://www.youtube.com/watch?v=OMi1KkKCVCg An Introduction to Lob’s Theorem in MIRI Research http://intelligence.org/files/lob-notes-IAFF.pdf @philipthrift -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/45c6b5a2-c2b5-4965-bfff-226f8220b57b%40googlegroups.com.
