Self-reference stepper

Each example is one diagram. The boxes show what the sentences say. The small T and F ports on each box stand for “this sentence is true” and “this sentence is false”, and the magenta arrows say what each of those would force. Pick a port and follow the arrows to play out the reasoning.

Tap a T or F port to choose what to assume.

T port: this sentence is true F port: this sentence is false Magenta arrow: “if this, then that” Red dashed: negation enclosure Thick blue: level-crossing reference Grey panel: the world; a crossed-out port is closed or ruled out Red loop on a red patch: paradox Green dashed loop: self-supporting Filled dot: both · hollow ring: one of · circled numbers: which part