Supplement to Defeasible Reasoning

David Lewis's Conditional Logic

This is Donald Nute's axiom system (Nute 1984, 396-399) for David K. Lewis's preferred logic for the counterfactual conditional, VC (Lewis 1973, 132):

Rules:

  1. Modus ponens.
  2. Deduction within the consequent of conditionals: if χ1…χn logically entails ψ, then the conditionals (φ ⇒ χ1)…(φ ⇒ χn) logically entail (φ ⇒ ψ).
  3. Interchange of logical equivalents.

Axioms:

  1. All truth-functional tautologies.
  2. ID: (φ ⇒ φ)
  3. MOD: (¬φ ⇒ φ) → (ψ ⇒ φ)
  4. CSO: [(φ ⇒ ψ) & (ψ ⇒ φ)] → [(φ ⇒ χ) ↔ (ψ ⇒ χ)]
  5. CV: (φ ⇒ ψ) → [((φ & χ) ⇒ ψ) ∨ (φ ⇒ ¬χ)]
  6. MP: (φ ⇒ ψ) → (φ → ψ)
  7. CS: (φ & ψ) → (φ ⇒ ψ)

The last two axioms, MP and CS, correspond to weak and strong centering, respectively (in effect, the stipulation that the actual world is one of the most, or uniquely the most, normal of all worlds). For nonmonotonic logic, these conditions, and these two axioms, must be dropped. The fifth axiom, CV, is the object-language correlate of Rational Monotony.

Copyright © 2013 by
Robert Koons <koons@mail.utexas.edu>

Open access to the SEP is made possible by a world-wide funding initiative.
Please Read How You Can Help Keep the Encyclopedia Free