Quantifier variance

Last updated

The term quantifier variance refers to claims that there is no uniquely best ontological language with which to describe the world. [1] The term "quantifier variance" rests upon the philosophical term 'quantifier', more precisely existential quantifier. A 'quantifier' is an expression like "there exists at least one ‘such-and-such’". [2] Quantifier variance then is the thesis that the meaning of quantifiers is ambiguous. This thesis can be used to explain how some disputes in ontology are only due to a failure of the disagreeing parties to agree on the meaning of the quantifiers used. [3]

Contents

According to Eli Hirsch, it is an outgrowth of Urmson's dictum:

“If two sentences are equivalent to each other, then while the use of one rather than the other may be useful for some philosophical purposes, it is not the case that one will be nearer to reality than the other...We can say a thing this way, and we can say it that way, sometimes...But it is no use asking which is the logically or metaphysically right way to say it.” [4]

— James Opie Urmson, Philosophical Analysis, p. 186

Quantifiers

The word quantifier in the introduction refers to a variable used in a domain of discourse, a collection of objects under discussion. In daily life, the domain of discourse could be 'apples', or 'persons', or even everything. [5] In a more technical arena, the domain of discourse could be 'integers', say. The quantifier variable x, say, in the given domain of discourse can take on the 'value' or designate any object in the domain. The presence of a particular object, say a 'unicorn' is expressed in the manner of symbolic logic as:

∃ x; x is a unicorn.

Here the 'turned E ' or ∃ is read as "there exists..." and is called the symbol for existential quantification. Relations between objects also can be expressed using quantifiers. For example, in the domain of integers (denoting the quantifier by n, a customary choice for an integer) we can indirectly identify '5' by its relation with the number '25':

∃ n; n × n = 25.

If we want to point out specifically that the domain of integers is meant, we could write:

∃ n ∈ ℤ; n × n = 25.

Here, ∈ = is a member of... and ∈ is called the symbol for set membership; and ℤ denotes the set of integers.

There are a variety of expressions that serve the same purpose in various ontologies, and they are accordingly all quantifier expressions. [1] Quantifier variance is then one argument concerning exactly what expressions can be construed as quantifiers, and just which arguments of a quantifier, that is, which substitutions for ‘such-and-such’, are permissible. [6]

Usage, not 'existence'?

Hirsch says the notion of quantifier variance is a concept concerning how languages work, and is not connected to the ontological question of what 'really' exists. [7] That view is not universal. [8]

The thesis underlying quantifier variance was stated by Putnam:

The logical primitives themselves, and in particular the notions of object and existence, have a multitude of different uses rather than one absolute 'meaning'. [9]

— Hilary Putnam, "Truth and Convention", p. 71

Citing this quotation from Putnam, Wasserman states: "This thesis – the thesis that there are many meanings for the existential quantifier that are equally neutral and equally adequate for describing all the facts – is often referred to as ‘the doctrine of quantifier variance’". [8]

Hirsch's quantifier variance has been connected to Carnap's idea of a linguistic framework as a 'neo'-Carnapian view, namely, "the view that there are a number of equally good meanings of the logical quantifiers; choosing one of these frameworks is to be understood analogously to choosing a Carnapian framework." [10] Of course, not all philosophers (notably Quine and the 'neo'-Quineans) subscribe to the notion of multiple linguistic frameworks. [10] See meta-ontology.

Hirsch himself suggests some care in connecting his version of quantifier variance with Carnap: "Let's not call any philosophers quantifier variantists unless they are clearly committed to the idea that (most of) the things that exist are completely independent of language." In this connection Hirsch says "I have a problem, however, in calling Carnap a quantifier variantist, insofar as he is often viewed as a verificationist anti-realist." [1] Although Thomasson does not think Carnap is properly considered to be an antirealist, she still disassociates Carnap from Hirsch's version of quantifier variance: "I’ll argue, however, that Carnap in fact is not committed to quantifier variance in anything like Hirsch’s sense, and that he [Carnap] does not rely on it in his ways of deflating metaphysical debates." [11]

See also

Related Research Articles

Existence is the ability of an entity to interact with reality. In philosophy, it refers to the ontological property of being.

First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic.

<span class="mw-page-title-main">Ontology</span> Branch of philosophy that studies concepts such as existence, being, becoming, and reality

In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.

<span class="mw-page-title-main">Willard Van Orman Quine</span> American philosopher and logician (1908–2000)

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.

An ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need not be 'real', but exist only in a universe of discourse. As an example, legal systems use vocabulary referring to 'legal persons' that are collective entities that have rights. One says the legal doctrine has an ontological commitment to non-singular individuals.

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder, or a wildcard character that stands for an unspecified symbol.

