4

Trivialism is the view that every contradiction is true and accepts the principle of explosion of inconsistencies

Paraconsistency in turn is an attempt to study contradictions in a controlled way. Paraconsistency accepts some contradictions (but not all contradictions) and takes the principle of non-explosion (similarly to the principle of non contradiction of classical logics) to avoid trivialism

However, if paraconsistent logics "isolate" contradictions to avoid the principle of explosion to study them in a controlled manner, couldn't a paraconsistent system "isolate" a trivialist system to study it with control?

3
  • We might be generalizing over "how pcL deals with contradictions" to "how xL deals with trivializations," with x ranging over logics in general. That is, yes, some pcL could be designed with such concerns in mind, but so could non-pcL's. Commented Aug 25 at 9:20
  • Contradictions can be "isolated" because they are individual statements, trivialism only applies to all statements at once. What exactly are you proposing to "isolate"? If not all statements are both true and false then the system is not trivial. And if they are what is there to study?
    – Conifold
    Commented Aug 25 at 9:20
  • Under trivialism, all propositions are true, so there is nothing for logic to do and nothing to study.
    – Bumble
    Commented Aug 25 at 12:21

1 Answer 1

2

Zalta (AKA one of those who heads up the entire SEP project) has a recent paper in which he discusses such a question:

from Zalta's paper

I've decided to include screenshots of the part of the paper where Zalta develops the above. The paper is open-access anyway so I don't think I'm pulling a micro-SciHub kinda move, here.

sec 1 sec 2 sec 3 sec 4 endsec

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .