3 ms·
I think this type of logic represents the feminist idea that something can be and not be without being a contradiction, that is a system where the following sta
by revelation 13y ago
I think this type of logic represents the feminist idea that something can be and not be without being a contradiction, that is a system where the following statement is not explosive: (p && ¬p) == 1.
Ohh, I understand this! It's like in quantum theory or chaos theory, you know, which is why homeopathy works.
- Morendil 13y agoShe's talking about paraconsistent logics. http://en.wikipedia.org/wiki/Paraconsistent_logic http://en.wikipedia.org/wiki/Paraconsistent_logic Feel better now?
- revelation 13y agoI've been feeling a bit under, but it's better now. Thanks for asking! I recognize you can define your logical axioms as you wish, just as you can mathematical systems. But the question is always going to be: how powerful is your system and what useful things can be derived from it? Judging from the Wikipedia article here, that logic excludes lots of useful things we have come to expect from (you know, useful) logics, starting first and foremost with Gödel's completeness theorem.
- aeorgnoieang 13y agoThere's nothing particularly under-powered about para-consistent logics; they're interesting really. But the idea of para-consistent logic somehow being 'feminist' is stupid.