Theoretical analysis demonstrates an infinite descending chain between Stalnaker and Lewis systems in conditional logic, highlighting new gradations of conditional excluded middle.
I present an infinitely descending chain of normal conditional logics contained in Stalnaker's system VCS (= C2) and show that the intersection of these is Lewis's system VC (= C1). Each system is characterized by a certain generalization of conditional excluded middle. Some philosophical morals are drawn in connection with the family.
No takes yet. Share an insight, caveat, or question.
Yale Weiss (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: