Appendix 2 Valid and Invalid Inference Rules for Counterfactuals
Valid | Invalid |
---|---|
ϕ ![]() ![]() ![]() | ϕ □→ χ, χ ![]() ![]() |
ϕ ![]() ![]() | □[ϕ ⊃ χ], χ ![]() ![]() |
ϕ ![]() ![]() ![]() | ϕ ![]() ![]() |
□[ϕ ≡ χ], χ ![]() ![]() | |
ϕ ![]() ![]() ![]() ![]() | |
χ ![]() ![]() ![]() | |
χ ![]() ![]() ![]() | |
□[ϕ ⊃ ψ] ⊨ ϕ ![]() |
(Further valid and invalid inference rules involving counterfactuals can be found in Lewis Reference Lewis1973b: 31–36 and Reference Lewis1973c.)