Hacker News Reader

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.

View on HN

She's talking about paraconsistent logics.

http://en.wikipedia.org/wiki/Paraconsistent_logic

Feel better now?

I'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.

There'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.

Reply on news.ycombinator.com