 In Hintikka’s (1973) game-theoretical semantics, negation is modeled by a role-switch between two players in a semantic game (cf. the entry on  logic and games).  A geometrical intuition of negation as inversion can be found in a paper by Ramsey, who suggested that