20 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. |
| 19404 | Necessities rest on contradiction, and contingencies on sufficient reason [Leibniz] |
| Full Idea: The principle of contradiction is the principle of necessity, and the principle that a sufficient reason must be given is the principle of contingency. | |
| From: Gottfried Leibniz (On Sufficient Reason [1686], p.95) | |
| A reaction: [this paragraph is actually undated] Contradictions occur in concrete actuality, as well as in theories and formal systems. If so, then there are necessities in nature. Are they discoverable a posteriori? Leibniz says not. |
| 13430 | Infinity: there is an infinity of distinguishable individuals [Ramsey] |
| Full Idea: The Axiom of Infinity means that there are an infinity of distinguishable individuals, which is an empirical proposition. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], §5) | |
| A reaction: The Axiom sounds absurd, as a part of a logical system, but Ramsey ends up defending it. Logical tautologies, which seem to be obviously true, are rendered absurd if they don't refer to any objects, and some of them refer to infinities of objects. |
| 13428 | Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey] |
| Full Idea: The Axiom of Reducibility asserted that to every non-elementary function there is an equivalent elementary function [note: two functions are equivalent when the same arguments render them both true or both false]. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], §2) | |
| A reaction: Ramsey in the business of showing that this axiom from Russell and Whitehead is not needed. He says that the axiom seems to be needed for induction and for Dedekind cuts. Since the cuts rest on it, and it is weak, Ramsey says it must go. |
| 13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey] |
| Full Idea: In 'a = b' either 'a' and 'b' are names of the same thing, in which case the proposition says nothing, or of different things, in which case it is absurd. In neither case is it an assertion of a fact; it only asserts when a or b are descriptions. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
| A reaction: This is essentially Frege's problem with Hesperus and Phosphorus. How can identities be informative? So 2+2=4 is extensionally vacuous, but informative because they are different descriptions. |
| 13334 | Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey] |
| Full Idea: Group A consists of contradictions which would occur in a logical or mathematical system, involving terms such as class or number. Group B contradictions are not purely logical, and contain some reference to thought, language or symbolism. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.171), quoted by Graham Priest - The Structure of Paradoxes of Self-Reference 1 | |
| A reaction: This has become the orthodox division of all paradoxes, but the division is challenged by Priest (Idea 13373). He suggests that we now realise (post-Tarski?) that language is more involved in logic and mathematics than we thought. |
| 13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey] |
| Full Idea: The formalists neglected the content altogether and made mathematics meaningless, but the logicians neglected the form and made mathematics consist of any true generalisations; only by taking account of both sides can we obtain an adequate theory. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
| A reaction: He says mathematics is 'tautological generalizations'. It is a criticism of modern structuralism that it overemphasises form, and fails to pay attention to the meaning of the concepts which stand at the 'nodes' of the structure. |
| 13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey] |
| Full Idea: The hopelessly inadequate formalist theory is, to some extent, the result of considering only the propositions of mathematics and neglecting the analysis of its concepts. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], §1) | |
| A reaction: You'll have to read Ramsey to see how this thought pans out, but it at least gives a pointer to how to go about addressing the question. |
| 22328 | I just confront the evidence, and let it act on me [Ramsey] |
| Full Idea: I can but put the evidence before me, and let it act on my mind. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.202), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 70 'Deg' | |
| A reaction: Potter calls this observation 'downbeat', but I am an enthusiastic fan. It is roughly my view of both concept formation and of knowledge. You soak up the world, and respond appropriately. The trick is in the selection of evidence to confront. |
| 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. |
| 22325 | A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey] |
| Full Idea: I have always said that a belief was knowledge if it was 1) true, ii) certain, iii) obtained by a reliable process. | |
| From: Frank P. Ramsey (The Foundations of Mathematics [1925], p.258), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 66 'Rel' | |
| A reaction: Not sure why it has to be 'certain' as well as 'true'. It seems that 'true' is objective, and 'certain' subjective. I think I know lots of things of which I am not fully certain. Reliabilism long preceded Alvin Goldman. |
| 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. |
| 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! |
| 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. |
| 19403 | Each of the infinite possible worlds has its own laws, and the individuals contain those laws [Leibniz] |
| Full Idea: As there are an infinity of possible worlds, there are also an infinity of laws, some proper to one, another to another, and each possible individual of any world contains in its own notion the laws of its world. | |
| From: Gottfried Leibniz (On Sufficient Reason [1686], p.95) | |
| A reaction: Hence Leibniz is not really a scientific essentialist, in that he doesn't think the laws arise out of the nature of the matter consituting the world. I wonder if the primitive matter of bodies which attaches to the monads is the same in each world? |