3 ms·
It's not enough for a formalism to exhibit modus ponens to be a logic. It also needs to be consistent.
by mafribe 10y ago
It's not enough for a formalism to exhibit modus ponens to be a logic. It also needs to be consistent.
- dvt 10y agoThere are many paraconsistent logics out there[1]. There are also many "trivial" logics out there[1] (which exhibit the Principle of Explosion). The former are useful, the latter not so much. All them of them are logics. Consistency is not a requirement; it's simply a property a system may or may not have. [1] http://plato.stanford.edu/entries/logic-paraconsistent/ http://plato.stanford.edu/entries/logic-paraconsistent/
- mafribe 10y agoC++ and Java are not even paraconsistent: every type is inhabited.