The Grice Club

Welcome

The Grice Club

The club for all those whose members have no (other) club.

Is Grice the greatest philosopher that ever lived?

Search This Blog

Tuesday, July 6, 2010

Elimination of \/ via ⊢

If

(1) ψ[n-m], Phi1, ... phij ⊢ z,

(2)Khi[n-l], phi2, ... phik ⊢ z,

(3) phi3, ... phi2 ⊢ psi \/n khi,

---

phi1, ..., phij, phi2, ... phik, phi3, ... phi2 ⊢ z


--- Grice, p. 126, in Davidson/Hintikka.

No comments:

Post a Comment