Internal-external distinction

The internal–external distinction is a distinction used in philosophy to divide an ontology into two parts: an internal part consisting of a linguistic framework and observations related to that framework, and an external part concerning practical questions about the utility of that framework. This division was introduced by Rudolf Carnap in his work Empiricism, Semantics, and Ontology. It was subsequently criticized at length by Willard v. O. Quine in a number of works, and was considered for some time to have been discredited. However, recently a number of authors have come to the support of some or another version of Carnap's approach.

Linguistic framework

Carnap introduced the idea of a 'linguistic framework' or a 'form of language' that uses a precise specification of the definitions of and the relations between entities. The discussion of a proposition within a framework can take on a logical or an empirical (that is, factual) aspect. The logical aspect concerns whether the proposition respects the definitions and rules set up in the framework. The empirical aspect concerns the application of the framework in some or another practical situation.

‘	“If someone wishes to speak in his language about a new kind of entities, he has to introduce a system of new ways of speaking, subject to new rules; we shall call this procedure the construction of a linguistic framework for the new entities in question.”	’
—Rudolf Carnap, Empiricism, Semantics, and Ontology

‘	“After the new forms are introduced into the language, it is possible to formulate with their help internal questions and possible answers to them. A question of this kind may be either empirical or logical; accordingly a true answer is either factually true or analytic.”	’
—Rudolf Carnap, Empiricism, Semantics, and Ontology

The utility of a linguistic framework constitutes issues that Carnap calls 'external' or 'pragmatic'.

‘	“To be sure, we have to face at this point an important question; but it is a practical, not a theoretical question; it is the question of whether or not to accept the new linguistic forms. The acceptance cannot be judged as being either true or false because it is not an assertion. It can only be judged as being more or less expedient, fruitful, conducive to the aim for which the language is intended. Judgments of this kind supply the motivation for the decision of accepting or rejecting the kind of entities.”	’
—Rudolf Carnap, Empiricism, Semantics, and Ontology

‘	“the decisive question is not the alleged ontological question of the existence of abstract entities but rather the question whether the rise of abstract linguistic forms or, in technical terms, the use of variables beyond those for things (or phenomenal data), is expedient and fruitful for the purposes for which semantical analyses are made, viz. the analysis, interpretation, clarification, or construction of languages of communication, especially languages of science.”	’
—Rudolf Carnap, Empiricism, Semantics, and Ontology

The distinction between 'internal' and 'external' arguments is not as obvious as it might appear. For example, discussion of the imaginary unit √−1 might be an internal question framed in the language of complex numbers about the correct usage of √−1, or it might be a question about the utility of complex numbers: whether there is any practical advantage in using √−1. Clearly the question of utility is not completely separable from the way a linguistic framework is organized. A more formal statement of the internal-external difference is provided by Myhill:

‘	“A question...is internal relative to [a linguistic framework] T if the asker accepts T at the time of his asking, and is prepared to use T in order to obtain an answer; external otherwise, in particular if the question is part of a chain of reflections and discussions aimed at choosing between T and some rival theory.”	’
—J Myhill, On the ontological significance of the Löwenheim–Skolem theorem

Quine's critique

Quine disputed Carnap's position from several points of view. His most famous criticism of Carnap was Two dogmas of empiricism, but this work is not directed at the internal-external distinction but at the analytic-synthetic distinction brought up by Carnap in his work on logic: Meaning and Necessity. Quine's criticism of the internal-external distinction is found in his works On Ontology and Word and Object.

Quine's approach to the internal-external division was to cast internal questions as subclass questions and external questions as category questions. What Quine meant by 'subclass' questions were questions like "what are so-and-so's?" where the answers are restricted to lie within a specific linguistic framework. On the other hand, 'category' questions were questions like "what are so-and-so's?" asked outside any specific language where the answers are not so-restricted. The term subclass arises as follows: Quine supposes that a particular linguistic framework selects from a broad category of meanings for a term, say furniture, a particular or subclass of meanings, say chairs.

