Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Go Figure: a Path through Fictionalism' and 'Intermediate Logic'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


8 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
In logic, a name is just any expression which refers to a particular single object [Bostock]
     Full Idea: The important thing about a name, for logical purposes, is that it is used to make a singular reference to a particular object; ..we say that any expression too may be counted as a name, for our purposes, it it too performs the same job.
     From: David Bostock (Intermediate Logic [1997], 3.1)
     A reaction: He cites definite descriptions as the most notoriously difficult case, in deciding whether or not they function as names. I takes it as pretty obvious that sometimes they do and sometimes they don't (in ordinary usage).
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
An expression is only a name if it succeeds in referring to a real object [Bostock]
     Full Idea: An expression is not counted as a name unless it succeeds in referring to an object, i.e. unless there really is an object to which it refers.
     From: David Bostock (Intermediate Logic [1997], 3.1)
     A reaction: His 'i.e.' makes the existence condition sound sufficient, but in ordinary language you don't succeed in referring to 'that man over there' just because he exists. In modal contexts we presumably refer to hypothetical objects (pace Lewis).
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Definite desciptions resemble names, but can't actually be names, if they don't always refer [Bostock]
     Full Idea: Although a definite description looks like a complex name, and in many ways behaves like a name, still it cannot be a name if names must always refer to objects. Russell gave the first proposal for handling such expressions.
     From: David Bostock (Intermediate Logic [1997], 8.3)
     A reaction: I take the simple solution to be a pragmatic one, as roughly shown by Donnellan, that sometimes they are used exactly like names, and sometimes as something else. The same phrase can have both roles. Confusing for logicians. Tough.
Because of scope problems, definite descriptions are best treated as quantifiers [Bostock]
     Full Idea: Because of the scope problem, it now seems better to 'parse' definition descriptions not as names but as quantifiers. 'The' is to be treated in the same category as acknowledged quantifiers like 'all' and 'some'. We write Ix - 'for the x such that..'.
     From: David Bostock (Intermediate Logic [1997], 8.3)
     A reaction: This seems intuitively rather good, since quantification in normal speech is much more sophisticated than the crude quantification of classical logic. But the fact is that they often function as names (but see Idea 13817).
Definite descriptions are usually treated like names, and are just like them if they uniquely refer [Bostock]
     Full Idea: In practice, definite descriptions are for the most part treated as names, since this is by far the most convenient notation (even though they have scope). ..When a description is uniquely satisfied then it does behave like a name.
     From: David Bostock (Intermediate Logic [1997], 8.3)
     A reaction: Apparent names themselves have problems when they wander away from uniquely picking out one thing, as in 'John Doe'.
We are only obliged to treat definite descriptions as non-names if only the former have scope [Bostock]
     Full Idea: If it is really true that definite descriptions have scopes whereas names do not, then Russell must be right to claim that definite descriptions are not names. If, however, this is not true, then it does no harm to treat descriptions as complex names.
     From: David Bostock (Intermediate Logic [1997], 8.8)
Definite descriptions don't always pick out one thing, as in denials of existence, or errors [Bostock]
     Full Idea: It is natural to suppose one only uses a definite description when one believes it describes only one thing, but exceptions are 'there is no such thing as the greatest prime number', or saying something false where the reference doesn't occur.
     From: David Bostock (Intermediate Logic [1997], 8.3)
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Names do not have scope problems (e.g. in placing negation), but Russell's account does have that problem [Bostock]
     Full Idea: In orthodox logic names are not regarded as having scope (for example, in where a negation is placed), whereas on Russell's theory definite descriptions certainly do. Russell had his own way of dealing with this.
     From: David Bostock (Intermediate Logic [1997], 8.3)