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


The SEP would like to congratulate the National Endowment for the Humanities on its 50th anniversary and express our indebtedness for the five generous grants it awarded our project from 1997 to 2007. Readers who have benefited from the SEP are encouraged to examine the NEH’s anniversary page and, if inspired to do so, send a testimonial to neh50@neh.gov.