PhilArchive
open access
Disjunctions of Universal Modals and Conditionals
This paper is concerned with disjunctions of universal modals, such as ‘You have to clean your room or you have to walk the dog’, and disjunctions of conditionals, such as ‘If Alice dances, Charlie will dance, or if Bob dances, Charlie will dance’. We aim to provide a uniform account of their surprising behaviour. Our proposal combines three independently attested components. Firstly, disjunction's dynamic effect, familiar from presupposition projection: when we evaluate a disjunction ‘A or B’, we typically interpret B assuming the negation of A, and optionally, also interpret A assuming the negation of B. Secondly, the fact that disjunctions often receive a conjunctive interpretation, familiar from free choice phenomena. Thirdly, that modal bases are restricted to local contexts, what Mandelkern has called ‘bounded modality’.
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Vanilla Rules: the "No Ice Cream" Construction#87119
- Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality#746188
- Conditionals, Support and Connexivity#729188
- Probabilistic inferences from conjoined to iterated conditionals#765216
- Breaking de Morgan's law in counterfactual antecedents#710150
Record · ID 701339
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive