Open Research Index

Stalnaker's logical problem of conditionals is unsolvable

Alexander W. Kocurek, James Walsh, Yale Weiss

arXivarxiv/2608.07387Aug 7, 2026math.LOscore 0

The logical problem of conditionals, as conceived by Stalnaker, amounts to axiomatizing a particular semantics for conditionals which utilizes selection functions that take propositions (i.e., sets of worlds) as arguments. While the sentential form of this semantics is recursively axiomatizable, we prove that its enrichment with first-order quantifiers is not---that is, we show that Stalnaker's logical problem of conditionals is unsolvable in the language with first-order quantifiers. We demonstrate this by showing how to interpret arithmetic in the logic. In the conclusion, we discuss the…

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