Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Propositions' and 'Hilbert's Programme'

unexpand these ideas     |    start again     |     specify just one area for these texts


9 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Maybe proper names have the content of fixing a thing's category [Bealer]
     Full Idea: Some say that proper names have no descriptive content, but others think that although a name does not have the right sort of descriptive content which fixes a unique referent, it has a content which fixes the sort or category to which it belongs.
     From: George Bealer (Propositions [1998], §7)
     A reaction: Presumably 'Mary', and 'Felix', and 'Rover', and 'Smallville' are cases in point. There is a well known journalist called 'Manchester', a famous man called 'Hilary', a village in Hertfordshire called 'Matching Tie'... Interesting, though.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
     Full Idea: The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's, ...of which to many Frege's is the most intuitive of the four. Frege says they refer to the unique item (if it exists) which satisfies the predicate.
     From: George Bealer (Propositions [1998], §5)
     A reaction: He doesn't expound the other three, but I record this a corrective to the view that Russell has the only game in town.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]
     Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity.
     From: Georg Kreisel (Hilbert's Programme [1958], 05)
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
     Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously.
     From: Georg Kreisel (Hilbert's Programme [1958], 06)
     A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job.
19. Language / D. Propositions / 1. Propositions
Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
     Full Idea: The propositions behind 'Cicero is emulated more than Tully' seems to differ somehow from 'Tully is emulated more than Cicero', despite the proper names being rigid designators.
     From: George Bealer (Propositions [1998], §1)
     A reaction: Interesting, because this isn't a directly propositional attitude situation like 'believes', though it depends on such things. Bealer says this is a key modern difficulty with propositions.
Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
     Full Idea: The reductionist view of propositions sees them as either extensional functions from possible worlds to truth values, or as ordered sets of properties, relations, and perhaps particulars.
     From: George Bealer (Propositions [1998], §1)
     A reaction: The usual problem of all functional accounts is 'what is it about x that enables it to have that function?' And if they are sets, where does the ordering come in? A proposition isn't just a list of items in some particular order. Both wrong.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]
     Full Idea: Philosophers have been skeptical about abstract objects, and so have been skeptical about propositions,..but with the rise of modal logic and metaphysics, and cognitive science's realism about intentional states, traditional propositions are now dominant.
     From: George Bealer (Propositions [1998], §1)
     A reaction: I personally strongly favour belief in propositions as brain states, which don't need a bizarre ontological status, but are essential to explain language, reasoning and communication.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').
27. Natural Reality / C. Space / 3. Points in Space
The natural conception of points ducks the problem of naming or constructing each point [Kreisel]
     Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points.
     From: Georg Kreisel (Hilbert's Programme [1958], 13)
     A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one.