Semantics | ||||||||
---|---|---|---|---|---|---|---|---|
| ||||||||
Semantics of programming languages | ||||||||
| ||||||||
The theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language. It is also known as Russell's theory of descriptions (commonly abbreviated as RTD). In short, Russell argued that the syntactic form of descriptions (phrases that took the form of "The aardvark" and "An aardvark") is misleading, as it does not correlate their logical and/or semantic architecture. While descriptions may seem like fairly uncontroversial phrases, Russell argued that providing a satisfactory analysis of the linguistic and logical properties of a description is vital to clarity in important philosophical debates, particularly in semantic arguments, epistemology and metaphysical elements.
Since the first development of the theory in Russell's 1905 paper "On Denoting", RTD has been hugely influential and well-received within the philosophy of language. However, it has not been without its critics. In particular, the philosophers P. F. Strawson and Keith Donnellan have given notable, well known criticisms of the theory. Most recently, RTD has been defended by various philosophers and even developed in promising ways to bring it into harmony with generative grammar in Noam Chomsky's sense, particularly by Stephen Neale. Such developments have themselves been criticised, and debate continues.
Russell viewed his theory of descriptions as a kind of analysis that is now called propositional analysis [1] [2] (not to be confused with propositional calculus).
Bertrand Russell's theory of descriptions was initially put forth in his 1905 essay "On Denoting", published in the journal of philosophy Mind. Russell's theory is focused on the logical form of expressions involving denoting phrases, which he divides into three groups:
Indefinite descriptions constitute Russell's third group. Descriptions most frequently appear in the standard subject–
Russell put forward his theory of descriptions to solve a number of problems in the philosophy of language. The two major problems are (1) co-referring expressions and (2) non-referring expressions.
The problem of co-referring expressions originated primarily with Gottlob Frege as the problem of informative identities. For example, if the morning star and the evening star are the same planet in the sky seen at different times of day (indeed, they are both the planet Venus: the morning star is the planet Venus seen in the morning sky and the evening star is the planet Venus seen in the evening sky), how is it that someone can think that the morning star rises in the morning but the evening star does not? This is apparently problematic because although the two expressions seem to denote the same thing, one cannot substitute one for the other, which one ought to be able to do with identical or synonymous expressions.
The problem of non-referring expressions is that certain expressions that are meaningful do not truly refer to anything. For example, by "any dog is annoying" it is not meant that there is a particular individual dog, namely any dog, that has the property of being annoying (similar considerations go for "some dog", "every dog", "a dog", and so on). Likewise, by "the current Emperor of Kentucky is gray" it is not meant that there is some individual, namely the current Emperor of Kentucky , who has the property of being gray; Kentucky was never a monarchy, so there is currently no Emperor. Thus, what Russell wants to avoid is admitting mysterious non-existent objects into his ontology. Furthermore, the law of the excluded middle requires that one of the following propositions, for example, must be true: either "the current Emperor of Kentucky is gray" or "it is not the case that the current Emperor of Kentucky is gray". Normally, propositions of the subject-predicate form are said to be true if and only if the subject is in the extension of the predicate. But, there is currently no Emperor of Kentucky. So, since the subject does not exist, it is not in the extension of either predicate (it is not on the list of gray people or non-gray people). Thus, it appears that this is a case in which the law of excluded middle is violated, which is also an indication that something has gone wrong.
Russell analyzes definite descriptions similarly to indefinite descriptions, except that the individual is now uniquely specified. Take as an example of a definite description the sentence "the current Emperor of Kentucky is gray". Russell analyses this phrase into the following component parts (with 'x' and 'y' representing variables):
Thus, a definite description (of the general form 'the F is G') becomes the following existentially quantified phrase in classic symbolic logic (where 'x' and 'y' are variables and 'F' and 'G' are predicates – in the example above, F would be "is an emperor of Kentucky", and G would be "is gray"):
Informally, this reads as follows: something exists with the property F, there is only one such thing, and this unique thing also has the property G.
This analysis, according to Russell, solves the two problems noted above as related to definite descriptions:
Russell says that all propositions in which the Emperor of Kentucky has a primary occurrence are false. The denials of such propositions are true, but in these cases the Emperor of Kentucky has a secondary occurrence (the truth value of the proposition is not a function of the truth of the existence of the Emperor of Kentucky).
Take as an example of an indefinite description the sentence "some dog is annoying". Russell analyses this phrase into the following component parts (with 'x' and 'y' representing variables):
Thus, an indefinite description (of the general form 'a D is A') becomes the following existentially quantified phrase in classic symbolic logic (where 'x' and 'y' are variables and 'D' and 'A' are predicates):
Informally, this reads as follows: there is something such that it is D and A.
This analysis, according to Russell, solves the second problem noted above as related to indefinite descriptions. Since the phrase "some dog is annoying" is not a referring expression, according to Russell's theory, it need not refer to a mysterious non-existent entity. Furthermore, the law of excluded middle need not be violated (i.e. it remains a law), because "some dog is annoying" comes out true: there is a thing that is both a dog and annoying. Thus, Russell's theory seems to be a better analysis insofar as it solves several problems.
P. F. Strawson argued that Russell had failed to correctly represent what one means when one says a sentence in the form of "the current Emperor of Kentucky is gray." According to Strawson, this sentence is not contradicted by "No one is the current Emperor of Kentucky", for the former sentence contains not an existential assertion, but attempts to use "the current Emperor of Kentucky" as a referring (or denoting) phrase. Since there is no current Emperor of Kentucky, the phrase fails to refer to anything, and so the sentence is neither true nor false.
Another kind of counter-example that Strawson and philosophers since have raised concerns that of "incomplete" definite descriptions, that is sentences which have the form of a definite description but which do not uniquely denote an object. Strawson gives the example "the table is covered with books". Under Russell's theory, for such a sentence to be true there would have to be only one table in all of existence. But by uttering a phrase such as "the table is covered with books", the speaker is referring to a particular table: for instance, one that is in the vicinity of the speaker. Two broad responses have been constructed to this failure: a semantic and a pragmatic approach. The semantic approach of philosophers like Stephen Neale [3] suggests that the sentence does in fact have the appropriate meaning as to make it true. Such meaning is added to the sentence by the particular context of the speaker—that, say, the context of standing next to a table "completes" the sentence. Ernie Lepore suggests that this approach treats "definite descriptions as harboring hidden indexical expressions, so that whatever descriptive meaning alone leaves unfinished its context of use can complete". [4]
Pragmatist responses deny this intuition and say instead that the sentence itself, following Russell's analysis, is not true but that the act of uttering the false sentence communicated true information to the listener.
According to Keith Donnellan, there are two distinct ways we may use a definite description such as "the current Emperor of Kentucky is gray", and thus makes his distinction between the referential and the attributive use of a definite description. He argues that both Russell and Strawson make the mistake of attempting to analyse sentences removed from their context. We can mean different and distinct things while using the same sentence in different situations.
For example, suppose Smith has been brutally murdered. When the person who discovers Smith's body says, "Smith's murderer is insane", we may understand this as the attributive use of the definite description "Smith's murderer", and analyse the sentence according to Russell. This is because the discoverer might equivalently have worded the assertion, "Whoever killed Smith is insane." Now consider another speaker: suppose Jones, though innocent, has been arrested for the murder of Smith, and is now on trial. When a reporter sees Jones talking to himself outside the courtroom, and describes what she sees by saying, "Smith's murderer is insane", we may understand this as the referring use of the definite description, for we may equivalently reword the reporter's assertion thus: "That person who I see talking to himself, and who I believe murdered Smith, is insane." In this case, we should not accept Russell's analysis as correctly representing the reporter's assertion. On Russell's analysis, the sentence is to be understood as an existential quantification of the conjunction of three components:
If this analysis of the reporter's assertion were correct, then since Jones is innocent, we should take her to mean what the discoverer of Smith's body meant, that whoever murdered Smith is insane. We should then take her observation of Jones talking to himself to be irrelevant to the truth of her assertion. This clearly misses her point.
Thus the same sentence, "Smith's murderer is insane", can be used to mean quite different things in different contexts. There are, accordingly, contexts in which "the current Emperor of Kentucky is not gray" is false because no one is the current Emperor of Kentucky, and contexts in which it is a sentence referring to a person whom the speaker takes to be the current Emperor of Kentucky, true or false according to the hair of the pretender.
In Reference and Existence, [5] Saul Kripke argues that while Donnellan is correct to point out two uses of the phrase, it does not follow that the phrase is ambiguous between two meanings. For example, when the reporter finds out that Jones, the person she has been calling Smith's murderer did not murder Smith, she will admit that her use of the name was incorrect. [6] : 422–423 Kripke defends Russell's analysis of definite descriptions, and argues that Donnellan does not adequately distinguish meaning from use, or, speaker's meaning from sentence meaning. [7] : 295
The theory of descriptions is regarded as a redundant and cumbersome method. The theory claims that ‘The present King of France is bald’ means ‘One and only one entity is the present King of France, and that one is bald’. L. Susan Stebbing suggests that if ‘that’ is used referentially, ‘that one is bald’ is logically equivalent to the entire conjunction. [8] Hence, the conjunction of three propositions is unnecessary as one proposition is already adequate.
Furthermore, Honcques Laus [9] contends that Russell's analysis involves an error in the truth value that all sentences can be either true or false. Russell's nonacceptance of multiple-valued logic makes himself unable to assign a proper truth value to unverifiable and unfalsifiable sentences and causes the puzzle of the laws of thought. The third truth value, namely ‘indeterminate’ or ‘undefined’ should be accepted in the event that both truth and falsity are absent or inapplicable.
William G. Lycan [10] argues that Russell's theory intrinsically applies solely to one extraordinary subclass of singular terms but an adequate solution to the puzzles must be generalized. His theory merely addresses the principal use of the definite article "the", but fails to deal with plural uses or the generic use. Russell also fails to consider anaphoric uses of singular referential expressions.
The Berry paradox is a self-referential paradox arising from an expression like "The smallest positive integer not definable in under sixty letters".
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.
Philosophical analysis is any of various techniques, typically used by philosophers in the analytic tradition, in order to "break down" philosophical issues. Arguably the most prominent of these techniques is the analysis of concepts.
A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."
In propositional calculus, a propositional function or a predicate is a sentence expressed in a way that would assume the value of true or false, except that within the sentence there is a variable (x) that is not defined or specified (thus being a free variable), which leaves the statement undetermined. The sentence may contain several such variables (e.g. n variables, in which case the function takes n arguments).
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object. For example: "the first person in space" and "the 42nd President of the United States of America", are proper. The definite descriptions "the person in space" and "the Senator from Ohio" are improper because the noun phrase X applies to more than one thing, and the definite descriptions "the first man on Mars" and "the Senator from Washington D.C." are improper because X applies to nothing. Improper descriptions raise some difficult questions about the law of excluded middle, denotation, modality, and mental content.
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 and logic, a deflationary theory of truth is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.
In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language.
In the branch of linguistics known as pragmatics, a presupposition is an implicit assumption about the world or background belief relating to an utterance whose truth is taken for granted in discourse. Examples of presuppositions include:
According to the redundancy theory of truth, asserting that a statement is true is completely equivalent to asserting the statement itself. For example, asserting the sentence "'Snow is white' is true" is equivalent to asserting the sentence "Snow is white". The philosophical redundancy theory of truth is a deflationary theory of truth.
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 philosophy—more specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemantics—meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".
Keith Sedgwick Donnellan was an American philosopher and professor of philosophy at the University of California, Los Angeles.
"On Denoting" is an essay by Bertrand Russell. It was published in the philosophy journal Mind in 1905. In it, Russell introduces and advocates his theory of denoting phrases, according to which definite descriptions and other "denoting phrases ... never have any meaning in themselves, but every proposition in whose verbal expression they occur has a meaning." This theory later became the basis for Russell's descriptivism with regard to proper names, and his view that proper names are "disguised" or "abbreviated" definite descriptions.
A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous, or seek to avoid addressing their distinction or do not clarify it.
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.
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 semantics, donkey sentences are sentences that contain a pronoun with clear meaning but whose syntactic role in the sentence poses challenges to linguists. Such sentences defy straightforward attempts to generate their formal language equivalents. The difficulty is with understanding how English speakers parse such sentences.
The mathematical concept of a function dates from the 17th century in connection with the development of the calculus; for example, the slope of a graph at a point was regarded as a function of the x-coordinate of the point. Functions were not explicitly considered in antiquity, but some precursors of the concept can perhaps be seen in the work of medieval philosophers and mathematicians such as Oresme.