Pluralism is a term used in philosophy, meaning "doctrine of multiplicity," often used in opposition to monism and dualism. The term has different meanings in metaphysics, ontology, epistemology and logic.

Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. Some theorists conceive philosophical logic in a wider sense as the study of the scope and nature of logic in general. In this sense, philosophical logic can be seen as identical to the philosophy of logic, which includes additional topics like how to define logic or a discussion of the fundamental concepts of logic. The current article treats philosophical logic in the narrow sense, in which it forms one field of inquiry within the philosophy of logic.

In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Second-order logic is in turn extended by higher-order logic and type theory.

David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.

A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.

The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

<span class="mw-page-title-main">Philosophy of language</span> Discipline of philosophy that deals with language and meaning

In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought.

In logic, the formal languages used to create expressions consist of symbols, which can be broadly divided into constants and variables. The constants of a language can further be divided into logical symbols and non-logical symbols.

Meta-ontology is the study of the field of inquiry known as Ontology. The goal of meta-ontology is to clarify what ontology is about and how to interpret the meaning of ontological claims. Different meta-ontological theories disagree on what the goal of ontology is and whether a given issue or theory lies within the scope of ontology. There is no universal agreement whether meta-ontology is a separate field of inquiry besides ontology or whether it is just one branch of ontology.

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness.

The internal–external distinction is a distinction used in philosophy to divide an ontology into two parts: an internal part concerning observation related to philosophy, and an external part concerning question related to philosophy.

In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.

<span class="mw-page-title-main">Quine–Putnam indispensability argument</span> Argument in the philosophy of mathematics

The Quine–Putnam indispensability argument, which is also known as the indispensability argument, is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, is one of the most-important arguments in the philosophy of mathematics and is widely considered to be one of the best arguments for platonism.

References

  1. 1 2 3 Eli Hirsch (2011). "Introduction". Quantifier Variance and Realism: Essays in Metaontology. Oxford University Press. p. xii. ISBN   978-0199732111.
  2. ↑ A 'quantifier' in symbolic logic originally was the part of statements involving the logic symbols ∀ (for all) and ∃ (there exists) as in an expression like "for all‘such-and-such’ P is true" (∀ x: P(x)) or "there exists at least one ‘such-and-such’ such that P is true" (∃ x: P(x)) where ‘such-and-such’, or x, is an element of a set and P is a proposition or assertion. However, the idea of a quantifier has since been generalized. See Dag Westerståhl (April 19, 2011). "Generalized Quantifiers". In Edward N. Zalta (ed.). The Stanford Encyclopedia of Philosophy (Summer 2011 Edition).
  3. ↑ Warren, Jared (1 April 2015). "Quantifier Variance and the Collapse Argument". The Philosophical Quarterly. 65 (259): 241–253. doi:10.1093/pq/pqu080. ISSN   0031-8094.
  4. ↑ J.O. Urmson (1967). Philosophical analysis: its development between the two world wars. Oxford University Press. p. 186. Quoted by Eli Hirsch.
  5. ↑ Alan Hausman; Howard. Kahane; Paul. Tidman (2012). "Domain of discourse". Logic and Philosophy: A Modern Introduction (12th ed.). Cengage Learning. p. 194. ISBN   978-1133050001.
  6. ↑ Theodore Sider (2011). Writing the book of the world. Oxford University Press. p. 175. ISBN   978-0199697908. Quantifier variance, on my formulation, says that "there are" many candidates for being meant by quantifiers; but the quantifier variantist needn't take this quantification [that is, this variety of quantifier-meanings] seriously...we could choose to use the sentence "There exists something that is composed of [such-and-such composite object]" so it comes out true, or we could choose to use it so it comes out false; and under neither choice would our words [get closer to reality] than under the other.  [Italics added, 'cute' in-group phrases replaced, as indicated by brackets]
  7. ↑ Eli Hirsch (2011). "Chapter 12: Ontology and alternative languages". Quantifier Variance and Realism: Essays in Metaontology. Oxford University Press. pp. 220–250. ISBN   978-0199780716. I take it for granted that the world and the things in it exist for the most part in complete independence of our knowledge or language. Our linguistic choices do not determine what exists, but determine what we are to mean by the words "what exists" and related words.
  8. 1 2 Wasserman, Ryan (April 5, 2013). Edward N. Zalta (ed.). "Material Constitution". The Stanford Encyclopedia of Philosophy (Summer 2013 Edition).
  9. ↑ Hilary Putnam (1987). "Truth and convention: On Davidson's refutation of conceptual relativism". Dialectica. 41 (1–2): 69–77. doi:10.1111/j.1746-8361.1987.tb00880.x.
  10. 1 2 Helen Beebee; Nikk Effingham; Philip Goff (2012). Metaphysics: The Key Concepts. Taylor & Francis. p. 125. ISBN   978-0203835258.
  11. ↑ Amie L. Thomasson. "Carnap and the Prospects for Easy Ontology". Archived from the original on 2013-12-20. Retrieved 2013-06-20. To be published in Ontology after Carnap, Stephan Blatti and Sandra LaPointe, eds., Oxford University Press.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.