Sequence and Consequence
Pith reviewed 2026-05-23 08:00 UTC · model grok-4.3
The pith
The logic of omega-sequence semantics for conditionals is Stalnaker's C2 plus Flattening and Sequentiality, while ordinal sequences require only Flattening.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Omega-sequence semantics validates exactly the theorems of C2 together with Flattening and Sequentiality, while the logic of arbitrary ordinal-sequence semantics is exactly C2 plus Flattening; Sequentiality is not valid on the generalized semantics.
What carries the argument
Omega-sequence semantics, in which 'If p then q' holds at a sequence just in case q holds at the first tail where p holds.
If this is right
- Any conditional logic that validates omega-sequence semantics must include both Flattening and Sequentiality.
- The transfinite generalization validates all instances of Flattening but none of Sequentiality.
- Sequence semantics is not supported by van Fraassen's original probabilistic argument.
- Further restrictions of ordinal sequences produce logics intermediate between C2 and C2 plus Flattening.
Where Pith is reading between the lines
- Flattening may be the only new principle worth retaining from the sequence approach.
- The choice between omega-sequences and ordinal sequences turns on whether Sequentiality is accepted as a principle of conditional logic.
- The negative result on probabilistic motivation suggests sequence semantics should be assessed on its own logical merits rather than as a probabilistic tool.
Load-bearing premise
That the omega-sequence definition correctly captures the intended truth conditions for conditionals.
What would settle it
A concrete counter-model or counterexample showing that Sequentiality fails for some instance of the conditional under the intended reading of the sequences.
read the original abstract
In the course of proving a tenability result about the probabilities of conditionals, van Fraassen (1976) introduced a semantics for conditionals based on omega-sequences of worlds, which amounts to a particularly simple special case of ordering semantics for conditionals. On that semantics, 'If p, then q' is true at an omega-sequence just in case q is true at the first tail of the sequence where p is true (if such a tail exists). This approach has become increasingly popular in recent years. However, its logic has never been explored. We axiomatize the logic of omega-sequence semantics, showing that it is the result of adding two new axioms to Stalnaker's logic C2: one, Flattening, which is prima facie attractive, and, and a second, Sequentiality, which is complex and difficult to assess, but, we argue, likely invalid. But we also show that when sequence semantics is generalized from omega-sequences to arbitrary (transfinite) ordinal sequences, the result is a more attractive logic that adds only Flattening to C2. We also explore the logics of a few other interesting restrictions of ordinal sequence semantics. Finally, we address the question of whether sequence semantics is motivated by probabilistic considerations, answering, pace van Fraassen, in the negative.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to axiomatize the logic of omega-sequence semantics for conditionals (introduced by van Fraassen) as Stalnaker's C2 plus two new axioms, Flattening and Sequentiality, with the latter argued to be likely invalid; it further claims that generalizing to arbitrary ordinal sequences yields only C2 + Flattening, explores logics of other restrictions of ordinal sequence semantics, and argues against a probabilistic motivation for sequence semantics.
Significance. If the axiomatization and completeness results hold, the work would provide the first explicit logical characterization of sequence semantics, a semantics that has seen increasing use in conditional logic. The distinction drawn between the omega-sequence case (requiring Sequentiality) and the transfinite ordinal case (requiring only Flattening), together with the negative assessment of probabilistic motivation, could clarify the status of this approach relative to C2 and influence its application in the field.
major comments (1)
- The abstract asserts both the axiomatization result (C2 + Flattening + Sequentiality for omega-sequences; C2 + Flattening for ordinal sequences) and completeness for the semantics, but the provided text contains no derivations, counter-models, or detailed argument establishing that Sequentiality is invalid or that the added axioms are complete; without these, the central claims cannot be assessed for soundness.
Simulated Author's Rebuttal
We thank the referee for their careful summary of the paper and for highlighting the need for explicit support of the central claims. We address the major comment below.
read point-by-point responses
-
Referee: The abstract asserts both the axiomatization result (C2 + Flattening + Sequentiality for omega-sequences; C2 + Flattening for ordinal sequences) and completeness for the semantics, but the provided text contains no derivations, counter-models, or detailed argument establishing that Sequentiality is invalid or that the added axioms are complete; without these, the central claims cannot be assessed for soundness.
Authors: The full manuscript (available on arXiv:2411.16994) contains the required derivations, completeness proofs, counter-models for Sequentiality, and supporting arguments. The abstract is a summary only; the body develops the axiomatization of omega-sequence semantics as C2 + Flattening + Sequentiality (with a counter-model showing Sequentiality is not valid in general), the reduction to C2 + Flattening for arbitrary ordinal sequences, and the exploration of other restrictions. We suspect the version reviewed may have been limited to the abstract or an early draft without the technical sections. No revision to the manuscript is required on this point, as the details are already present. revision: no
Circularity Check
No significant circularity detected
full rationale
Only the abstract is available, which states that the logic of omega-sequence semantics is C2 plus Flattening and Sequentiality (with completeness claimed for that semantics) and that the transfinite generalization yields C2 plus Flattening. No equations, semantic definitions, or derivation steps are supplied that could be inspected for reduction by construction, self-definition, fitted inputs renamed as predictions, or load-bearing self-citation chains. The axiomatization is presented as a derived result rather than presupposed, and the work is self-contained relative to the external reference logic C2 without invoking the enumerated circular patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Stalnaker's logic C2
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.