Combining Texts

All the ideas for 'Function and Concept', 'Frege Philosophy of Language (2nd ed)' and 'Towards a Critique of Hegel's Philosophy'

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


43 ideas

1. Philosophy / C. History of Philosophy / 1. History of Philosophy
All philosophies presuppose their historical moment, and arise from it [Feuerbach]
     Full Idea: Every philosophy originates as a manifestation of its time; its origin presupposes its historical time.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.59)
     A reaction: There seems to be widespread agreement among continental philosophers about this idea, whereas analytic philosophers largely ignore, and treat Plato as if he were a current professor in Chicago.
1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / a. Philosophy as worldly
I don't study Plato for his own sake; the primary aim is always understanding [Feuerbach]
     Full Idea: Plato in writing is only a means for me; that which is primary and a priori, that which is the ground to which all is ultimately referred, is understanding.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.63)
     A reaction: It always seems to that the main aim of philosophy is understanding - which is why its central activity is explanation.
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.
2. Reason / C. Styles of Reason / 1. Dialectic
Each proposition has an antithesis, and truth exists as its refutation [Feuerbach]
     Full Idea: Every intellectual determination has its antithesis, its contradiction. Truth exists not in unity with, but in refutation of its opposite.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.72)
     A reaction: This appears to be a rejection of the 'synthesis' in Hegel, in favour of what strikes me as a rather more sensible interpretation of the modern dialectic. Being exists in contrast to nothingness, and truth exists in contrast to its negation?
A dialectician has to be his own opponent [Feuerbach]
     Full Idea: A thinker is a dialectician only insofar as he is his own opponent.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.72)
     A reaction: Quite an inspirational slogan for beginners in philosophy. How many non-philosophers are willing to be their own opponent. In law courts and the House of Commons we assign the roles to separate persons. Hence rhetoric replaces reason?
3. Truth / A. Truth Problems / 3. Value of Truth
Truth forges an impersonal unity between people [Feuerbach]
     Full Idea: The urge to communicate is a fundamental urge - the urge for truth. ...That which is true belongs neither to me nor exclusively to you, but is common to all. The thought in which 'I' and 'You' are united is a true thought.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.65)
     A reaction: Sceptics may doubt that there are such truths, but this is certainly how we experience agreement - that there is some truth shared between us which is no longer the possession of either of us. Nice idea.
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt]
     Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic.
     From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2
     A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped.
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 / 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)
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
First-level functions have objects as arguments; second-level functions take functions as arguments [Frege]
     Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions.
     From: Gottlob Frege (Function and Concept [1891], p.38)
     A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions.
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
Relations are functions with two arguments [Frege]
     Full Idea: Functions of one argument are concepts; functions of two arguments are relations.
     From: Gottlob Frege (Function and Concept [1891], p.39)
     A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions.
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 / 6. Logicism / a. Early logicism
Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege]
     Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism.
     From: Gottlob Frege (Function and Concept [1891], p.30)
     A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise.
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 / A. Nature of Existence / 6. Criterion for Existence
Frege takes the existence of horses to be part of their concept [Frege, by Sommers]
     Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'.
     From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism'
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 / 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.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
To our consciousness it is language which looks unreal [Feuerbach]
     Full Idea: To sensuous consciousness it is precisely language that is unreal, nothing.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.77)
     A reaction: Offered as a corrective to the view that our ontological commitments entirely concern what we are willing to say.
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege]
     Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property.
     From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2
     A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as 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 / 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
The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege]
     Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place.
     From: Gottlob Frege (Function and Concept [1891], p.32)
     A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them.
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!
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
The Absolute is the 'and' which unites 'spirit and nature' [Feuerbach]
     Full Idea: The Absolute is spirit and nature. ...But what then is the Absolute? Nothing other than this 'and', that is, the unity of spirit and nature.
     From: Ludwig Feuerbach (Towards a Critique of Hegel's Philosophy [1839], p.82)
     A reaction: This is Feuerbach's spin on Hegel. He has been outlining idealist philosophy and the philosophy of nature in Schelling. Is this Spinoza's one substance?
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman]
     Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions.
     From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties.
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
An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale]
     Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it.
     From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects
     A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status.
A concept is a function whose value is always a truth-value [Frege]
     Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part.
     From: Gottlob Frege (Function and Concept [1891], p.30)
     A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable.
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman]
     Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature.
     From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity.
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.
19. Language / B. Reference / 5. Speaker's Reference
I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege]
     Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false.
     From: Gottlob Frege (Function and Concept [1891], p.14)
     A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?'
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The Ontological Argument fallaciously treats existence as a first-level concept [Frege]
     Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept.
     From: Gottlob Frege (Function and Concept [1891], p.38 n)
     A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate.