39 ideas
| 6222 | If a decision is in accord with right reason, everyone can agree with it [Cumberland] |
| Full Idea: No decision can be in accord with right reason unless all can agree on it. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.V.XLVI) | |
| A reaction: Personally I think anyone who disagrees with this should get out of philosophy (and into sociology, fantasy fiction, ironic game-playing, crime…). Of course 'can' agree is not the same as 'will' agree. You must have faith that good reasons are persuasive. |
| 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. |
| 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' |
| 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. |
| 13047 | It is knowing 'why' that gives scientific understanding, not knowing 'that' [Salmon] |
| Full Idea: Knowledge 'that' is descriptive, and knowledge 'why' is explanatory, and it is the latter that provides scientific understanding of our world. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], Intro) | |
| A reaction: I agree, but of course, knowing 'why' may require a lot of knowing 'that'. People with extensive knowledge 'that' things are so tend to understand why something happens more readily than the rest of us ignoramuses. |
| 13065 | Understanding is an extremely vague concept [Salmon] |
| Full Idea: Understanding is an extremely vague concept. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 4.3) | |
| A reaction: True, I suppose, but we usually recognise understanding when we encounter it, and everybody has a pretty clear notion of an 'increase' in understanding. I suspect that the concept is perfectly clear, but we lack any scale for measuring it. |
| 13054 | Correlations can provide predictions, but only causes can give explanations [Salmon] |
| Full Idea: Various kinds of correlations exist that provide excellent bases for prediction, but because no suitable causal relations exist (or are known), these correlations do not furnish explanation. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 2.3) | |
| A reaction: There may be problem cases for the claim that all explanations are causal, but I certainly think that this idea is essentially right. Prediction can come from induction, but inductions may be true and yet baffling. |
| 13067 | For the instrumentalists there are no scientific explanations [Salmon] |
| Full Idea: There is a centuries-old philosophical tradition, sometimes referred to by the name of 'instrumentalism', that has denied the claim that science has explanatory power. For the instrumentalists there are no scientific explanations. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 4.3) | |
| A reaction: [He quotes Coffa] Presumably it is just a matter of matching the world to the readings on the instruments, aiming at van Fraassen's 'empirical adequacy'. If there are no scientific explanations, does that mean that there are no explanations at all? Daft! |
| 13055 | Good induction needs 'total evidence' - the absence at the time of any undermining evidence [Salmon] |
| Full Idea: Inductive logicians have a 'requirement of total evidence': induction is strong if 1) it has true premises, 2) it has correct inductive form, and 3) no additional evidence that would change the degree of support is available at the time. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 2.4.2) | |
| A reaction: The evidence might be very close at hand, but not quite 'available' to the person doing the induction. |
| 13046 | Scientific explanation is not reducing the unfamiliar to the familiar [Salmon] |
| Full Idea: I reject the view that scientific explanation involves reduction of the unfamiliar to the familiar. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], Pref) | |
| A reaction: Aristotle sometimes seems to imply this account of explanation, and I would have to agree with Salmon's view of it. Aristotle is also, though, aware of real explanations, definitions and essences. People are 'familiar' with some peculiar things. |
| 13058 | Why-questions can seek evidence as well as explanation [Salmon] |
| Full Idea: There are evidence-seeking why-questions, as well as explanation-seeking why-questions. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.2) | |
| A reaction: Surely we would all prefer an explanation to mere evidence? It seems to me that they are all explanation-seeking, but that we are grateful for some evidence when no full explanation is available. Explanation renders evidence otiose. |
| 13064 | The three basic conceptions of scientific explanation are modal, epistemic, and ontic [Salmon] |
| Full Idea: There are three basic conceptions of scientific explanation - modal, epistemic, and ontic - which can be discerned in Aristotle, and that have persisted down the ages. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 4.1) |
| 13050 | The 'inferential' conception is that all scientific explanations are arguments [Salmon] |
| Full Idea: The 'inferential' conception of scientific explanation is the thesis that all legitimate scientific explanations are arguments of one sort or another. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 1.1) | |
| A reaction: This seems to imply that someone has to be persuaded of something, and hence seems a rather too pragmatic view. I presume an explanation might be no more than dumbly pointing at conclusive evidence of a cause. Man with smoking gun. |
| 13059 | Ontic explanations can be facts, or reports of facts [Salmon] |
| Full Idea: Proponents of the ontic conception of explanation can say that explanations exist in the world as facts, or that they are reports of such facts (as opposed to the view of explanations as arguments, or as speech acts). | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.2) | |
| A reaction: [compressed] I am strongly drawn to the ontic approach, but not sure whether we want facts, or reports of them. The facts are the causal nexus, but which parts of the nexus provide the main aspect of explanation? I'll vote for reports, for now. |
| 13049 | We must distinguish true laws because they (unlike accidental generalizations) explain things [Salmon] |
| Full Idea: The problem is to distinguish between laws and accidental generalizations, for laws have explanatory force while accidental generalizations, even if they are true, do not. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 1.1) | |
| A reaction: [He is discussing Hempel and Oppenheim 1948] This seems obviously right, but I can only make sense of the explanatory power if we have identified the mechanism which requires the generalisation to continue in future cases. |
| 13051 | Deductive-nomological explanations will predict, and their predictions will explain [Salmon] |
| Full Idea: The deductive-nomological view has an explanation/prediction symmetry thesis - that a correct explanation could be a scientific prediction, and that any deductive prediction could serve as a deductive-nomological explanation. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 1.1) | |
| A reaction: Of course, not all predictions will explain, or vice versa. Weird regularities become predictable but remain baffling. Good explanations may be of unrepeatable events. It is the 'law' in the account that ties the two ends together. |
| 13053 | A law is not enough for explanation - we need information about what makes a difference [Salmon] |
| Full Idea: To provide an adequate explanation of any given fact, we need to provide information that is relevant to the occurrence of that fact - information that makes a difference to its occurrence. It is not enough to subsume it under a general law. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 2.2) | |
| A reaction: [He cites Bromberger for this idea] Salmon is identifying this idea as the beginnings of trouble for the covering-law account of explanation, and it sounds exactly right. |
| 13061 | Flagpoles explain shadows, and not vice versa, because of temporal ordering [Salmon] |
| Full Idea: The height of the flagpole explains the length of the shadow because the interaction between the sunlight and the flagpole occurs before the interaction between the sunlight and the ground. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.6) | |
| A reaction: [Bromberger produced the flagpole example] This seems to be correct, and would apply to all physical cases, but there may still be cases of explanation which are not causal (in mathematics, for example). |
| 13045 | Explanation at the quantum level will probably be by entirely new mechanisms [Salmon] |
| Full Idea: My basic feeling about explanation in the quantum realm is that it will involve mechanisms, but mechanisms that are quite different from those that seem to work in the macrocosm. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], Pref) | |
| A reaction: Since I take most explanation to be by mechanisms (or some abstraction analogous to mechanisms), then I think this is probably right (rather than being by new 'laws'). |
| 13062 | Does an item have a function the first time it occurs? [Salmon] |
| Full Idea: In functional explanation, there is a disagreement over whether an item has a function the first time it occurs. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.8) | |
| A reaction: This question arises particularly in evolutionary contexts, and would obviously not generally arise in the case of human artefacts. |
| 13063 | Explanations reveal the mechanisms which produce the facts [Salmon] |
| Full Idea: I favour an ontic conception of explanation, that explanations reveal the mechanisms, causal or other, that produce the facts we are trying to explain. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 4.1) | |
| A reaction: [He also cites Coffa and Peter Railton] A structure may explain, and only be supported by causal powers, but it doesn't seem to be the causal powers that do the explaining. Is a peg fitting a hole explained causally? |
| 13060 | Can events whose probabilities are low be explained? [Salmon] |
| Full Idea: Can events whose probabilities are low be explained? | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.6) | |
| A reaction: I take this to be one of the reasons why explanation must ultimately reside at the level of individual objects and events, rather than residing with generalisations and laws. |
| 13056 | Statistical explanation needs relevance, not high probability [Salmon] |
| Full Idea: Statistical relevance, not high probability, is the key desideratum in statistical explanation. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 2.5) | |
| A reaction: I suspect that this is because the explanation will not ultimately be probabilistic at all, but mechanical and causal. Hence the link is what counts, which is the relevance. He notes that relevance needs two values instead of one high value. |
| 13057 | Think of probabilities in terms of propensities rather than frequencies [Salmon] |
| Full Idea: Perhaps we should think of probabilities in terms of propensities rather than frequencies. | |
| From: Wesley Salmon (Four Decades of Scientific Explanation [1989], 3.2) | |
| A reaction: [He cites Coffa 1974 for this] I find this suggestion very appealing, as it connects up with dispositions and powers, which I take to be the building blocks of all explanation. It is, of course, easier to render frequencies numerically. |
| 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?' |
| 6217 | Natural law is supplied to the human mind by reality and human nature [Cumberland] |
| Full Idea: Some truths of natural law, concerning guides to moral good and evil, and duties not laid down by civil law and government, are necessarily supplied ot the human mind by the nature of things and of men. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.I.I) | |
| A reaction: I agree that some moral truths have the power of self-evidence. If you say they are built into the mind, we now ask what did the building, and evolution is the only answer, and hence we distance ourselves from the truths, seeing them as strategies. |
| 6221 | If there are different ultimate goods, there will be conflicting good actions, which is impossible [Cumberland] |
| Full Idea: If there be posited different ultimate ends, whose causes are opposed to each other, then there will be truly good actions likewise opposed to each other, which is impossible. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.V.XVI) | |
| A reaction: A very interesting argument for there being one good rather than many, and an argument which I don't recall in any surviving Greek text. A response might be to distinguish between what is 'right' and what is 'good'. See David Ross. |
| 6218 | The happiness of individuals is linked to the happiness of everyone (which is individuals taken together) [Cumberland] |
| Full Idea: The happiness of each person cannot be separated from the happiness of all, because the whole is no different from the parts taken together. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.I.VI) | |
| A reaction: Sounds suspiciously like the fallacy of composition (Idea 6219). An objection to utilitarianism is its assumption that a group of people have a 'total happiness' that is different from their individual states. Still, Cumberland is on to utilitarianism. |
| 6220 | The happiness of all contains the happiness of each, and promotes it [Cumberland] |
| Full Idea: The common happiness of all contains the greatest happiness for each, and most effectively promotes it. …There is no path leading anyone to his own happiness, other than the path which leads all to the common happiness. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.I.VI) | |
| A reaction: I take this as a revolutionary idea, which leads to utilitarianism. It is doing what seemed to the Greeks unthinkable, which is combining hedonism with altruism. There is no proof for it, but it is a wonderful clarion call for building a civil society. |
| 6216 | Natural law is immutable truth giving moral truths and duties independent of society [Cumberland] |
| Full Idea: Natural law is certain propositions of immutable truth, which guide voluntary actions about the choice of good and avoidance of evil, and which impose an obligation to act, even without regard to civil laws, and ignoring compacts of governments. | |
| From: Richard Cumberland (De Legibus Naturae [1672], Ch.I.I) | |
| A reaction: Not a popular view, but I am sympathetic. If you are in a foreign country and find a person lying in pain, there is a terrible moral deficiency in anyone who just ignores such a thing. No legislation can take away a person's right of self-defence. |
| 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. |