Combining Texts

All the ideas for 'Function and Concept', 'On the Notion of Cause' and 'Appearance and Reality'

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


29 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Claims about 'the Absolute' are not even verifiable in principle [Ayer on Bradley]
     Full Idea: Such a metaphysical pseudo-proposition as 'the Absolute enters into, but is itself incapable of, evolution and progress' (F.H.Bradley) is not even in principle verifiable.
     From: comment on F.H. Bradley (Appearance and Reality [1893]) by A.J. Ayer - Language,Truth and Logic Ch.1
     A reaction: One may jeer at the Verification Principle for either failing to be precise, or for failing to pass its own test, but Ayer still has a point here. When we drift off into sustained abstractions, we must keeping asking if we are still saying anything real.
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
Metaphysics is finding bad reasons for instinctive beliefs [Bradley]
     Full Idea: Metaphysics is the finding of bad reasons for what we believe upon instinct; but to find these reasons is no less an instinct.
     From: F.H. Bradley (Appearance and Reality [1893]), quoted by Robin Le Poidevin - Interview with Baggini and Stangroom p.165
     A reaction: A famous and very nice remark. The idea of believing things on instinct sounds more like David Hume than an idealist. Personally I am not so pessimistic about the enterprise. I think metaphysics is capable of changing what we believe.
1. Philosophy / G. Scientific Philosophy / 3. Scientism
Philosophers usually learn science from each other, not from science [Russell]
     Full Idea: Philosophers are too apt to take their views on science from each other, not from science.
     From: Bertrand Russell (On the Notion of Cause [1912], p.178)
     A reaction: This wasn't true of Russell, but it is certainly true of me. I rely on philosophical researchers to find the interesting bits of science for me (like blindsight). Memo to myself: read more science.
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.
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.
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Names need a means of reidentifying their referents [Bradley, by Read]
     Full Idea: Unless a name has associated with it a means of reidentifying its referent, we cannot use it.
     From: report of F.H. Bradley (Appearance and Reality [1893]) by Stephen Read - Thinking About Logic Ch.4
     A reaction: Brilliant! This point is totally undeniable. It is not enough that someone be 'baptised'. We need to hang onto both the name and what it refers to, and how are we going to do that?
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.
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'
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations are said to be intrinsic properties of two terms, and of the whole they compose [Bradley, by Russell]
     Full Idea: The doctrine of internal relations held that every relation between two terms expresses, primarily, intrinsic properties of the two terms and, in ultimate analysis, a property of the whole which the two compose.
     From: report of F.H. Bradley (Appearance and Reality [1893]) by Bertrand Russell - My Philosophical Development Ch.5
     A reaction: Russell's first big campaign was to reject this view, and his ontology from then on included relations among the catalogue of universals. The coherence theory of truth also gets thrown out at the same time. Russell seems right.
Relations must be linked to their qualities, but that implies an infinite regress of relations [Bradley]
     Full Idea: If a relation between qualities is to be something, then clearly we will now require a new connecting relation. The links are united by a link, and this link has two ends, which require a fresh link to connect them to the old.
     From: F.H. Bradley (Appearance and Reality [1893], p.28), quoted by Cynthia Macdonald - Varieties of Things Ch.6
     A reaction: That is: external relations generates an infinite regress, so relations must be internal. Russell launched his own philosophy with an attack on Bradley's idea. Personally I take how two things 'relate' to one another as one of the deepest of mysteries.
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.
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.
10. Modality / A. Necessity / 2. Nature of Necessity
'Necessary' is a predicate of a propositional function, saying it is true for all values of its argument [Russell]
     Full Idea: 'Necessary' is a predicate of a propositional function, meaning that it is true for all possible values of its argument or arguments. Thus 'If x is a man, x is mortal' is necessary, because it is true for any possible value of x.
     From: Bertrand Russell (On the Notion of Cause [1912], p.175)
     A reaction: This is presumably the intermediate definition of necessity, prior to modern talk of possible worlds. Since it is a predicate about functions, it is presumably a metalinguistic concept, like the semantic concept of truth.
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
British Idealists said reality is a single Mind which experiences itself [Bradley, by Grayling]
     Full Idea: The idealism of Green and Bradley, both of whom were much influenced by the German Idealists, espoused the thesis that the universe ultimately consists of a single Mind which, so to speak, experiences itself.
     From: report of F.H. Bradley (Appearance and Reality [1893]) by A.C. Grayling - Russell Ch.2
     A reaction: This looks now like the last (extreme) throw by the religious view of the world, which collapsed in the face of the empirical realism of Russell and Moore. It is all Kant's fault, for cutting us off from his 'noumenon'.
