Books on Amazon
|Horwich I 323
propositional quantification/Camp/Grover/Belnap/CGB: problem: because "T" is a predicate (if it is read "is true") and then "Tp" is a sentence, must "p" be a term of the language, that means, it must occupy a nominal position. That means that the quantifiers bind individual variables (of a certain type), and not variables via rates.
Problem: these are no longer the Ramsey variables, the ones that bind variables that occupy sentence positions - Sellars: right: relative pronouns can represent formulas with bound individual variables but not with propositional variables, because they have sentence position. - Solution: we need cross-reference - cross-reference / c.r .: is made of a variable. - This must be able to occupy the sentence position. -> Pronoun -> "Pro-verb": E.g. "do".
"Generic"/Camp, Grover, Belnap/CGB/(s): here: dependent on the antecedent.
"Thatt"/CGB: not a new term - only new grammar: E.g. Mary: "It is hot" - John: "thatt". - No new feature ascribing predicates.
English * (with asterisk): without T-predicate, but with Pro-sentence "It is true". - "Is" cannot be modified (time, etc.), because the Pro sentence cannot be broken. - Solution. E.g. "It-is-going-to-be- true" etc. hyphen: shows that the T-predicate in English* cannot be isolated - Pointe: English can be translated into English* without sacrifices - that is enlightening.
|Grover, D. L.
Gro I D. Grover A Prosentential Theory of Thruth Princeton New Jersey 1992
D.L.Grover, J.L.Kamp, N.D. Belnap
Philosophical Studies 27 (1) 73 – 125 (1975)
See external reference in the individual contributions.
P. Horwich (Ed.)
Theories of Truth Aldershot 1994