Open Research Index

Incompleteness in Quantified Conditional Logic

Alexander W. Kocurek, James Walsh, Yale Weiss

arXivarxiv/2602.04073Feb 3, 2026math.LOscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.04073
curl -X POST /api/v1/records/arxiv/2602.04073/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.04073/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'