
Which feature characterizes a paraconsistent logic?
Medium
Create a free account to see more questions and build your own quiz.
Get StartedWhich feature characterizes a paraconsistent logic?
Options:
- It validates explosion (from A and ¬A infer any B) as in classical logic
- It tolerates some contradictions without collapsing into triviality, i.e., rejects explosion
- It disallows any true contradictions in its models
- It requires all connectives to be truth-functional
Correct answer: It tolerates some contradictions without collapsing into triviality, i.e., rejects explosion
Explanation: Paraconsistent logics reject the explosion principle so A and ¬A need not imply arbitrary B; mechanism: contradictions can exist without making every formula provable, a stance developed in the 20th century.
Created . Updated .