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:
“Silence is the universal refuge, the sequel to all dull discourses and all foolish acts, a balm to our every chagrin, as welcome after satiety as after disappointment; that background which the painter may not daub, be he master or bungler, and which, however awkward a figure we may have made in the foreground, remains ever our inviolable asylum, where no indignity can assail, no personality can disturb us.”
—Henry David Thoreau (1817–1862)
“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)
“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)