We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Free Choice Impossibility Results.
- Authors
Goldstein, Simon
- Abstract
Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides a positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice.
- Subjects
SEMANTICS
- Publication
Journal of Philosophical Logic, 2020, Vol 49, Issue 2, p249
- ISSN
0022-3611
- Publication type
Article
- DOI
10.1007/s10992-019-09517-9