Timeline for What is the impact of paraconsistency on Gödel's theorem?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 23, 2013 at 5:11 | comment | added | Dennis | @MoziburUllah roughly, paraconsistent just means that the theory rejects ex falso quodlibet and doesn't allow contradictions to "explode". Dialetheists accept true contradictions and typically go paraconsistent so as to not trivialize their theory. Inconsistency is simply the result of a theory containing a contadiction, but does not presume paraconsistency or dialetheism. | |
| Jun 23, 2013 at 1:50 | comment | added | Mozibur Ullah | +1: nice answer, it clarified a few things for me. I'm not conceptually clear really about the differences between dialethism, paraconsistency and inconsistency. Its probably worth another question... | |
| Jun 23, 2013 at 1:35 | vote | accept | Mozibur Ullah | ||
| Jun 22, 2013 at 22:16 | history | answered | Dennis | CC BY-SA 3.0 |