36 ideas
| 12124 | Metaphysics is the best knowledge, because it is the simplest [Bacon] |
| Full Idea: That knowledge is worthiest which is charged with least multiplicity, which appeareth to be metaphysic | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.6) | |
| A reaction: A surprising view, coming from the father of modern science, but essentially correct. Obviously metaphysics aspires to avoid multiplicity, but it is riddled not only with complexity in its researches, but massive uncertainties. |
| 12123 | Natural history supports physical knowledge, which supports metaphysical knowledge [Bacon] |
| Full Idea: Knowledges are as pyramides, whereof history is the basis. So of natural philosophy, the basis is natural history, the stage next the basis is physic; the stage next the vertical point is metaphysic. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.6) | |
| A reaction: The father of modern science keeps a place for metaphysics, as the most abstract level above the physical sciences. I would say he is right. It leads to my own slogan: science is the servant of philosophy. |
| 12119 | Physics studies transitory matter; metaphysics what is abstracted and necessary [Bacon] |
| Full Idea: Physic should contemplate that which is inherent in matter, and therefore transitory; and metaphysic that which is abstracted and fixed | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
| A reaction: He cites the ancients for this view, with which he agrees. One could do worse than hang onto metaphysics as the study of necessities, but must then face the attacks of the Quineans - that knowledge of necessities is beyond us. |
| 12120 | Physics is of material and efficient causes, metaphysics of formal and final causes [Bacon] |
| Full Idea: Physic inquireth and handleth the material and efficient causes; and metaphysic handleth the formal and final causes. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
| A reaction: Compare Idea 12119. This divides up Aristotle's famous Four Causes (or Explanations), outlined in 'Physics' II.3. The concept of 'matter', and the nature of 'cause' seem to me to fall with the purview of metaphysics. Interesting, though. |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
| A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
| A reaction: Each expansion brings a limitation, but then you can expand again. |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
| 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. |
| 12121 | We don't assume there is no land, because we can only see sea [Bacon] |
| Full Idea: They are ill discoverers that think there is no land, when they can see nothing but sea. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.5) | |
| A reaction: Just the sort of pithy remark for which Bacon is famous. It is an obvious point, but a nice corrective to anyone who wants to apply empirical principles in a rather gormless way. |
| 12117 | Science moves up and down between inventions of causes, and experiments [Bacon] |
| Full Idea: All true and fruitful natural philosophy hath a double scale or ladder, ascendent and descendent, ascending from experiments to the invention of causes, and descending from causes to the invention of new experiments. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.1) | |
| A reaction: After several hundred years, I doubt whether anyone can come up with a better account of scientific method than Bacon's. |
| 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! |
| 12127 | Many different theories will fit the observed facts [Bacon] |
| Full Idea: The ordinary face and view of experience is many times satisfied by several theories and philosophies. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VIII.5) | |
| A reaction: He gives as his example that the Copernican system and the Ptolemaic system both seem to satisfy all the facts. He wrote in 1605, just before Galileo's telescope. His point is regularly made in modern discussions. In this case, he was wrong! |
| 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. |
| 12126 | People love (unfortunately) extreme generality, rather than particular knowledge [Bacon] |
| Full Idea: It is the nature of the mind of man (to the extreme prejudice of knowledge) to delight in the spacious liberty of generalities, as in a champaign region, and not in the inclosures of particularity. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VIII.1) | |
| A reaction: I have to plead guilty to this myself. He may have pinpointed the key motivation behind philosophy. We all want to know things, as Aristotle said, but some of us want the broad brush, and others want the fine detail. |
| 12125 | Teleological accounts are fine in metaphysics, but they stop us from searching for the causes [Bacon] |
| Full Idea: To say 'leaves are for protecting of fruit', or that 'clouds are for watering the earth', is well inquired and collected in metaphysic, but in physic they are impertinent. They are hindrances, and the search of the physical causes hath been neglected. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.7) | |
| A reaction: This is the standard rebellion against Aristotle which gave rise to the birth of modern science. The story has been complicated by natural selection, which bestows a sort of purpose on living things. Nowadays we pursue both paths. |
| 12118 | Essences are part of first philosophy, but as part of nature, not part of logic [Bacon] |
| Full Idea: I assign to summary philosophy the operation of essences (as quantity, similitude, diversity, possibility), with this distinction - that they be handled as they have efficacy in nature, and not logically. | |
| From: Francis Bacon (The Advancement of Learning [1605], II.VII.3) | |
| A reaction: I take this to be a splendid motto for scientific essentialism, in a climate where modal logicians appear to have taken over the driving seat in our understanding of essences. |