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)
The GC script's so subbed it can't be seen, JL! You've disappeared the discussion!
ReplyDeleteThat 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)
Yes, will have a look at that! It kant be so small!
ReplyDelete