Our aim is to illuminate the interconnected notions of meaning and truth. For this purpose, we investigate the relationship between meaning theories based on commonsensical ‘means that’ and interpretive truth theories. The latter are Tarski–Davidson-style truth theories serving as meaning theories. We consider analytically true semantic principles containing ‘means’ and ‘means that’ side to side with ‘denotes’, ‘satisfies’, and ‘true’, which constitute the extensional semantic constants of interpretive truth theories. We show that these semantic constants are definable in terms of (...) ‘means’ and ‘means that’ operators. The definitions themselves are semantic principles in the role of meaning postulates. We extend a meaning theory based on ‘means that’ by adjoining semantic principles to the axioms of the theory. Then, all axioms, hence all theorems, of a corresponding interpretive truth theory are provable in the extension of the meaning theory. Furthermore, every interpretive truth theory can be included in the extension of a corresponding meaning theory. Therefore, the extension of a meaning theory resulting from the adjunction of semantic principles constitutes a unified meaning-and-truth theory since it includes both a meaning theory and an interpretive truth theory. (shrink)

The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, namely, theories (...) of truth and ontological commitment. (shrink)