Combining Texts

All the ideas for 'Metaphysics: the logical approach', 'Frege Philosophy of Language (2nd ed)' and 'Letters to Wolff'

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


50 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics focuses on Platonism, essentialism, materialism and anti-realism [Benardete,JA]
     Full Idea: In contemporary metaphysics the major areas of discussion are Platonism, essentialism, materialism and anti-realism.
     From: José A. Benardete (Metaphysics: the logical approach [1989], After)
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
There are the 'is' of predication (a function), the 'is' of identity (equals), and the 'is' of existence (quantifier) [Benardete,JA]
     Full Idea: At least since Russell, one has routinely distinguished between the 'is' of predication ('Socrates is wise', Fx), the 'is' of identity ('Morning Star is Evening Star', =), and the 'is' of existence ('the cat is under the bed', Ex).
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 7)
     A reaction: This seems horribly nitpicking to many people, but I love it - because it is just true, and it is a truth right at the basis of the confusions in our talk. Analytic philosophy forever! [P.S. 'Tiddles is a cat' - the 'is' membership]
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytical philosophy analyses separate concepts successfully, but lacks a synoptic vision of the results [Benardete,JA]
     Full Idea: Analytical philosophy excels in the piecemeal analysis of causation, perception, knowledge and so on, but there is a striking poverty of any synoptic vision of these independent studies.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.22)
1. Philosophy / G. Scientific Philosophy / 1. Aims of Science
Presumably the statements of science are true, but should they be taken literally or not? [Benardete,JA]
     Full Idea: As our bible, the Book of Science is presumed to contain only true sentences, but it is less clear how they are to be construed, which literally and which non-literally.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.13)
2. Reason / A. Nature of Reason / 5. Objectivity
What matters in mathematics is its objectivity, not the existence of the objects [Dummett]
     Full Idea: As Kreisel has remarked, what is important is not the existence of mathematical objects, but the objectivity of mathematical statements.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: [see Maddy 2011:115 for the history of this idea] It seems rather unclear where Frege stands on objectivity. Maddy embraces it, following up this idea, and Tyler Burge's fat book on objectivity.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory attempts to reduce the 'is' of predication to mathematics [Benardete,JA]
     Full Idea: Set theory offers the promise of a complete mathematization of the 'is' of predication.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.13)
The set of Greeks is included in the set of men, but isn't a member of it [Benardete,JA]
     Full Idea: Set inclusion is sharply distinguished from set membership (as the set of Greeks is found to be included in, but not a member of, the set of men).
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.13)
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / c. Basic theorems of ST
The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett]
     Full Idea: A classic reduction is the class of ordered pairs <x,y> being reduced to the class of sets of the form {{x},{x,y}}.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
The standard Z-F Intuition version of set theory has about ten agreed axioms [Benardete,JA, by PG]
     Full Idea: Zermelo proposed seven axioms for set theory, with Fraenkel adding others, to produce the standard Z-F Intuition.
     From: report of José A. Benardete (Metaphysics: the logical approach [1989], Ch.17) by PG - Db (ideas)
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett]
     Full Idea: We may suppose that with each set is associated an object as its cardinal number, but we have no systematic way, without appeal to the Axiom of Choice, of selecting a representative set of each cardinality.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
6. Mathematics / A. Nature of Mathematics / 2. Geometry
Greeks saw the science of proportion as the link between geometry and arithmetic [Benardete,JA]
     Full Idea: The Greeks saw the independent science of proportion as the link between geometry and arithmetic.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.15)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Negatives, rationals, irrationals and imaginaries are all postulated to solve baffling equations [Benardete,JA]
     Full Idea: The Negative numbers are postulated (magic word) to solve x=5-8, Rationals postulated to solve 2x=3, Irrationals for x-squared=2, and Imaginaries for x-squared=-1. (…and Zero for x=5-5) …and x/0 remains eternally open.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.14)
