Spandrels of Truth

摘要

[...] his semantics gives a non-extensional treatment of negation such that, apart from the formalism, it is not entirely clear what negation even means.