Closely connected to the notion of *abstraction*, I love the way that logical concepts are *multiply realisable*. An abstract structure can be instantiated in different ways, and often in ways completely unforeseen when the original abstraction was made.

The twin moves of abstraction (moving from the particular to the general) and concretisation (going back from the general to the particular—perhaps to a new and *different* particular) in different domains brings different insights, different models, and new connections. These new connections often bring fresh insight.

For example, the simple notion of a *Boolean algebra* can be instantiated as a power set algebra (think of the subsets of a set and the operations of union, intersection and complementation). But this simple idea of a power set Boolean algebra can then be understood in different domains of application: you can think of the underlying set as a domain of *objects* and the subsets are extensions of different predicates. Or you can think of them as a set of possible worlds, and the subsets are propositions. And so on. Shifting from one representation to another is often conceptually fruitful when thinking about these different domains, or thinking about the ways that the formal techniques are applied. And you can answer questions about anything that counts as a Boolean algebra in one go. Here’s how the Hungarian recursion theorist Rózsa Péter put it:

But more than that, once you’ve studied Boolean algebras for a while you learn that not all Boolean algebras are (isomorphic to) power set algebras. Given a domain of objects, you can get a Boolean algebra out of less than the collection of *all* of the subsets of the underlying set of objects.

Here’s an example: take an infinite set *D*, and think of the finite subsets of *D* — those with finitely many members — together with the co-finite subsets of *D* — those which contain all of the elements of *D* *except* for finitely many members. (In the case of the natural numbers, the sets {0,1,2} and all of the numbers *other than* {1,2,3} would be fine, but the set of even numbers doesn’t count, because it contains infinitely many members and excludes infinitely many members too.) Then these sets, the finite and co-finite subsets of *D* form a Boolean algebra. (The union, intersection or complement of finite and co-finite sets is itself finite or co-finite.)

Once you see this, you see that there’s nothing in the idea of a Boolean algebra that means that the structure of truth values, or extensions of predicates, or propositions, *must* look like a power set Boolean algebra. Maybe it does, but maybe it doesn’t.

The move from the particular to the general and back not only allows us to transfer insights from one domain to another, it also means that we can gain insight into unconsidered possibilities, and different ways our concepts can be realised.

*Multiple realisability* is the third of twelve things that I love about philosophical logic.