Natural numbers are seen in terms of either their ordinality (Peano), or cardinality (set theory) [Benardete,JA]
     Full Idea: One approaches the natural numbers in terms of either their ordinality (Peano), or cardinality (set theory).
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.17)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett]
     Full Idea: In the intuitionist view, the notion of an intuitive proof cannot be expected to coincide with that of a proof in a formal system, and Gödel's incompleteness theorem is thus unsurprising from an intuitionist point of view.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett]
     Full Idea: From the intuitionist point of view natural numbers are mental constructions, so their totality is only potential, but it is neverthless a fully determinate totality.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This could only be if the means of constructing the numbers was fully determinate, so how does that situation come about?
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
If slowness is a property of walking rather than the walker, we must allow that events exist [Benardete,JA]
     Full Idea: Once we conceded that Tom can walk slowly or quickly, and that the slowness and quickness is a property of the walking and not of Tom, we can hardly refrain from quantifying over events (such as 'a walking') in our ontology.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 6)
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale]
     Full Idea: Dummett distinguishes, roughly, between those concrete objects which can be possible objects of ostension, and abstract objects which can only be referred to by functional expressions whose argument is some other object.
     From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II
     A reaction: At least someone has proposed a theory! Hale gives a nice critical discussion of the proposal. It is a moot point whether in the second case, when you pick out the 'other object', you are thereby able to refer to some new abstract object.
The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett]
     Full Idea: The dichotomy between concrete and abstract objects comes to seem far too crude: to which of the two categories should we assign the Mistral, for instance?
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: He has previously given colours and points as difficult borderline cases. We can generalise this particular problem case as the question of whether a potentiality or possibility is abstract or concrete.
We don't need a sharp concrete/abstract distinction [Dummett]
     Full Idea: There is no reason for wanting a sharp distinction between concrete and abstract objects.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This rather depends on your ontology. If you are happy for reality to be full of weird non-physical entities, then the blurring won't bother you. If the boundary is blurred but still real, it is a very interesting one.
We can't say that light is concrete but radio waves abstract [Dummett]
     Full Idea: If abstractions were defined by whether they could affect human sense-organs, light-waves would be concrete but radio waves abstract.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This is a pretty good baseline example. No account should draw an abstract/concrete line through the electromagnetic spectrum.
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
Early pre-Socratics had a mass-noun ontology, which was replaced by count-nouns [Benardete,JA]
     Full Idea: With their 'mass-noun' ontologies, the early pre-Socratics were blind to plurality ...but the count-noun ontologists came to dominate the field forever after.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 6)
     A reaction: The mass-nouns are such things as earth, air, fire and water. This is a very interesting historical observation (cited by Laycock). Our obsession with identity seems tied to formal logic. There is a whole other worldview waiting out there.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The context principle for names rules out a special philosophical sense for 'existence' [Dummett]
     Full Idea: The dictum that a name has meaning only in the context of a sentence repudiates the conception of a special philosophical sense of 'existence', which claims that numbers do not exist while affirming existential statements about them.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: He refers to Frege's Context Principle. Personally I would say you could make plenty of 'affirmations' about arithmetic without them having to be 'existential'. I can say there 'is' a number between 6 and 8, without huge existential claims.
The objects we recognise the world as containing depends on the structure of our language [Dummett]
     Full Idea: What objects we recognise the world as containing depends upon the structure of our language.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: The background to this claim is the Fregean idea that there are no objects for us if there are no concepts. Dummett is adding that there are no concepts if there is no language. I say animals have concepts and recognise objects.
8. Modes of Existence / D. Universals / 1. Universals
We can understand universals by studying predication [Dummett]
     Full Idea: It is by the study of the character of predication that we shall come to understand the essential nature of universals.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: I haven't founded a clearer manifesto for linguistic philosophy than that! Personally I find it highly dubious, given the shifting nature of linguistic forms, and the enormous variation between remote languages.
8. Modes of Existence / D. Universals / 6. Platonic Forms / d. Forms critiques
If there is no causal interaction with transcendent Platonic objects, how can you learn about them? [Benardete,JA]
     Full Idea: How can you learn of the existence of transcendent Platonic objects if there is no causal interaction with them?
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.22)
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett]
     Full Idea: The original sense of 'nominalism' is the denial of universals, that is the denial of reference to either predicates or to abstract nouns. The modern sense (of Nelson Goodman) is the denial of the existence of abstract objects.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This is why you find loads of modern philosophers vigorous attacking nominalism, only to gradually realise that they don't actually believe in universals, as traditionally understood. It's hard to keep up, when words shift their meaning.