Quine argued that there is always possible an overarching language that encompasses both types of question and the distinction between the two types is artificial.

‘	It is evident that the question whether there are numbers will be a category question only with respect to languages which appropriate a separate style of variables for the exclusive purpose of referring to numbers. If our language refers to numbers through variables that also take classes other than numbers as values, then the question whether there are numbers becomes a subclass question...Even the question whether there are classes, or whether there are physical objects becomes a subclass question if our language uses a single style of variables to range over both sorts of entities. Whether the statement that there are physical objects and the statement that there are black swans should be put on the same side of the dichotomy, or on opposite sides, comes to depend upon the rather trivial consideration of whether we use one style of variables or two for physical objects and classes.	’
—W v O Quine, Carnap's views on ontology

So we can switch back and forth from internal to external questions just by a shift of vocabulary. As Thomasson puts it, if our language refers to 'things' we can ask of all the things there are, are any of them numbers; while if our language includes only 'numbers', we can ask only narrower questions like whether any numbers are prime numbers. In other words Quine's position is that "Carnap's main objection to metaphysics rests on an unsupported premise, namely the assumption that there is some sort of principled plurality in language which blocks Quine's move to homogenize the existential quantifier." "What is to stop us treating all ontological issues as internal questions within a single grand framework?"

Later views

A view close to Quine’s subclass/category description is called ‘’conceptual relativity’’. To describe conceptual relativity, Putnam points out that while the pages of a book are regarded as part of book when they are attached, they are things-in-themselves if they are detached. My nose is only part of an object, my person. On the other hand, is my nose the same as the collection of atoms or molecules forming it? This arbitrariness of language is called conceptual relativity, a matter of conventions. The Carnapian internal/external distinction in this view, as with the subclass/category distinction, is just a matter of language.

A related idea is quantifier variance. Loosely speaking a 'quantifier' is just a function that says there exists at least one such-and-such. Then 'quantifier variance' is the notion that the same object can have different names, so the quantifier may refer to the same thing even though different names are employed by it. The point is made that if one wishes to refer only to 'pages', then books may not exist, and vice versa if one wishes to admit only to books. It is considered unsettling that what 'exists' is a matter of what language one chooses to use. Hirsch says this is Putnam's quandary, and it is resolved by turning things upside down and saying things that exist can have different names. In other words, Hirsch agrees with Quine that there is an over-arching language that we can adapt to different situations.

More recently, some philosophers have stressed that the real issue is not one of language as such, but the difference between questions asked using a linguistic framework and those asked somehow before the adoption of a linguistic framework, the difference between questions about the construction and rules of a framework, and questions about the decision whether to use a framework. This distinction is called by Thomasson and Price the difference between ‘’using’’ a term and ‘’mentioning’’ a term.

Although not supporting an entire lack of distinction like the subclass/category view of Quine, as a pragmatic issue, the use/mention distinction still does not provide a sharp division between the issues of forming and conceptualizing a framework and deciding whether to adopt it: each informs the other. An example is the well-known tension between mathematicians and physicists, the one group very concerned over questions of logic and rigor, and the other inclined to sacrifice a bit of rigor to explain observations.

Another objection to Carnap’s internal-external division is its multiplicity of possible linguistic frameworks, suggesting what is called ontological pluralism, or multiple realities. It is a common assumption of everyday life (and some philosophers) that there is one 'reality' behind our everyday perceptions, although we may not see it clearly, and it is hard to give up this belief. However, this belief is rendered somewhat plastic by the fact that we cannot see this reality directly, a philosophical issue called the subject-object problem. For example, Stephen Hawking has proposed model-dependent realism, which is the notion that the existence of some background all-encompassing reality can never be known beyond a patchwork of different theories, and anything deeper is speculation. Every theory is associated with its own conceptions and observations that encompass only some small slice of reality.