Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [paraconsistency]

The tag has no usage guidance.

1
vote
0answers
45 views

Does Tegmark himself include paraconsistent mathematical structures in his mathematical multiverse hypothesis?

Tegmark postulates in his hypothesis that all possible mathematical structures would exist. But does he include also possible mathematical structures described by other types of logic like ...
4
votes
0answers
74 views

Are there “partially explosive” logics?

Roughly speaking, I'm wondering if it's possible to meaningfully grade different systems on how explosion-tolerant they are. In classical sentential logic and intuitionistic sentential logic, a ...
8
votes
2answers
274 views

Does Tegmark's Mathematical Universe hypothesis allow existence of alternative mathematics?

Tegmark's mathematical multiverse hypothesis assumes that all mathematical structures exist as universes But do you know whether his hypothesis also allows/accept universes described by other types ...
2
votes
10answers
217 views

How could we get a world where only impossible things happen? [closed]

Imagine a universe where 1+1=3. This contradiction would trigger the effects of the principle of explosion, and thus, literally everything (possible and impossible things) could happen. If we lived in ...
1
vote
0answers
58 views

What paraconsistent logics are there?

Is there a non-dialetheist paraconsistent logic in which invalidating the law of non contradiction (someone is both stupid and not stupid and short ∃x(STUPID(x) ∧ ¬STUPID(x) ∧ SHORT(x))) in any ...
4
votes
1answer
135 views

What types of inconsistency are there that we know of?

Just trying to verify consistency of a system, I need to have a list types of inconsistency to look out for, so far I have the followings: 1.Anachronistic inconsistency (e.g. trying to read a file ...
6
votes
1answer
261 views

Is Belnap's four-valued logic technically a relevance logic?

Belnap, the American Logician, constructed a four-valued logic which is a form of relavance logic; interestingly the truth-values it takes are: true false both true & false neither ...
10
votes
1answer
235 views

Is there a sheaf-theoretic description of para-consistent logics?

Paraconsistent logics drop the notion of global consistency, instead they have a notion of local consistency. In sheaf-theory, or categorical logic, as in topos theory, there is a notion of local ...