Let us imagine a game played with pieces on a board, a logistical space for moving the pieces. What is on the board is true and certainly the present case. The pieces on the board and in the box beside the board contain all the pieces that can possibly be used, all the possibles and possibilities, such that if we see the pieces on the board and beside the board, we don’t know what pieces will be played but know all the pieces that could be played. A piece beside the board is false and dead, unless it gets onto the board, and then it is true and live in the game, and a piece on the board is false and dead if it is taken off the board. There are also things that are not in the game, the logical universe of discourse, the subject under discussion or consideration, and these are neither true nor false, as the are not in the cards, are not possibilities or pieces that can possibly enter the game or be negated to the side.
With this structure alone, we can exhaust all the connectives we use in formal Sentential Logic the way Wittgenstein envisioned it in his Tractatus and set it with truth tables. First, AND puts pieces on the board, including them together, but it could also, in combination with NOT, take sets of pieces off the board, adding them to the possibilities currently false rather than those currently true. NOT takes pieces off the board, or adds them if it is tied up with other NOTs. OR considers pieces, involved with whether or not pieces are moved on or off the board, completely indeterminate by itself, but determinate in combination with pieces added to or dropped from the board with ANDs and NOTs.
IF-THEN connects pieces possibly on the board together, such that one should lead to the other. Sluga argues that there are connections between things in the moment, such as speciation, with all men being mortal all at once or always, and connections between things over time, such as causation, with one thing leading to another. If the game changes with the possibilities over time, the first would be statements about the relationships between pieces at the same time, and the second different times. Bivalence, IF-AND-ONLY-IF, would simply state the relationship is reciprocal, working both ways, which would work with speciation and causation in a chicken-and-egg situation, where two things lead to each other circularly over time, again and again.