Bradley's objective idealism accepts reality (the Absolute), but says we can't fully describe it [Bradley, by Potter]
     Full Idea: Objective idealists such as Bradley (rather than Berkeley's subjective view) accepted the substantial existence of reality (which they called the 'Absolute') but held that thought cannot fully describe it.
     From: report of F.H. Bradley (Appearance and Reality [1893]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 23 'Abs'
     A reaction: That thought can't 'fully' describe it seems obvious, so I suspect Bradley's view are stronger than that. This sounds like modern strong and weak anti-realists; strong ones deny reality, but weak ones just deny we know where the joints are.
Qualities and relations are mere appearance; the Absolute is a single undifferentiated substance [Bradley, by Heil]
     Full Idea: In Bradley's view, qualities and relations belong to the realm of appearance. We are left with a single, undifferentiated substance: the Absolute.
     From: report of F.H. Bradley (Appearance and Reality [1893]) by John Heil - Relations 'Internal'
     A reaction: I've not read Bradley, but I can't distinguish this proposal from Parmenides's belief in The One. Or maybe Spinoza's monist view of God and Nature (but that is 'differentiated'). It doesn't sound like Hegel.
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.
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.
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?'
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / e. The One
Reality is one, because plurality implies relations, and they assert a superior unity [Bradley]
     Full Idea: Reality is one. It must be simple because plurality, taken as real, contradicts itself. Plurality implies relations, and, through its relations it unwillingly asserts always a superior unity.
     From: F.H. Bradley (Appearance and Reality [1893], p.519), quoted by A.C. Grayling - Russell Ch.2
     A reaction: This argument depends on a belief in 'internal' relations, which Russell famously attacked. If an internal feature of every separate item was its relation to other things, then I suppose Bradley would be right. But it isn't, and he isn't.
26. Natural Theory / C. Causation / 7. Eliminating causation
The law of causality is a source of confusion, and should be dropped from philosophy [Russell]
     Full Idea: The law of causality, I believe, like much that passes muster among philosophers, is a relic of a bygone age, surviving, like the monarchy, only because it is erroneously supposed to do no harm.
     From: Bertrand Russell (On the Notion of Cause [1912], p.173)
     A reaction: A bold proposal which should be taken seriously. However, if we drop it from scientific explanation, we may well find ourselves permanently stuck with it in 'folk' explanation. What is the alternative?
If causes are contiguous with events, only the last bit is relevant, or the event's timing is baffling [Russell]
     Full Idea: A cause is an event lasting for a finite time, but if cause and effect are contiguous then the earlier part of a changing cause can be altered without altering the effect, and a static cause will exist placidly for some time and then explode into effect.
     From: Bertrand Russell (On the Notion of Cause [1912], p.177)
     A reaction: [very compressed] He concludes that they can't be contiguous (and eventually rejects cause entirely). This kind of problem is the sort of thing that only bothers philosophers - the question of how anything can happen at all. Why change?
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
Striking a match causes its igniting, even if it sometimes doesn't work [Russell]
     Full Idea: A may be the cause of B even if there actually are cases of B not following A. Striking a match will be the cause of its igniting, in spite of the fact that some matches are damp and fail to ignite.
     From: Bertrand Russell (On the Notion of Cause [1912], p.185)
     A reaction: An important point, although defenders of the constant conjunction view can cope with it. There is a further regularity between dampness of matches and their failure to strike.
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
In causal laws, 'events' must recur, so they have to be universals, not particulars [Russell]
     Full Idea: An 'event' (in a statement of the 'law of causation') is intended to be something that is likely to recur, since otherwise the law becomes trivial. It follows that an 'event' is not some particular, but a universal of which there may be many instances.
     From: Bertrand Russell (On the Notion of Cause [1912], p.179)
     A reaction: I am very struck by this. It may be a key insight into understanding what a law of nature actually is. It doesn't follow that we must be realists about universals, but the process of abstraction from particulars is at the heart of generalisation.
26. Natural Theory / D. Laws of Nature / 6. Laws as Numerical
The constancy of scientific laws rests on differential equations, not on cause and effect [Russell]
     Full Idea: It is not in the sameness of causes and effects that the constancy of scientific law consists, but in sameness of relations. And even 'sameness of relations' is too simple a phrase; 'sameness of differential equations' is the only correct phrase.
     From: Bertrand Russell (On the Notion of Cause [1912], p.186)
     A reaction: This seems to be a commitment to the regularity view, since there is nothing more to natural law than that the variables keeping obeying the equations. It also seems to be a very instrumentalist view.
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.