Combining Texts

All the ideas for 'Lectures on the History of Philosophy', 'The Essence of Reference' and 'Plural Quantification Exposed'

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


12 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Philosophy is the conceptual essence of the shape of history [Hegel]
     Full Idea: Philosophy is the supreme blossom - the concept - of the entire shape of history, the consciousness and the spiritual essence of the whole situation, the spirit of the age as the spirit present and aware of itself in thought.
     From: Georg W.F.Hegel (Lectures on the History of Philosophy [1830], p.25), quoted by Stephen Houlgate - An Introduction to Hegel 01
     A reaction: This sees philosophy as intrinsically historical, which is a founding idea for 'continental' philosophy. Analysis is tied to science, in which the history of the subject is seen as irrelevant to its truth. Does this mean we can't go back to Aristotle?
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
     Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
     A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo]
     Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed).
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §1)
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
It is best to say that a name designates iff there is something for it to designate [Sainsbury]
     Full Idea: It is better to say that 'For all x ("Hesperus" stands for x iff x = Hesperus)', than to say '"Hesperus" stands for Hesperus', since then the expression can be a name with no bearer (e.g. "Vulcan").
     From: Mark Sainsbury (The Essence of Reference [2006], 18.2)
     A reaction: In cases where it is unclear whether the name actually designates something, it seems desirable that the name is at least allowed to function semantically.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Definite descriptions may not be referring expressions, since they can fail to refer [Sainsbury]
     Full Idea: Almost everyone agrees that intelligible definite descriptions may lack a referent; this has historically been a reason for not counting them among referring expressions.
     From: Mark Sainsbury (The Essence of Reference [2006], 18.2)
     A reaction: One might compare indexicals such as 'I', which may be incapable of failing to refer when spoken. However 'look at that!' frequently fails to communicate reference.
Definite descriptions are usually rigid in subject, but not in predicate, position [Sainsbury]
     Full Idea: Definite descriptions used with referential intentions (usually in subject position) are normally rigid, ..but in predicate position they are normally not rigid, because there is no referential intention.
     From: Mark Sainsbury (The Essence of Reference [2006], 18.5)
     A reaction: 'The man in the blue suit is the President' seems to fit, but 'The President is the head of state' doesn't. Seems roughly right, but language is always too complex for philosophers.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo]
     Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §0)
Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo]
     Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §4)
9. Objects / A. Existence of Objects / 1. Physical Objects
The modern concept of an object is rooted in quantificational logic [Linnebo]
     Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic.
     From: Øystein Linnebo (Plural Quantification Exposed [2003], §2)
     A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'.
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
A new usage of a name could arise from a mistaken baptism of nothing [Sainsbury]
     Full Idea: A baptism which, perhaps through some radical mistake, is the baptism of nothing, is as good a propagator of a new use as a baptism of an object.
     From: Mark Sainsbury (The Essence of Reference [2006], 18.3)
     A reaction: An obvious example might be the Loch Ness Monster. There is something intuitively wrong about saying that physical objects are actually part of linguistic meaning or reference. I am not a meaning!
19. Language / B. Reference / 5. Speaker's Reference
Even a quantifier like 'someone' can be used referentially [Sainsbury]
     Full Idea: A large range of expressions can be used with referential intentions, including quantifier phrases (as in 'someone has once again failed to close the door properly').
     From: Mark Sainsbury (The Essence of Reference [2006], 18.5)
     A reaction: This is the pragmatic aspect of reference, where it can be achieved by all sorts of means. But are quantifiers inherently referential in their semantic function? Some of each, it seems.
26. Natural Theory / A. Speculations on Nature / 3. Natural Function
Things are thought to have a function, even when they can't perform them [Sainsbury]
     Full Idea: On one common use of the notion of a function, something can possess a function which it does not, or even cannot, perform. A malformed heart is to pump blood, even if such a heart cannot in fact pump blood.
     From: Mark Sainsbury (The Essence of Reference [2006], 18.2)
     A reaction: One might say that the heart in a dead body had the function of pumping blood, but does it still have that function? Do I have the function of breaking the world 100 metres record, even though I can't quite manage it? Not that simple.