Abstract
Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external (I/E) distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/E distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/E distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap.
Similar content being viewed by others
Notes
Eklund occasionally attempts to downplay the extent to which ESO is concerned specifically with abstracta (e.g., Eklund 2013, p. 231). But Carnap’s focus is unmistakable. (The title of the introduction is ‘The Problem of Abstract Entities’!)
A quick note on ‘ontology’ and cognate expressions. Carnap himself took such expressions to suggest the sort of question that is supposed to be answerable only by means of a metaphysical, synthetic a priori insight (e.g., Quine and Carnap 1990, pp. 318, 385–386, 406; 1947, pp. 42–43). Accordingly, he took ontological questions to be confused pseudoquestions, and he distinguished these from the sorts of existence questions that he found respectable. Due in part to the influence of Quine, ‘ontology’ no longer has these connotations. In any case, though, for the purposes of this paper, ontological questions are just existence questions.
This quotation and the next reflect the revisions that Carnap made to ESO when he published it in a supplement to the second edition of Meaning and Necessity (1956a).
The terms ‘factual-external’ and ‘pragmatic-external’ are Eklund’s. Carnap probably would have objected to using ‘factual-external’ to refer to those external questions that he considered to be confused pseudoquestions, since, as Carnap used the term ‘factual’, this would have suggested that such questions could be settled by empirical evidence. The term that Carnap uses in ESO is not ‘factual’ but ‘theoretical’. What he meant was that such questions are supposed to be cognitive or descriptive. In any case, I have chosen to stick with Eklund’s terminology here. This should not cause any confusion, so long as we keep in mind that the term is not intended to suggest that the relevant questions are necessarily taken to be empirical. Thanks to an anonymous reviewer for raising this issue.
On this reading, Eklund’s phrase the language we actually employ amounts to something like the language we actually employ in ordinary life. There is, however, an alternative reading of the sentence, on which it says that internal questions concern what comes out true in the language we actually employ to ask them, whether or not this is the language that we use in ordinary life. If this second reading is correct, then this particular sentence does not cut one way or the other on the question whether Eklund takes frameworks to be natural languages or languages of some other sort.
Thanks to an anonymous reviewer for raising the possibility of this sort of defense.
You might think that Eklund’s frequent suggestion that frameworks are fragments of natural languages is a sign that he’s thinking along the lines of (4.2). Again, I don’t think that this is right. But why, then, does Eklund bother mentioning fragments at all? Here’s what I think is going on. In ESO, Carnap says, very roughly, that to get an F-framework up and running, all you need is the means to talk about Fs. So if you’re inclined to think of frameworks in terms of natural languages, this suggests that a numbers-framework, for instance, does not need to include the entire English language. It just needs to include those parts of English that are necessary for talking about numbers. On the other hand, the entire English language would still qualify as a numbers-framework, since it obviously has the means to talk about numbers.
Unfortunately, this rebuttal remained unpublished for many years. Why didn’t Carnap publish the paper? Not because he had second thoughts about the point that I wish to emphasize here, since he went on to make this very same point in later correspondence and published work. Richard Creath (1990, p. 36) offers a plausible explanation. He suggests that Carnap didn’t publish the paper because he thought that he would soon have an opportunity to give a more comprehensive response to Quine in the volume The Philosophy of Rudolf Carnap that P. A. Schilpp was then putting together. Unfortunately, publication of that volume ended up being significantly delayed.
For an illuminating discussion of Frege’s universalist conception of logic, see Goldfarb (2010).
Of course, we do not usually expect there to be one uniquely correct model of a phenomenon, since models abstract away from some features and emphasize others in order to serve particular purposes, and different models may better serve different purposes. For more on this perspective, see Shapiro (2014, pp. 43–44; 1991, chp. 1).
On the centrality of explication to Carnap’s philosophy, see generally Carus (2007).
Perhaps the strongest evidence that Carnap did not require explications to be given in semantical systems comes from Carnap’s response to P.F. Strawson in the 1963 Schilpp volume (Carnap 1963b), in which he suggests that, although “[t]he use of symbolic logic and of a constructed language system with explicit syntactical and semantical rules is the most elaborate and most efficient method” for developing explications, “[t]he only essential requirement is that the explicatum be more precise than the explicandum” (p. 936). This leaves no doubt that, by the time he was drafting this reply, Carnap allowed explications to be given in an “improved version of natural language” (p. 934). But it’s not obvious what this reveals about his understanding of explication at the time of ESO, since his views may have evolved over the intervening years. At the very least, the Strawson reply sits poorly with a number of Carnap’s remarks about explication from the time of ESO, for instance his insistence in The Logical Foundations of Probability (1950b) that an explicatum must be given by “explicit rules for its use” (p. 3), and that these rules must be in an “exact form” (p. 7). As I said, the evidence is equivocal.
Actually, Carnap was using sentences of natural languages for didactic purposes as very rough “translations” of formal sentences as far back as the Aufbau (see, e.g., §98).
Since, at various points in his career, Carnap took the acceptability (meaningfulness, intelligibility, etc.) of \(\phi \) to depend on its translatability into a favored language, (R2) does not strike me as an ad hoc move. See, e.g., Carnap (1934a, §81) (“Translatability into the formal mode of speech constitutes the touchstone for all philosophical sentences...”).
For an illuminating discussion of Frege’s views on this point, see Weiner (2010).
Thanks to an anonymous reviewer for raising this issue.
To be sure, I have occasionally spoken in this section of questions being posed in a given framework. But this was only a convenient shorthand.
It’s perhaps worth noting that even Eklund, with the resources of natural languages to hand, sometimes characterizes internal questions in terms of the truth or falsity of declarative sentences (see, e.g., Eklund 2009, p. 134).
Of course, this translation into English can only be a kind of rough approximation, given that English is messy and the numbers framework is precise. The basic idea is just that (7) plays a role in the numbers framework that is sufficiently analogous to the role that “There are numbers” plays in English to make it reasonable to think of (7) as one plausible way of spelling out and making more precise the meaning, such as it is, of “There are numbers.”
See also Carnap (1934a, p. 41): “[A]n analytic sentence is absolutely true whatever the empirical facts may be. Hence, it does not state anything about facts...Synthetic statements are the genuine statements about reality.”
This point is emphasized by Alspector-Kelly (2001).
Notably, however, Quine makes no mention of this sort of intuition when he considers how ontological questions are to be settled in ‘On What There Is’ (1948).
Carnap’s vehement rejection of intuition as a source of justification is rightly emphasized by, e.g., Creath (1992, p. 144).
I include (i) not because I think that it is an intuitively plausible requirement on deep questions but because Eklund clearly takes himself to be dealing with exclusively cognitive questions, so that to show that a question is non-cognitive is to show that it is shallow in his sense.
References
Alspector-Kelly, M. (2001). On Quine on Carnap on ontology. Philosophical Studies, 102, 93–122.
Black, M. (1945). Review of Rudolf Carnap, introduction to semantics and formalization of logic. Mind, 54(214), 171–176.
Brun, G. (2020). Conceptual re-engineering: From explication to reflective equilibrium. Synthese, 197, 925–954.
Carnap, R. (1928a). Pseudoproblems in philosophy. In The logical structure of the world, and Pseudoproblems in philosophy. Peru: Open Court.
Carnap, R. (1928b). The logical structure of the World. In The logical structure of the world, and pseudoproblems in philosophy. Peru: Open Court.
Carnap, R. (1930). The old and the new logic. In A. J. Ayer (Ed.), Logical positivism (pp. 133–146). New York: Free Press.
Carnap, R. (1932). The elimination of metaphysics through logical analysis of language. In A. J. Ayer (Ed.), Logical positivism (pp. 60–81). New York: Free Press.
Carnap, R. (1934a). The logical syntax of language. Peru: Open Court.
Carnap, R. (1934b). On the character of philosophic problems. Philosophy of Science, 1(1), 5–19.
Carnap, R. (1936). Testability and meaning. Philosophy of Science, 3(4), 419–471.
Carnap, R. (1937). Testability and meaning–continued. Philosophy of Science, 4(1), 1–40.
Carnap, R. (1938). Empiricism and the language of science. Synthese, 3(12), 33–35.
Carnap, R. (1942). Introduction to semantics. Cambridge: Harvard University Press.
Carnap, R. (1943). Formalization of logic. Cambridge: Harvard University Press.
Carnap, R. (1945). The two concepts of probability. Philosophy and Phenomenological Research, 5(4), 513–532.
Carnap, R. (1946). Remarks on induction and truth. Philosophy and Phenomenological Research, 6(4), 590–602.
Carnap, R. (1947). Meaning and necessity. Chicago: University of Chicago Press.
Carnap, R. (1950a). Empiricism, semantics, and ontology. Revue Internationale de Philosophie, 4(11), 20–40.
Carnap, R. (1950b). Logical foundations of probability. Chicago: University of Chicago Press.
Carnap, R. (1952). Meaning postulates. Philosophical Studies, 3(5), 65–73.
Carnap, R. (1955). Meaning and synonymy in natural languages. Philosophical Studies, 6(3), 33–47.
Carnap, R. (1956a). Meaning and necessity (2nd ed.). Chicago: University of Chicago Press.
Carnap, R. (1956b). The methodological character of theoretical concepts. In H. Feigl & M. Scriven (Eds.), Minnesota studies in the philosophy of science (Vol. 1, pp. 38–76). Minneapolis: University of Minnesota Press.
Carnap, R. (1958). Introduction to symbolic logic and its applications. Mineola: Dover.
Carnap, R. (1963a). Intellectual autobiography. In P. A. Schilpp (Ed.), The philosophy of Rudolf Carnap (pp. 1–83). Peru: Open Court.
Carnap, R. (1963b). Replies and systematic expositions. In P. A. Schilpp (Ed.), The philosophy of Rudolf Carnap (pp. 859–1013). Peru: Open Court.
Carnap, R. (1990). Quine on analyticity. In R. Creath (Ed.), Dear Carnap, Dear Van: The Quine-Carnap correspondence and related work (pp. 427–432). Berkeley: University of California Press.
Carus, A. W. (2008). In R. Creath & M. Friedman (Eds.), Cambridge companion to Carnap (pp. 19–42). Cambridge: Cambridge University Press.
Carus, A. W. (2007). Carnap and twentieth-century thought. Cambridge: Cambridge University Press.
Cook, R. (2005). Intuitionism reconsidered. In S. Shapiro (Ed.), Oxford handbook of philosophy of mathematics and logic (pp. 387–411). Oxford: Oxford University Press.
Corcoran, J. (1973). Gaps between logical theory and mathematical practice. In M. Bunge (Ed.), The methodological unity of science (pp. 23–50). Dordrecht: Reidel.
Creath, R. (1990). Introduction. In R. Creath (Ed.), Dear Carnap, Dear Van: The Quine-Carnap correspondence and related work (pp. 1–43). Berkeley: University of California Press.
Creath, R. (1992). Carnap’s conventionalism. Synthese, 93(1/2), 141–165.
Eklund, M. (2006). Metaontology. Philosophy. Compass, 1(3), 317–34.
Eklund, M. (2009). Carnap and ontological pluralism. In D. Chalmers, D. Manley, & R. Wasserman (Eds.), Metametaphysics (pp. 130–156). Oxford: Oxford University Press.
Eklund, M. (2012). Multitude, tolerance, and language-transcendence. Synthese, 187(3), 833–847.
Eklund, M. (2013). Carnap’s metaontology. Noûs, 47(2), 229–249.
Eklund, M. (2016). Carnap’s legacy for the contemporary metaontological debate. In S. Blatti & S. Lapointe (Eds.), Ontology after Carnap (pp. 165–189). Oxford: Oxford University Press.
Frege, G. (2013). Basic laws of arithmetic. Oxford: Oxford University Press.
Frost-Arnold, G. (2013). Carnap, Tarski, and Quine at Harvard. Peru: Open Court.
Goldfarb, W. (2010). Frege’s conception of logic. In M. Potter & T. Ricketts (Eds.), Cambridge companion to Frege (pp. 63–85). Cambridge: Cambridge University Press.
Goodman, N., & Quine, W. V. (1947). Steps toward a constructive nominalism. Journal of Symbolic Logic, 12(4), 105–122.
Hirsch, E. (2016). Three degrees of Carnapian tolerance. In S. Blatti & S. Lapointe (Eds.), Ontology after Carnap (pp. 105–121). Oxford: Oxford University Press.
Jeffrey, R. (1994). Carnap’s voluntarism. In D. Prawitz, B. Skyrms, & D. Westerståhl (Eds.), Logic, methodology and philosophy of science IX (pp. 847–866). Amsterdam: Elsevier Science B.V.
Nagel, E. (1942). Review of Rudolf Carnap, Introduction to semantics. Journal of Philosophy, 39(17), 468–473.
Nagel, E. (1948). Review of Rudolf Carnap, Meaning and necessity. Journal of Philosophy, 45(17), 467–472.
Novaes, C. D. (2020). Carnapian explication and ameliorative analysis: A systematic comparison. Synthese, 197, 1011–1034.
Novaes, C. D., & Reck, E. (2017). Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization. Synthese, 184, 195–215.
Pinder, M. (2020). On Strawson’s critique of explication as a method in philosophy. Synthese, 197, 955–981.
Price, H. (2009). Metaphysics after Carnap: The ghost who walks? In D. Chalmers, D. Manley, & R. Wasserman (Eds.), Metametaphysics (pp. 320–346). Oxford: Oxford University Press.
Quine, W. V. (1948). On what there is. From a logical point of view (pp. 1–23). Cambridge: Harvard University Press.
Quine, W. V., & Carnap, R. (1990). Dear Carnap, Dear Van: The Quine-Carnap correspondence and related work (Richard Creath, Ed.). Berkeley: University of California Press.
Quine, W. V. (1951a). Symposium: On what there is (III). Proceedings of the Aristotelian Society, Supplementary Volumes, 25, 149–160.
Quine, W. V. (1951b). Two dogmas of empiricism. The Philosophical Review, 60, 20–43.
Quine, W. (1960). Word and object. Cambridge: MIT Press.
Russell, B. (1903). The principles of mathematics. New York: Norton & Co.
Russell, B. (1919). Introduction to mathematical philosophy. New York: Macmillan.
Ryle, G. (1949). Discussion: Meaning and necessity. Philosophy, 24(88), 69–76.
Shapiro, S. (1991). Foundations without foundationalism. Oxford: Oxford University Press.
Shapiro, S. (2014). Varieties of logic. Oxford: Oxford University Press.
Sidelle, A. (2016). Frameworks and deflation in ‘Empiricism, semantics, and ontology’ and recent metametaphysics. In S. Blatti & S. Lapointe (Eds.), Ontology after Carnap (pp. 59–80). Oxford: Oxford University Press.
Thomasson, A. L. (2016). Carnap and the prospects for easy ontology. In S. Blatti & S. Lapointe (Eds.), Ontology after Carnap (pp. 122–144). Oxford: Oxford University Press.
Wagner, P. (Ed.). (2012). Carnap’s ideal of explication and naturalism. London: Palgrave Macmillan.
Weiner, J. (2010). Understanding Frege’s project. In T. Ricketts & M. Potter (Eds.), Cambridge companion to Frege (pp. 32–62). Cambridge: Cambridge University Press.
Acknowledgements
Thanks to Alexia Brancato, Gideon Rosen, and two anonymous reviewers.
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.
Rights and permissions
About this article
Cite this article
Broughton, G.L. Carnapian frameworks. Synthese 199, 4097–4126 (2021). https://doi.org/10.1007/s11229-020-02971-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-020-02971-y