> On 4 Jul 2019, at 20:27, 'Brent Meeker' via Everything List > <[email protected]> wrote: > > > > On 7/4/2019 1:31 AM, Bruno Marchal wrote: >>> You may be able to access your subjective time, but does it provide a >>> measure...and if so what is it? >> We get three candidates for the logic of the measure one, given by the logic >> of the intensional variant of G ([]p): > > "The logic of measure one" is not a measure.
You are right. Yet, once you have some measure, you have a logic for the measure one. That is why you have a logic of probability, of quantum probability, of credibility etc. Then, in the way we can approach the mechanist physical measure problem, we get more easily the logic of the measure one, and that should be seen as a tool to derive the measure itself, which has to exist unless Mechanism is wrong. > A measure has to take different values. A measure that is just one or zero > is worthless. Nobody claims that the logic of measure one is a measure. Just a tool to derive the measure. Von Neumann and Birkhof made already that claim in their paper on quantum logic. > >> >> []p & p >> []p & <>t >> []p & <>t & p >> >> With “[]” = Gödel’s beweisbar, and p is any sigma_1 arithmetical sentences >> (it models the Universal dovetailing). >> >> If that logic verifies some technical condition (described by Von Neuman in >> some papers), the logic should provides the entire probability calculus, as >> it has to do if Mechanism is correct. > > "As it has to do if Mechanism is correct" is like Stalin saying the USSR is > most wonderful nation on Earth if communism is correct. It's not even an > argument for the logic providing the probability calculus. It's an assertion > of hope. Or or fear, whatever. Saying “if” is just intellectual honesty, and the whole point of Staline is that he never said “IF”. He just killed or deported those criticising communism. Like some materialist can attack any theory recalling the original doubt of the scientist about matter, not by saying “if matter exist …”, but acting like it was a non doubtable dogma. I say, and insist on the “IF Mechanism is true … “ only to avoid making it into a dogma. > >> >> G and G* splits both []p & <>t and []p & <>t & p. So we get 5 logics, but >> normally, only the starred logic should provides the measure, because it >> depends on the true structure made by the 1p experiences, and not the >> experienced experiences. > > ?? What about the unexperienced experiences? Do you mean the experiences of the others? Not sure what you mean. You might clarified. I guess the answer will be the first person plural modes, either []p & <>t or []p & <>t & p, perhaps. There is not just the horizontal separation between G and G*, but also the horizontal separation between the five modes. There are eight self modes or hypostases. , implied by incompleteness/Church-Turing thesis. > >> Our future depends non locally of all our existing “preparation” or >> “reconstitution” that exists in the (sigma_1) arithmetic (the universal >> dovetailer). >> >> Te fact that we get already quantum logics (classical and intuitionist) > > But you don't. ? > You don't even get probability measures. As I said, I got quantum logic, and yes, that is just an humble step toward the quantum calculus. Bruno > > Brent > >> is an invitation to proceed. As we get different quantum logics, it would be >> interesting and very informative to see which one fits with nature. > > > -- > 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 view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/592c52de-4cbc-1083-f22d-6d0077fcc712%40verizon.net > > <https://groups.google.com/d/msgid/everything-list/592c52de-4cbc-1083-f22d-6d0077fcc712%40verizon.net?utm_medium=email&utm_source=footer>. -- 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/4F51FCC3-9E34-4020-A38D-9B4DF019DDCB%40ulb.ac.be.
