Abstract
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.
Similar content being viewed by others
Notes
We use ‘sentence’, unless otherwise specified, exclusively in the sense of ‘declarative closed sentence’. On the other hand, we shall use the phrase ‘(closed or open) sentence’ in place of the more usual term ‘formula’.
We deal exclusively with languages free of paradoxical or pathological sentences such as the Liar.
Concerning expressions-in-a-context and, especially, sentences-in-a-context: (i) Frege writes that “the time of utterance [of a time dependent sentence type] is part of the expression of the thought (Gedankenausdruck) (See Frege (1918/1997, p. 322). (ii) Kripke represents Frege’s expression of a thought by an ordered pair of a sentence type and a time (Kripke, 2008, p. 201 and p. 203 n.61). (iii) Kaplan calls “the combination of an expression [type] and a context” an occurrence [of the expression in the context]”. See Kaplan (1989, p. 524 and p. 547).
We adopt the symbol ‘Q’ from Grover (1973, p. 101 and 1992, p. 235) and the term ‘quotation-functor’ from Tarski (1956, p. 161). Most often the quotation functor is expressed merely by a pair of quotation marks rather than by a prefix such as ‘Q.’ For example, see Tarski (1956, pp. 160–1), Curry (1963, pp. 42–3), and Belnap and Grover (1973, p. 19).
We adopt the term ‘quotatum’ (as used in the sense of quoted expression) from Saka (2013, p. 940).
We adopt the term ‘meaning specification’ from Davies (1981, p. 3).
We adopt the term ‘M-form sentence’ from Ray (2014, p. 83 n. 8).
This test has been introduced by Langford in the following way: “A word that is being used is to be translated, while a word that is talked about [i.e. mentioned] must not be” (Langford, 1937, p. 53).
Our use—at least in the present context—of the notion of invariance under translation seems to be unaffected by Davidson’s indeterminacy of translation. Indeed, Davidson himself remarks that “[i]n determinacy of meaning or translation does not represent a failure to capture significant distinctions.” It marks the fact that certain apparent distinctions are not significant” (Davidson, 1974, p. 322). Moreover, Church remarks that “[t]he existence of more than one language is not usually required as fundamental ground of the conclusion …” (Church, 1954, p. 72, n. 21).
We adopt the term ‘M-sentence’ from Lepore and Ludwig (2005, p. 42).
Cf. Church’s remark that “an item of factual information” is contained in the fact “that ‘man is a rational animal’ means in English that man is a rational animal” (Church, 1949, p. 98).
We use ‘proposition’ with a lower-case ‘p’ as the meaning of a sentence where meaning is construed as an entity. On the other hand, we shall use ‘Proposition’ with a capital ‘P’ in the sense of an asserted sentence in accordance with mathematicians’ usage.
We agree here with Davidson who remarks that: “[p]aradoxically, the one thing meanings [as entities] do not seem to do is oil the wheels of a theory of meaning [which] non-trivially give[s] the meaning of every sentence in the language” (Davidson, 1967/2001, pp. 20–1).
Cf. Grice’s following remark:
It remains to inquire whether there is any reasonable alternative program for the problems about meaning other than of the provision of a reductive analysis of the concept of meaning. The only alternative which I can think of would be that of treating “meaning” as a theoretical concept (Grice (1987/1989, pp. 358–9).
Kripke (1982, esp. pp. 13-14, 77–79).
Cf. Boghossian who formulates and critically discusses the thesis that “judgments about meaning are factual, irreducible, and judgment-independent” (Boghossian, 2002, pp. 185–7).
Davidson’s radical interpretation, or cognitive science in general, may constitute a procedure for testing M-form sentences.
For example, Carnap writes “S1 contains descriptive constants (that is nonlogical constants) …” See Carnap (1947, p. 3).
Carnap characterizes the relationship of the meaning postulates to the non-logical constants (hence the semantic constants too) as follows: The [semanticists] are free to choose their [meaning] postulates, guided not by their beliefs concerning facts of the world but by their intention with respect to the meanings, i.e. the ways of use of the [semantic] constants (Carnap, 1952, p. 66 and p. 69 (6)).
Given the distinction between meaning specifications and translation rules (pointed out in sec. 0.6) we abstain from including the translational tradition in our Historical Background.
We will critically evaluate Ray’s theory in sec. 8.3. below.
Indeed Lepore and Ludwig characterize the theorems of a truth theory meeting Convention T as follows:
If we know that a sentence of the form (T) [i.e. σ is T iff p] is one of these theorems, then we can replace ‘is T iff’ with ‘means that’ to yield a true M-sentence(Lepore and Ludwig, 2007, p. 28).
Davies (1981) constructs a meaning theory for a language with sentential connectives (pp. 41–44), for a subject-predicate language (pp. 93–94), and for a quantificational language with substitutional quantifiers (pp. 122–123).
See the definition of ‘interpretational’ in Davies (1981, p. 34).
This definition is a simplified version of Grice and Strawson’s following definition: “Two sentences are synonymous if and only if any true answer to the question “What does it mean?” asked of one of them is a true answer to the same question, asked of the others” (Grice and Strawson, 1956/1989, p. 201).
This definition is a simplified version of Soames’ following definition: “two expressions are synonymous when the answer to … the question ‘What does it mean?’… is the same for both” (Soames, 2010, p. 4).
Cf. Church (1941, esp. pp. 208–9).
Cf. Klement (2002, pp. 102–103).
We consider exclusively meaning theories based on the meaning-operators. Davies calls such theories “meaning theories strictly so-called” in order to distinguish them from Davidsonian truth theories that serve as meaning theories. See Davies (1984, p. 86).
We follow Church in adopting the notation ‘(κ1κ2)’. Cf. Benzmüller and Andrews (2019, esp. pp. 3–6 and pp. 9–19).
We adopt the examples ‘Theaetetus flies’ and ‘the father of Annette’ from Davidson (1967/2001, p. 17).
See Davidson (1967/2001, p. 18).
We introduce ‘M-form theorem’ in analogy to Lepore and Ludwig’s ‘T-form theorem’ (2005, p. 145).
We adopt ‘M-theorem’ from Lepore and Ludwig (2005, p. 120).
We use the term ‘sample language’ in analogy to Lepore and Ludwig’s use of “sample theory” (Lepore and Ludwig, 2007, p. 29).
This definition of ‘meansNm’ is analogous to that given in Davies (1984, p. 87(v)). Note that ‘R(L0, t, a)’ is equivalent to ‘the name t meansNm (in L0) a.’.
This proposition is based on Davies’ axioms for predicate terms in Davies (1981, pp. 93–94).
We adopt “structure-reflecting” from Evans (1985, pp. 323, 325).
Davies’ meaning theory for L0 is given in Davies (1981, pp. 93–4).
In Davies’ notation (AxD.ɣ1) and (AxD.Φ1) are formulated respectively as follows (Davies, 1981):
-
(1)
MRef (‘m1’, n1)
-
(2)
\(\forall\)ɣ \(\forall \)v [ MRef (ɣ, v) → (⌜\({P}_{1}\)ɣ⌝ means that Q1v)]
-
(1)
In our own framework ‘P’ should stand for ‘[λx.x is a planet].’
Concerning sentence (1) see sec. 7.2 (iv).
We adopt ‘T-form theorem’ from Lepore and Ludwig (2005, p. 145).
According to Lepore and Ludwig a T-sentence “is a T-form sentence in which the right-hand side translates or interprets the sentence mentioned on the left-hand side” (Lepore and Ludwig, 2007, p. 33 n. 15).
We adopt the term ‘meets Convention T’ from Lepore and Ludwig (2007, p. 28).
We adopt the term ‘truth-from-meaning principle’ from Collins (2002, p. 506).
Horwich (2010, p. 164) qualifies (TM) as being “explanatorily fundamental.”
Axioms (Ax. ɣi), (Ax. Φj), and (Ax.comp) correspond to Evans’ axioms as formulated in Evans (1985, p. 327).
See also Ludwig (2017, p. 26).
The main clause of such a meaning theory, viz. [1] is formulated in sec. 0.9. above.
See Davidson (1967/2001, pp. 22–4).
Indeed, given that ‘σ is true (in L) \(\leftrightarrow \) p’ is a T-sentence provable in \({\theta }_{L}^{T}\), and ‘q’ stands for a logically true sentence in LML, the sentence ‘σ is true (in L) \(\leftrightarrow \) (p \(\wedge \) q)’ is provable in \({\theta }_{L}^{T}\) although it is not a T-sentence. Cf. Lepore and Ludwig (2005, pp. 109–110).
Concerning the empty name ‘Vulcan’ of an alleged planet see Sainsbury (2005, pp. 86–89).
Sentence (11) is literally mentioned in McDowell (1977, p. 161).
Cf. Sainsbury (2005, pp. 15 and 35–7).
The definition of denotation (Df.Den) corresponds to the one formulated by Wallace. Indeed, he remarks that “we can use” ∃z [x = z and Trans ‘z’ = y]” as a definition of “y denotes x” (Wallace, 1975, p. 189). We see that in Wallace’s definition of ‘denotes’ the symbols ‘x’, ‘y’, and ‘z’ stand respectively for our ‘x’, ‘ɣ’, and ‘a’, so that ‘Trans ‘z’ = y’ stands for ‘Trans ‘a’ = ɣ’. The terms ‘Trans’ is introduced by Camp by the example that “Trans ‘Able’ can be thought … as the object language translation of ‘Able’” (Camp, 1975, p. 174). Presumably ‘Trans ‘z’ = y’ can be read as ‘y means z’, hence in our notation, as ‘ɣ means a’ (In Camp’s terminology it is read as ‘ɣ is the object language translation of a’. Kripke criticizes Wallace’s definition of denotation by making two objections. The first one is to the effect that the quantifiers ‘∃z’ should be replaced by the substitutional quantifiers ‘Σz’. The second, and more important, objection consists in the remark that “the use of the symbol ‘ = ’ is … problematic unless a denotation is already provided for all the terms [of the purported definition]” (Kripke, 1976, p. 417). Our own definition (Df.Den) is not subject to either of Kripke’s objections. Indeed, on the one hand the existential quantifier is explicitly a substitutional one, and on the other hand our recourse to free logic enables us to use non-denoting terms in the definition.
Horwich (2010, p. 131).
Horwich (2010, p. 132).
The informal definition of ‘true’ is stated by Rabinowicz (2010, p. 308) as follows: “For any statement S, S is true iff for some p, S means that p and p”.
The notion of T-correlate is introduced by Davidson (1967/2001, p. 23).
Our Definition 7 is equivalent to Lepore and Ludwig’s following definition: “call any truth theory that meets Convention A interpretive” (Lepore and Ludwig, 2011, p. 268).
Proposition 3 is analogous, though not equivalent, to Lepore and Ludwig’s following statement: “… if the axioms meet Convention A …, the [truth] theory is true [i.e. sound]” (Lepore and Ludwig, 2011, p. 273). It is not equivalent since \({\theta }_{{L}_{1}}^{M}\) is not involved in that statement.
All of these properties, except (ii) have been already established by Lepore and Ludwig, though in a quite different framework.
That is how Tarski characterizes a desired definition of truth. See Tarski (1944, p. 341).
We adopt the abbreviation ‘L&L’ from Hoeltje (2013, p. 832).
References
Belnap, N. D. and Grover, D. L. (1973). Quantifying In and Out of Quotes. In H. Leblanc (Ed.) Truth, Syntax, and Modality: Proceedings of The Temple University Conference On Alternative Semantics, (pp. 17–47). Amsterdam: North-Holland Publishing Company.
Benzmüller, C. and Andrews, P. (2019) Church’s Type Theory. Stanford Encyclopedia of Philosophy from Summer 2019 eds. https://plato.stanford.edu/entries/type-theory-church/.
Boghossian, P. A. (2002). The rule-following considerations. In A. Miller & C. Wright (Eds.) Rule Following and Meaning. London: Routledge.
Burge, T. (1974). Truth and Singular Terms. Noûs, 8(4), 309–325.
Camp, J. L. (1975). Truth and Substitution Quantifiers. Noûs, 9(2), 165–185.
Carnap, R. (1947). Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press.
Carnap, R. (1952). Meaning Postulates. Philosophical Studies, 3, 65–73.
Church, A. (1941). The Calculi of Lambda-Conversion. Princeton University Press.
Church, A. (1949). On Carnap’s Analysis of Statements of Assertion and Belief. Analysis, 10(5), 97–99.
Church, A. (1954). Intensional Isomorphism and Identity of Belief. Philosophical Studies, 5(5), 65–73.
Collins, J. (2002). Truth or Meaning? A Question of Priority. Philosophy and Phenomenological Research, 65(3), 497–536.
Curry, H. B. (1963). Foundations of Mathematical Logic. Dover Publications.
Davidson, D. (1967/2001). Truth and Meaning. In Inquiries into Truth and Interpretation: Philosophical Essays (pp. 17–42). Clarendon Press.
Davidson, D. (1974). Belief and the Basis of Meaning. Synthese 27 (July-August), 309–323.
Davies, M. (1981). Meaning, Quantification, Necessity: Themes in Philosophical Logic. Routledge & Kegan Paul.
Davies, M. (1984). Taylor on Meaning-Theories and Theories of Meaning. Mind, 93(369), 85–90.
Duží, M. (2019). If Structured Propositions Are Logical Procedures Then How Are Procedures Individuated? Synthese, 196(4), 1249–1283.
Evans, G. (1985). Semantic Theory and Tacit Knowledge. Collected Papers (pp. 322–342). Oxford University Press.
Evans, G., & McDowell, J. (1976). Truth and Meaning: Essays in Semantics. Clarendon Press.
Foster, J. A. (1976). Meaning and Truth Theory. In G. Evans & J. McDowell (Eds.), Truth and Meaning: Essays in Semantics (pp. 1–32). Clarendon Press.
Frege, G. (1918/1997). Thoughts. In M. Beaney (Eds.) The Frege Reader (pp. 325–45). Blackwell Publishing.
Grice, H.P. and Strawson, P.F. (1956/1989). In defense of a dogma. In Studies in the Way of Words (pp. 196–212). Harvard University Press.
Grice, H.P. (1987/1989). Retrospective Epilogue. In Studies in the Way of Words (pp. 339–385). Harvard University Press.
Grover, D. (1973). Propositional Quantification and Quotation Contexts. In H. Leblanc (Ed.) Truth, Syntax, and Modality: Proceedings of The Temple University Conference On Alternative Semantics, (pp. 101–110). North-Holland Publishing Company.
Grover, D. (1992). A Prosentential Theory of Truth. Princeton University Press.
Haverkamp, N., & Hoeltje, M. (2021). Semantic theories, linguistic essences, and knowledge of meaning. Synthese, 199(5–6), 14459–14490.
Hoeltje, M. (2013). Lepore and Ludwig on ‘Explicit Meaning Theories.’ Philosophical Studies, 165(3), 831–839.
Hoeltje, M. (2016). Meaning and Truth’ and ’Truth and Meaning. Dialectica, 70(2), 201–215.
Horwich, P. (2010). Truth. Clarendon Press.
Jespersen, B. (2019). Anatomy of a Proposition. Synthese, 196(4), 1285–1324.
Kaplan, D. (1969). Quantifying in. Synthese, 19, 178–214.
Kaplan, D. (1989). Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and Other Indexicals. In J. Almog, J. Perry, & H. Wettstein (Eds.), Themes from Kaplan (pp. 481–563). Oxford University Press.
Kirk-Giannini, C. D., & Lepore, E. (2017). De Ray: On the Boundaries of the Davidsonian Semantic Programme. Mind, 126(503), 697–714.
Klement, K. C. (2002). Frege and the Logic of Sense and Reference. Routledge.
Kripke, S. A. (1976). Is There a Problem About Substitutional Quantification? In G. Evans & J. McDowell (Eds.), Truth and Meaning (pp. 324–419). Oxford University Press.
Kripke, S. A. (1982). Wittgenstein on Rules and Private Language. Wiley-Blackwell.
Kripke, S. A. (2008). Frege’s Theory of Sense and Reference: Some Exegetical Notes. Theoria, 74(3), 181–218.
Künne, W. (2003). Conceptions of Truth. Oxford University Press.
Langford, C. H. (1937). Review: E. W. Beth, The Significs of Pasigraphic Systems. A Contribution to the Psychology of the Mathematical thought Process. Journal of Symbolic Logic 2 (1), 53–54.
Lepore, E., & Ludwig, K. (2005). Donald Davidson: Meaning, Truth, Language, and Reality. University Press.
Lepore, E., & Ludwig, K. (2007). Donald Davidson’s Truth-Theoretic Semantics. Clarendon Press.
Lepore, E., & Ludwig, K. (2011). Truth and meaning redux. Philosophical Studies, 154(2), 251–277.
Lewis, D. (1972/1983). Languages and Language. In Philosophical Papers: Volume 1 (pp. 163–88). Oxford University Press USA.
Ludwig, K. (2017). Truth-Theoretic Semantics and Its Limits. Argumenta, 3, 21–38.
McDowell, J. (1977). On the sense and reference of a proper name. Mind, 86(342), 159–185.
Rabinowicz, W. (2010). Analyticity and Possible-World Semantics. Erkenntnis, 72(3), 295–314.
Ray, G. (2014). Meaning and Truth. Mind, 123(489), 79–100.
Sainsbury, R. M. (2004). Referring descriptions. In M. Reimer & A. Bezuidenhout (Eds.), Descriptions and Beyond (pp. 369–389). Oxford University Press.
Sainsbury, R. M. (2005). Reference without Referents. Clarendon Press.
Saka, P. (2013). Quotation. Philosophy. Compass, 8(10), 935–949.
Schiffer, S. (1972). Meaning. Clarendon Press.
Soames, S. (1999). Understanding Truth. Oxford University Press.
Soames, S. (2010). Philosophy of Language. Princeton University Press.
Stalnaker, R. C. (1973). Presuppositions. Journal of Philosophical Logic, 2(4), 447–457.
Tarski, A. (1944). The semantic conception of truth. Philosophy and Phenomenological Research, 4(3), 341–376.
Tarski, A. (1956). The Concept of Truth in Formalized Languages. In Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Oxford University Press.
Taylor, B. (1982). On the need for a meaning-theory in a theory of meaning. Mind, 91(362), 183–200.
Wallace, J. (1975). Response to Camp. Noûs, 9(2), 187–192.
Wallace, J. (1977). Only in the context of a sentence do words have any meaning. Midwest Studies in Philosophy, 2(1), 144–164.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
We are grateful to two anonymous reviewers for detailed and constructive comments. Furthermore, David Grünberg would like to thank TÜBİTAK (The Scientific and Technological Research Council of Türkiye) for its financial support during part of this research.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Grünberg, T., Grünberg, D. & Akçelik, O. On the Fundamental Role of ‘Means That’ in Semantic Theorizing. J of Log Lang and Inf 32, 601–656 (2023). https://doi.org/10.1007/s10849-022-09393-8
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-022-09393-8