Books on Amazon
|Horwich I 356
T-predicate / Generalization / Semantic Ascent / Quine (1970): the T-predicate is nto needed, to generalize e.g. "Dick is mortal," "Tom s ...", ((s) that goes with "x ") but for the generalization of "Tom is mortal or not mortal." ((s) If "a or b" is true, then a is true or b is true or both., where "a" stands for a whole sentence and not "x" for an individual). - Camp/Grover/Belnap/CVGBVsQuine: without quantification over sentences, where a characteristic (truth) is attributed. (BelnapVsQuine, GroverVsQuine, CampVsQuine)
|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