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:

The writing down of a formula is an expression of our joy that we can answer all these questions by means of one argument.

— Rózsa Péter

Playing with Infinity

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.

← Abstraction (the second of twelve things I love about philosophical logic) | News Archive | Interdisciplinarity (the fourth of twelve things I love about philosophical logic) →

I’m *Greg Restall*, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ From August 2021, I will be the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is *in any way* endorsed by the University of Melbourne.

- School of Historical and Philosophical Studies, The University of Melbourne, Parkville 3010, Australia.
- greg@consequently.org
- keybase.io/consequently, to sign or encrypt a message to send to me privately.
- @consequently on Twitter.
- @consequently on Instagram.
- @consequently on GitHub.

To receive updates from this site, you can subscribe to the RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at @consequently, where I’ll update you if anything is posted.