9. Objects / A. Existence of Objects / 1. Physical Objects
Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett]
     Full Idea: We cannot simply distinguish concrete objects as objects of ostension, if it literally involves a pointing gesture, as this would exclude a colourless gas, a sound or a smell.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: He shifts to verbal ostension as a result, since we can talk of 'this smell'. On p.491 he suggests that affecting our senses is a sufficient condition to be concrete, but not a necessary one.
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
Abstract objects may not cause changes, but they can be the subject of change [Dummett]
     Full Idea: To say that an abstract object cannot be the cause of change seems plausible enough, but the thesis that it cannot be the subject of change is problematic. The shape of an object can change, or the number of sheep on a hill.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This seems a pretty crucial difficulty for the standard notion of abstracta as non-causal. I would say that it is an acid which could eat away the whole edifice if you thought about it for long enough. He shifts shape-change to the physical object.
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett]
     Full Idea: For intuitionists, it ceases to be true that abstract objects are not observable and cannot be involved in causal interaction, since such intuitive apprehension of them may be regarded as just such an interaction.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: I would say that since abstract objects can be involved in causal interactions, in the mind, and since the mind is entirely physical (oh yes), this makes abstract objects entirely physical, which may come as a shock to some people.
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
Abstract objects must have names that fall within the range of some functional expression [Dummett]
     Full Idea: For an object to be abstract, we require only that an understanding of any name of that object involves a recognition that the object is in the range of some functional expression.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: I'm not sure I understand this, but a function must involve a relation between some objects, such that a unique object is consequently picked out.
9. Objects / A. Existence of Objects / 2. Abstract Objects / d. Problems with abstracta
If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale]
     Full Idea: Dummett's best argument for excluding abstract nouns relies upon the entirely Fregean requirement that with any genuine singular term there must be associated a criterion of identity.
     From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Bob Hale - Abstract Objects Ch.2.II
     A reaction: This sounds a rather rigid test. Must the criteria be logically precise, or must you just have some vague idea of what you are talking about?
Abstract objects can never be confronted, and need verbal phrases for reference [Dummett]
     Full Idea: An abstract object can be referred to only by means of a verbal phrase, ...and no confrontation with an abstract object is possible.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: So does this mean that animals are incapable of entertaining abstract concepts? Some research suggests otherwise. Does a dog understand what a 'walk' is, without use of the word? Dummett disgracefully neglects animals in his theories.
9. Objects / A. Existence of Objects / 3. Objects in Thought
There is a modern philosophical notion of 'object', first introduced by Frege [Dummett]
     Full Idea: The notion of 'object', as it is now commonly used in philosophical contexts, is a modern notion, one first introduced by Frege.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: If we say 'objects exist', I think it is crucial that if we are going to introduce 'object' as a term of art, then 'exist' had better stick to normal usage. If that drifts into a term of art as well (incorporating 'subsist', or some such) we have no hope!
9. Objects / C. Structure of Objects / 5. Composition of an Object
Why should packed-together particles be a thing (Mt Everest), but not scattered ones? [Benardete,JA]
     Full Idea: Why suppose these particles packed together constitute a macro-entity (namely, Mt Everest), whereas those, of equal number, scattered around, fail to add up to anything beyond themselves?
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 2)
9. Objects / D. Essence of Objects / 6. Essence as Unifier
Could a horse lose the essential property of being a horse, and yet continue to exist? [Benardete,JA]
     Full Idea: Is being a horse an essential property of a horse? Can we so much as conceive the abstract possibility of a horse's ceasing to be a horse even while continuing to exist?
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.20)
9. Objects / D. Essence of Objects / 9. Essence and Properties
The properties of a thing flow from its essence [Leibniz]
     Full Idea: It is the same to look for perfection in an essence and in the properties that flow from an essence.
     From: Gottfried Leibniz (Letters to Wolff [1715], 1715.05.18)
     A reaction: It is helpful to have Leibniz spelling out his commitment to the traditional view of essence, as that from which the more evident properties flow.
