3 ms·
Lots of insanity here too. Like, “~(~(a)) = a” is no longer a correct rule (because when negated twice, z becomes x). But other than that it’s a cool system.
by AgentOrange1234 7y ago
Lots of insanity here too. Like, “~(~(a)) = a” is no longer a correct rule (because when negated twice, z becomes x). But other than that it’s a cool system.
- claudiawerner 7y agoThat's funny, reminds me of Engels' principle in Hegel's logic of the "negation of the negation".
- logicchains 7y agoYou might like https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal....