Two-dimensionalism

Last updated

Two-dimensionalism is an approach to semantics in analytic philosophy. It is a theory of how to determine the sense and reference of a word and the truth-value of a sentence. It is intended to resolve the puzzle: How is it possible to discover empirically that a necessary truth is true? Two-dimensionalism provides an analysis of the semantics of words and sentences that makes sense of this possibility. The theory was first developed by Robert Stalnaker, but it has been advocated by numerous philosophers since, including David Chalmers.

Contents

Two-dimensional semantic analysis

Any given sentence, for example, the words,

"Water is H2O"

is taken to express two distinct propositions, often referred to as a primary intension and a secondary intension, which together compose its meaning. [1]

The primary intension of a word or sentence is its sense, i.e., is the idea or method by which we find its referent. The primary intension of "water" might be a description, such as watery stuff. The thing picked out by the primary intension of "water" could have been otherwise. For example, on some other world where the inhabitants take "water" to mean watery stuff, but, where the chemical make-up of watery stuff is not H2O, it is not the case that water is H2O for that world.

The secondary intension of "water" is whatever thing "water" happens to pick out in this world, whatever that world happens to be. So, if we assign "water" the primary intension watery stuff, then the secondary intension of "water" is H2O, since H2O is watery stuff in this world. The secondary intension of "water" in our world is H2O, which is H2O in every world because unlike watery stuff it is impossible for H2O to be other than H2O. When considered according to its secondary intension, "Water is H2O" is true in every world.

Impact

If two-dimensionalism is workable it solves some very important problems in the philosophy of language. Saul Kripke has argued that "Water is H2O" is an example of a necessary truth which is true a posteriori , since we had to discover that water was H2O, but given that it is true (which it is) it cannot be false. It would be absurd to claim that something that is water is not H2O, for these are known to be identical.

However, this contention that one and the same proposition can be both a posteriori and necessary is considered absurd by some philosophers (as is Kripke's paired claim that the same proposition can be both a priori and contingent).

For example, Robert Stalnaker's account of knowledge represents knowledge as a relation on possible worlds, which entails that it is impossible for a proposition to fail to be a priori given that it is necessary. This can be proven as follows: If a proposition P is necessary it is true in all possible worlds. If P is true at all possible worlds and what we know are sets of possible worlds, then it is not possible not to know that P, for P is the case at all possible worlds in the set of worlds that we know. So if P is necessary then we know it necessarily, and ipso facto we know it a priori. [2]

Under two-dimensionalism, the problem disappears. The primary intension of "Water is H2O" is the a posteriori component, since it is contingent that the referent of "water" is H2O, while the secondary intension is the necessary component of the sentence, since it is necessary that the stuff we in fact call water is H2O. Neither intension gives us both a necessary and an a posteriori component. But one gets the false impression that the sentence expresses a necessary a posteriori proposition because this single sentence expresses two propositions, one a posteriori and one necessary. [2]

In the philosophy of mind

Two-dimensional semantics has been used by David Chalmers to counter objections to the various arguments against materialism in the philosophy of mind. Specifically, Chalmers deploys two-dimensional semantics to "bridge the (gap between) epistemic and modal domains" in arguing from knowability or epistemic conceivability to what is necessary or possible (modalities). [3]

The reason Chalmers employs two-dimensional semantics is to avoid objections to conceivability implying possibility. For instance, it's claimed that we can conceive of water not having been H
2O, but it's not possible that water isn't H
2O. Chalmers replies that it is 1-possible that water wasn't H
2O because we can imagine another substance XYZ with watery properties, but it's not 2-possible. Hence, objections to conceivability implying possibility are unfounded when these words are used more carefully. [3]

Chalmers then advances the following "two-dimensional argument against materialism". [3] Define P as all physical truths about the universe and Q as a truth about phenomenal experience, such as that someone is conscious. Let "1-possible" refer to possibility relative to primary intension and "2-possible" relative to secondary intension.

  1. P&~Q is conceivable [i.e., zombies are conceivable]
  2. If P&~Q is conceivable, then P&~Q is 1-possible
  3. If P&~Q is 1-possible, then P&~Q is 2-possible or Russellian monism is true.
  4. If P&~Q is 2-possible, materialism is false.
  5. Materialism is false or Russellian monism is true.

Criticism

Scott Soames is a notable opponent of two-dimensionalism, which he sees as an attempt to revive Russelian–Fregean descriptivism and to overturn what he sees as a "revolution" in semantics begun by Kripke and others. [4] Soames argues that two-dimensionalism stems from a misreading of passages in Kripke (1980) as well as Kaplan (1989). [5]

See also

Related Research Articles

In philosophy, physicalism is the metaphysical thesis that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality as opposed to a "two-substance" or "many-substance" (pluralism) view. Both the definition of "physical" and the meaning of physicalism have been debated.

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Kripke is considered one of the most important philosophers of the latter half of the 20th century. Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

<span class="mw-page-title-main">David Chalmers</span> Australian philosopher and cognitive scientist (born 1966)

David John Chalmers is an Australian philosopher and cognitive scientist specializing in the areas of philosophy of mind and philosophy of language. He is a professor of philosophy and neural science at New York University, as well as co-director of NYU's Center for Mind, Brain and Consciousness. In 2006, he was elected a Fellow of the Australian Academy of the Humanities. In 2013, he was elected a Fellow of the American Academy of Arts & Sciences.

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge.

<span class="mw-page-title-main">David Lewis (philosopher)</span> American philosopher (1941–2001)

David Kellogg Lewis was an American philosopher who is widely regarded as one of the most important philosophers of the 20th century. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years.

In modal logic and the philosophy of language, a term is said to be a rigid designator or absolute substantial term when it designates the same thing in all possible worlds in which that thing exists. A designator is persistently rigid if it also designates nothing in all other possible worlds. A designator is obstinately rigid if it designates the same thing in every possible world, period, whether or not that thing exists in that world. Rigid designators are contrasted with connotative terms, non-rigid or flaccid designators, which may designate different things in different possible worlds.

In philosophy, metaphysical necessity, sometimes called broad logical necessity, is one of many different kinds of necessity, which sits between logical necessity and nomological necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. A proposition is said to be necessary if it could not have failed to be the case. Nomological necessity is necessity according to the laws of physics and logical necessity is necessity according to the laws of logic, while metaphysical necessities are necessary in the sense that the world could not possibly have been otherwise. What facts are metaphysically necessary, and on what basis we might view certain facts as metaphysically but not logically necessary are subjects of substantial discussion in contemporary philosophy.

A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional and modal logic. Their metaphysical status has been a subject of controversy in philosophy, with modal realists such as David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not.

A philosophical zombie is a being in a thought experiment in philosophy of mind that is physically identical to a normal person but does not have conscious experience.

Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on four tenets: possible worlds exist, possible worlds are not different in kind from the actual world, possible worlds are irreducible entities, and the term actual in actual world is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now".

Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.

In the philosophy of language, the descriptivist theory of proper names is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the mediated reference theory or Frege–Russell view.

In philosophical logic, the concept of an impossible world is used to model certain phenomena that cannot be adequately handled using ordinary possible worlds. An impossible world, , is the same sort of thing as a possible world , except that it is in some sense "impossible." Depending on the context, this may mean that some contradictions, statements of the form are true at , or that the normal laws of logic, metaphysics, and mathematics, fail to hold at , or both. Impossible worlds are controversial objects in philosophy, logic, and semantics. They have been around since the advent of possible world semantics for modal logic, as well as world based semantics for non-classical logics, but have yet to find the ubiquitous acceptance, that their possible counterparts have found in all walks of philosophy.

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic and systematic approach to the topic, in 1912. It continued to mature as a field, reaching its modern form in 1963 with the work of Kripke.

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.

A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

<i>Naming and Necessity</i> Philosophy book by Saul Kripke

Naming and Necessity is a 1980 book with the transcript of three lectures, given by the philosopher Saul Kripke, at Princeton University in 1970, in which he dealt with the debates of proper names in the philosophy of language. The transcript was brought out originally in 1972 in Semantics of Natural Language, edited by Donald Davidson and Gilbert Harman. Among analytic philosophers, Naming and Necessity is widely considered one of the most important philosophical works of the twentieth century.

In philosophy, specifically in the area of metaphysics, counterpart theory is an alternative to standard (Kripkean) possible-worlds semantics for interpreting quantified modal logic. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the Kripkean view. The form of the theory most commonly cited was developed by David Lewis, first in a paper and later in his book On the Plurality of Worlds.

Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called context change potentials, which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality.

A posteriori necessity is a thesis in metaphysics and the philosophy of language, that some statements of which we must acquire knowledge a posteriori are also necessarily true. It challenges previously widespread belief that only a priori knowledge can be necessary. It draws on a number of philosophical concepts such as necessity, the causal theory of reference, rigidity, and the a priori–a posteriori distinction.

References

  1. ↑ for a fuller explanation see Chalmers, David. The Conscious Mind. Oxford UP: 1996. Chapter 2, section 4.
  2. 1 2 Stalnaker, Robert. "Propositions." Issues in the Philosophy of Language. Yale UP, 1976.
  3. 1 2 3 David J. Chalmers (2010). "The Two-Dimensional Argument Against Materialism". The Character of Consciousness. Oxford University Press. ISBN   978-0195311112 . Retrieved 4 September 2014.
  4. ↑ Soames, Scott (2007). Reference and Description. Princeton: Princeton University Press. ISBN   978-0-691-13099-6.
  5. ↑ Almog, Joseph; Perry, John; Wettstein, Howard K.; Kaplan, David (1989). Themes from Kaplan. New York: Oxford University Press. pp. 481–564. ISBN   0-19-505217-X.

Sources

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.