23 ideas
| 8349 | The best way to do ontology is to make sense of our normal talk [Davidson] |
| Full Idea: I do not know any better way of showing what there is than looking at the assumptions needed to make sense of our normal talk. | |
| From: Donald Davidson (Causal Relations [1967], §4) | |
| A reaction: Davidson was a pupil of Quine. This I take to be the last flowering of twentieth century linguistic philosophy. The ontology we deduce from talk in a children's playground might be very bizarre, but we are unlikely to endorse it. 'Honest, it's true!' |
| 18806 | 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. |
| 8490 | 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. |
| 8492 | 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. |
| 17809 | 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) |
| 17810 | 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. |
| 8487 | 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. |
| 18899 | 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' |
| 8348 | If we don't assume that events exist, we cannot make sense of our common talk [Davidson] |
| Full Idea: The assumption, ontological and metaphysical, that there are events, is one without which we cannot make sense of much of our most common talk. | |
| From: Donald Davidson (Causal Relations [1967], §4) | |
| A reaction: He considers events to be unanalysable basics. Explanation of normal talk also needs ghosts, premonitions, telepathy and Father Christmas. It is extremely hard to individuate events, unless they are subatomic, and rather numerous. |
| 4028 | 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. |
| 8489 | 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. |
| 8347 | Explanations typically relate statements, not events [Davidson] |
| Full Idea: Explanations typically relate statements, not events. | |
| From: Donald Davidson (Causal Relations [1967], §4) | |
| A reaction: An oddly linguistic way of putting our attempts to understand the world. Presumably the statements are supposed to be about the events (or whatever), and they are supposed to be true, so we are trying to relate features of the world. |
| 9947 | 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. |
| 10319 | 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. |
| 8488 | 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. |
| 9948 | 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. |
| 4972 | 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?' |
| 10371 | Distinguish causation, which is in the world, from explanations, which depend on descriptions [Davidson, by Schaffer,J] |
| Full Idea: Davidson distinguishes between causation, an extensional relation that holds between coarse events, and explanation, which is an intensional relation that holds between the coarse events under a description. | |
| From: report of Donald Davidson (Causal Relations [1967]) by Jonathan Schaffer - The Metaphysics of Causation 1.2 | |
| A reaction: I'm unclear why everything has to be so coarse, when reality and causal events seem to fine-grained, but the distinction strikes me as good. Explanations relate to human understanding and human interests. Cf. Anscombe's view. |
| 8403 | Either facts, or highly unspecific events, serve better as causes than concrete events [Field,H on Davidson] |
| Full Idea: It is best to avoid Davidson's view that only quite concrete events can serve as causes; we should either say that facts as well as events can serve as causes; or that the events can be highly unspecific, including 'omissions'. | |
| From: comment on Donald Davidson (Causal Relations [1967]) by Hartry Field - Causation in a Physical World 1 | |
| A reaction: Something NOT happening might be the main cause of an effect (drought), or an effect may mainly result from a situation rather than an event (famine). |
| 8346 | Full descriptions can demonstrate sufficiency of cause, but not necessity [Davidson] |
| Full Idea: The fuller we make the description of a cause, the better our chances of demonstrating that it was sufficient (as described) to produce the effect, and the worse our chances of demonstrating that it was necessary. (For the effect, it is the opposite). | |
| From: Donald Davidson (Causal Relations [1967], §3) | |
| A reaction: If the fullness of description is relevant, this suggests that Davidson is focusing on human explanations, rather than on the ontology of causation. If the cause IS necessary, why wouldn't a better description make that clearer? |
| 4778 | A singular causal statement is true if it is held to fall under a law [Davidson, by Psillos] |
| Full Idea: For Davidson, what makes singular causal statements true is the existence of some regularities or laws. All causal is nomological: c causes e iff there is a law that connects events like c with events like e. | |
| From: report of Donald Davidson (Causal Relations [1967]) by Stathis Psillos - Causation and Explanation §2.6 | |
| A reaction: I wonder if the cart is before the horse here. Scriven says this is just a claim that there are "phantom laws". It is the Humean view of causation, but surely the laws come after the causation, so can't be used to explain it? |
| 17811 | 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. |
| 8491 | 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. |