The barcan formula in metaphysics

Abstract

The Barcan formula (BF) is widely considered a threat to actualism. I show how BF can be cleared of such a charge by construing it as a bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters.