Background
The sentence “Napoleon is one of my ancestors” apparently commits us only to the existence of two individuals (i.e., Napoleon and the speaker) and a line of ancestry between them. The fact that no other people or objects are mentioned seems to limit the “commitment” of the sentence. However, it is well known that sentences of this kind cannot be interpreted in first-order logic, where individual variables stand for individual things. Instead, they must be represented in some second-order form. In ordinary language, such second-order forms use either grammatical plurals or terms such as “set of” or “group of”.
For example, the sentence involving Napoleon can be rewritten as “any group of people that includes me and the parents of each person in the group must also include Napoleon,” which is easily interpreted as a statement in second-order logic (one would naturally start by assigning a name, such as G, to the group of people under consideration). Formally, collective noun forms such as “a group of people” are represented by second-order variables, or by first-order variables standing for sets (which are well-defined objects in mathematics and logic). Since these variables do not stand for individual objects, it seems we are “ontologically committed” to entities other than individuals — sets, classes, and so on. As Quine puts it,
the general adoption of class variables of quantification ushers in a theory whose laws were not in general expressible in the antecedent levels of logic. The price paid for this increased power is ontological: objects of a special and abstract kind, viz. classes, are now presupposed. Formally it is precisely in allowing quantification over class variables α, β, etc., that we assume a range of values for these variables to refer to. To be assumed as an entity is to be assumed as a value of a variable. (Methods of Logic p. 228)
Another statement about individuals that appears “ontologically innocent” is the well-known Geach–Kaplan sentence: Some critics admire only one another.
Read more about this topic: Ontological Commitment
Famous quotes containing the word background:
“They were more than hostile. In the first place, I was a south Georgian and I was looked upon as a fiscal conservative, and the Atlanta newspapers quite erroneously, because they didn’t know anything about me or my background here in Plains, decided that I was also a racial conservative.”
—Jimmy Carter (James Earl Carter, Jr.)
“I had many problems in my conduct of the office being contrasted with President Kennedy’s conduct in the office, with my manner of dealing with things and his manner, with my accent and his accent, with my background and his background. He was a great public hero, and anything I did that someone didn’t approve of, they would always feel that President Kennedy wouldn’t have done that.”
—Lyndon Baines Johnson (1908–1973)
“Pilate with his question “What is truth?” is gladly trotted out these days as an advocate of Christ, so as to arouse the suspicion that everything known and knowable is an illusion and to erect the cross upon that gruesome background of the impossibility of knowledge.”
—Friedrich Nietzsche (1844–1900)