Alexander Pruss's Blog

For this post, suppose that an A-theory of time is true, so there is an absolute present. If we think of possible worlds as fully encoding h...

Molinists have the ability to give a distinctive pre-established harmony account of how the exceptionless truth of deterministic laws of nat...

Assume open futurism, so that, necessarily, undetermined future tensed “will” statements are either all false or all lack truth value. Then ...

Suppose that: We cannot make sense of impossible worlds, but only of possible ones, so the only worlds there are are possible ones. Neces...

The literature contains a number of examples of a modal claim that can be made with possible worlds language but not in box-diamond language...

Here’s a curious tale about sets and possible worlds: What sets there are varies between metaphysically possible worlds and for any possible...

I am exploring what seem to me to be under-explored parts of the logical space of interpretations of Quantum Mechanics. I may be wasting my ...

For every initial ordinal k , there is a possible world with exactly k photons. But there is no set of all initial ordinals (proof: suppos...

All the main puzzles that follow from the Axiom of Choice (AC)--nonmeasurable sets, Banach-Taski and guessing future coin tosses--need only ...

According to David Lewis's modal realism, every possible world exists as a concrete universe, and a proposition is possible pr...

The kind of fantasy and science fiction that I like describes a possible world as it were from the inside (i.e., the sentences ar...

My Actuality, Possibility and Worlds book has now been released , in both hardcover and paperback. There is a table of contents and index ...

Shame-free self-promotion: I was looking on Amazon, and it looks like my Principle of Sufficient Reason book is now available in paperback ...

The book manuscript is all finished, submitted, and is about to move into production at Continuum.  Some of the material in the book was wri...

Suppose: W is a set of possible worlds (or maybe situations?) L is a first-order language suitable for talking about what is go...

It is not so easy to state a clear distinction between the A- and B-theories of time. One says things like: "According to the A-theory...