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

Introduction of \/ via ⊢

φ[n-m]

a. ⊢ φ \/ ψ[n-l]

b. ⊢ ψ[n-l] \/ φ

2 comments:

  1. The GC script's so subbed it can't be seen, JL! You've disappeared the discussion!


    That said, Grice just seems to be defining domains, with bound variables (then, a quantifier binds the variables, right)--not so ord. lang. here. Not all the logic types use the subscripts (subformulas, etc as Boolos says). There are other ways to do it (Tarski's semantic job, |=). Depends on what you're discussing--. This system--really a sophisticated clerical routine, like most predicate logic--might apply for databases. What about say ...proving global warming? just a file system, usually (tho' with certain..entailments)

    ReplyDelete
  2. Yes, will have a look at that! It kant be so small!

    ReplyDelete