Incompleteness in Quantified Conditional Logic
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908811518803968 |
|---|---|
| author | Kocurek, Alexander W. Walsh, James Weiss, Yale |
| author_facet | Kocurek, Alexander W. Walsh, James Weiss, Yale |
| contents | Stalnaker and Thomason famously proved that the conditional logic \textsf{C2} with first-order quantifiers is complete with respect to a selection function semantics. However, the selection functions used in this completeness result take formulas, rather than propositions (i.e., sets of worlds), as arguments. Yet Stalnaker has repeatedly emphasized the philosophical importance of viewing selection functions as functions on propositions, and many of the applications of his theory require this. Can their completeness result be extended to a selection function semantics in which the functions take propositions as arguments? We prove the answer is negative: Their logic is frame incomplete. Moreover, this result is invariant with respect to many choice points regarding the semantics, such as variable vs.~constant domains or whether to include an identity or existence predicate. We conclude by discussing some of the important and difficult questions for the philosophical and logical study of conditionals that our results raise. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_04073 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Incompleteness in Quantified Conditional Logic Kocurek, Alexander W. Walsh, James Weiss, Yale Logic Stalnaker and Thomason famously proved that the conditional logic \textsf{C2} with first-order quantifiers is complete with respect to a selection function semantics. However, the selection functions used in this completeness result take formulas, rather than propositions (i.e., sets of worlds), as arguments. Yet Stalnaker has repeatedly emphasized the philosophical importance of viewing selection functions as functions on propositions, and many of the applications of his theory require this. Can their completeness result be extended to a selection function semantics in which the functions take propositions as arguments? We prove the answer is negative: Their logic is frame incomplete. Moreover, this result is invariant with respect to many choice points regarding the semantics, such as variable vs.~constant domains or whether to include an identity or existence predicate. We conclude by discussing some of the important and difficult questions for the philosophical and logical study of conditionals that our results raise. |
| title | Incompleteness in Quantified Conditional Logic |
| topic | Logic |
| url | https://arxiv.org/abs/2602.04073 |