Notre Dame Journal of Formal Logic

Who's Afraid of Impossible Worlds?

Edwin D. Mares


A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.

Article information

Notre Dame J. Formal Logic Volume 38, Number 4 (1997), 516-526.

First available in Project Euclid: 10 December 2002

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}
Secondary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03B53: Paraconsistent logics


Mares, Edwin D. Who's Afraid of Impossible Worlds?. Notre Dame J. Formal Logic 38 (1997), no. 4, 516--526. doi:10.1305/ndjfl/1039540767.

Export citation