I apply the notions of alethic reference introduced in previous work in the construction of several classical semantic truth theories. Furthermore, I provide proof-theoretic versions of those notions and use them to formulate axiomatic disquotational truth systems over classical logic. Some of these systems are shown to be sound, proof-theoretically strong, and compare well to the most renowned systems in the literature.
机构:
Washington Univ, Dept Philosophy, Campus Box 1073,1 Brookings Dr, St Louis, MO 63130 USAWashington Univ, Dept Philosophy, Campus Box 1073,1 Brookings Dr, St Louis, MO 63130 USA