• This forum is strictly intended to be used by members of the VS Battles wiki. Please only register if you have an autoconfirmed account there, as otherwise your registration will be rejected. If you have already registered once, do not do so again, and contact Antvasima if you encounter any problems.

    For instructions regarding the exact procedure to sign up to this forum, please click here.
  • We need Patreon donations for this forum to have all of its running costs financially secured.

    Community members who help us out will receive badges that give them several different benefits, including the removal of all advertisements in this forum, but donations from non-members are also extremely appreciated.

    Please click here for further information, or here to directly visit our Patreon donations page.
  • Please click here for information about a large petition to help children in need.

A Question About Logics and Type IV Multiverse

Messages
58
Reaction score
6
So, a Type IV multiverse is generally regarded as Low 1-A, but after some discussions and thinking, I found out these:

1. Classical logic (Governed by three laws of thoughts), paraconsistent logic, fuzzy logic and every consistent logical structures, no matter any order, are indeed considered as mathematical structures, even though they are completely unrelated to calculations of lesser states. This will mean that the Type IV multiverse does include all possible worlds and is actually High 1-A+ Type 2.

2. Mathematical structures includes every formal syntax structures that are consistent, not only sum, union or permutation of lesser states. The definition of 1-A is the definition of calculations, not mathematics, and syntaxes can be used to express hierarchies, not just calculations, like High 1-A > 1-A > Low 1-A.

3. All Paraconsistency (Four truth values) and Fuzziness (Infinite truth values) can be emulated into classical logic through faithful translations.
 
keep this in mind, modal realism governed by three laws of thoughts and all possible mathematical logics are in cases also considered part of type 4 multiverse, BUT this wiki doesn't assume that. thats all there is to it, if in fiction its blatently stated these things exist inside their type 4 multiverse, it will scale to high 1-A. but the sheer notion of just being a type 4 multiverse won't inherently assume that these classical logics exist by default.

in this wiki mathematics extentions for scaling caps with all inaccessible cardinals amount of dimensions which is encompasseded under the umbrella of Low 1-A.
 
Last edited:
Doesn't tegmark himself say that a type 4 multiverse is only a single logical possibility?
a single logical possibility that includes all mathematical posibility, what i gather from OP statements is, three laws of thoughts and this logic stuff thats in high 1-A is also part of 'broader mathematics' so type 4 multiverse should therefor scale to high 1-A as well. but the wiki itself doesn't treat it like that. A type 4 does infact consider modal realism shinanigans which are high 1-A territory as far i can recall.
 
Back
Top