I feel a lot less Platonist about Agora's formal space right now. >I also don't think the Principle of Explosion applies because DISMISS is an option.
Once two contradictory CFJs are found, why go back to DISMISS it? Either: 1) The Principle of Explosion actually works and its an attempt to patch it. In which case, it works anyway and you got god powers. How would trying to go back and change it help? 2) The Principle of Explosion actually doesn't work. In which case, there wouldn't be anything that actually merits a DISMISS in the first place, so DISMISSING would be inappropriate, because there would be no actual target. (Or do you mean DISMISSING a very obvious attempt to bait two contradictory CFJs? Yeah, those cases would be easy to detect, I admit, but I don't see how they could be DISMISSED. I meant more like contradictory CFJs created by oversight which people don't notice and have gotten the TRUE/FALSE stamps already a while ago)