This is a part of what I said earlier. Think of this with Bayesian statistics with P(A∩B ) = p(A|B)p(B) = p(B|A)p(A). With an excluded middle with A∩B = Ø we can only conclude that p(A|B) = p(B|A) = 0 and so these correspond to situation with absolutely zero prior or posterior probabilities. So if some state of affairs is contradictory, then they have zero probability. In quantum logic we can think of this according to destructive interference, so there are physical states that cannot exist by destructive interference.
LC On Friday, November 27, 2020 at 4:14:05 AM UTC-6 Bruno Marchal wrote: > > On 26 Nov 2020, at 18:57, Mindey I. <[email protected]> wrote: > > Curiously, I found the Everything List, because I wanted to to create a "A > Universe Where Everything Can Exist" ( https://mindey.com/world.pdf ), > which the Google search of 2007 returned me to my search query "How to > create a universe, where everything can exist?” > > > What do you mean? > > In such a universe there would be circle with four sides? > > The word" thing” needs a presentation or representation in some theory of > “thing". > > I urge people to study a bit of mathematical logic which explains all this. > > > > So, suppose that we create a universe, where everything exists, -- would > that universe be a superset of all possible universes, or, just the same > set? > > > > ”everything” is too much ambiguous without a theory of the things which > are assumed. > > All notions of whole, are limited when made precise enough, or are > inconsistent. The term “universe” is as bad as the term “god” when used out > of an hypothetical frame. > > Today, we can approximate string notion of everything is classical set > theory, but like in arithmetic, you will always miss the big whole. The > collection of all set cannot be a set. The number of numbers cannot be a > number, the whole physical reality cannot be a physical object … Now, this > can be doubted if you use a special set theory allowing universal object, > like Quine's New Foundation, but this does not prevent other type of > limitations. > > Bruno > > > > > -- > 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/6f78bf49-bc21-41fa-8934-77a60f8f455en%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/6f78bf49-bc21-41fa-8934-77a60f8f455en%40googlegroups.com?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/4ec78c54-3c22-49b0-9094-ea2c3324d7fdn%40googlegroups.com.
