Notre Dame Journal of Formal Logic

Who's Afraid of Impossible Worlds?

Edwin D. Mares

Abstract

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

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

Dates
First available in Project Euclid: 10 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1039540767

Digital Object Identifier
doi:10.1305/ndjfl/1039540767

Mathematical Reviews number (MathSciNet)
MR1648850

Zentralblatt MATH identifier
0916.03014

Subjects
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

Citation

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. https://projecteuclid.org/euclid.ndjfl/1039540767.


Export citation