  might … hope to avoid [these paradoxes] by using a logical system in which ‘\(p\) if and only if not-\(p\)’ were a theorem for some interpretations of ‘\(p\)’ without our being able to infer thence any arbitrary statement…. (Geach 1955: 71)