9. Objects / E. Objects over Time / 2. Objects that Change
If a soldier continues to exist after serving as a soldier, does the wind cease to exist after it ceases to blow? [Benardete,JA]
     Full Idea: If a soldier need not cease to exist merely because he ceases to be a soldier, there is room to doubt that the wind ceases to exist when it ceases to be a wind.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 6)
9. Objects / E. Objects over Time / 8. Continuity of Rivers
One can step into the same river twice, but not into the same water [Benardete,JA]
     Full Idea: One can step into the same river twice, but one must not expect to step into the same water.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.21)
9. Objects / F. Identity among Objects / 5. Self-Identity
Absolutists might accept that to exist is relative, but relative to what? How about relative to itself? [Benardete,JA]
     Full Idea: With the thesis that to be as such is to be relative, the absolutist may be found to concur, but the issue turns on what it might be that a thing is supposed to be relative to. Why not itself?
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 8)
Maybe self-identity isn't existence, if Pegasus can be self-identical but non-existent [Benardete,JA]
     Full Idea: 'Existence' can't be glossed as self-identical (critics say) because Pegasus, even while being self-identical, fails to exist.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.11)
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The clearest a priori knowledge is proving non-existence through contradiction [Benardete,JA]
     Full Idea: One proves non-existence (e.g. of round squares) by using logic to derive a contradiction from the concept; it is precisely here, in such proofs, that we find the clearest example of a priori knowledge.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 4)
12. Knowledge Sources / A. A Priori Knowledge / 5. A Priori Synthetic
If we know truths about prime numbers, we seem to have synthetic a priori knowledge of Platonic objects [Benardete,JA]
     Full Idea: Assume that we know to be true propositions of the form 'There are exactly x prime numbers between y and z', and synthetic a priori truths about Platonic objects are delivered to us on a silver platter.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.18)
Logical positivism amounts to no more than 'there is no synthetic a priori' [Benardete,JA]
     Full Idea: Logical positivism has been concisely summarised as 'there is no synthetic a priori'.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.18)
Assertions about existence beyond experience can only be a priori synthetic [Benardete,JA]
     Full Idea: No one thinks that the proposition that something exists that transcends all possible experience harbours a logical inconsistency. Its denial cannot therefore be an analytic proposition, so it must be synthetic, though only knowable on a priori grounds.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.18)
Appeals to intuition seem to imply synthetic a priori knowledge [Benardete,JA]
     Full Idea: Appeals to intuition - no matter how informal - can hardly fail to smack of the synthetic a priori.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.18)
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson]
     Full Idea: Real functions map objects onto objects, but concepts map objects onto truth value, ...so Dummett says that concepts are not functions, but that they have a 'functional character'.
     From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973]) by Donald Davidson - Truth and Predication 6
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Since abstract objects cannot be picked out, we must rely on identity statements [Dummett]
     Full Idea: Since we cannot pick an abstract object out from its surrounding, all that we need to master is the use of statements of identity between objects of a certain kind.
     From: Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14)
     A reaction: This is the necessary Fregean preliminary to using a principle of abstraction to identify two objects which are abstract (when the two objects are in an equivalence relation). Presumably circular squares and square circles are identical?
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale]
     Full Idea: Dummett claims that a realistic conception of reference can be sustained for concrete objects (possible objects of ostension), but breaks down for (putative) names of (pure) abstract objects.
     From: report of Michael Dummett (Frege Philosophy of Language (2nd ed) [1973], Ch.14) by Bob Hale - Abstract Objects Ch.3.II
     A reaction: An extremely hard claim to evaluate, because a case must first be made for abstract objects which are fundamentally different in kind. Realistic reference must certainly deal with these hard cases. Field rejects Dummett's abstract points.
27. Natural Reality / C. Space / 3. Points in Space
Rationalists see points as fundamental, but empiricists prefer regions [Benardete,JA]
     Full Idea: Rationalists have been happier with an ontology of points, and empiricists with an ontology of regions.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch.16)
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
In the ontological argument a full understanding of the concept of God implies a contradiction in 'There is no God' [Benardete,JA]
     Full Idea: In the ontological argument a deep enough understanding of the very concept of God allows one to derive by logic a contradiction from the statement 'There is no God'.
     From: José A. Benardete (Metaphysics: the logical approach [1989], Ch. 4)