41 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. |
| 11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
| Full Idea: Gentzen introduced a natural deduction calculus (NK) in 1934. | |
| From: report of Gerhard Gentzen (works [1938]) by Stephen Read - Thinking About Logic Ch.8 |
| 11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
| Full Idea: Gentzen argued that the inferential role of a logical constant constitutes its meaning. | |
| From: report of Gerhard Gentzen (works [1938]) by Robert Hanna - Rationality and Logic 5.3 | |
| A reaction: Possibly inspired by Wittgenstein's theory of meaning as use? This idea was the target of Prior's famous connective 'tonk', which has the role of implying anything you like, proving sentences which are not logical consequences. |
| 11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
| Full Idea: The introduction rules represent, as it were, the 'definitions' of the symbols concerned, and the elimination rules are no more, in the final analysis, than the consequences of these definitions. | |
| From: Gerhard Gentzen (works [1938]), quoted by Stephen Read - Thinking About Logic Ch.8 | |
| A reaction: If an introduction-rule (or a truth table) were taken as fixed and beyond dispute, then it would have the status of a definition, since there would be nothing else to appeal to. So is there anything else to appeal to here? |
| 11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
| Full Idea: To every logical symbol there belongs precisely one inference figure which 'introduces' the symbol ..and one which 'eliminates' it. The introductions represent the 'definitions' of the symbols concerned, and eliminations are consequences of these. | |
| From: Gerhard Gentzen (works [1938], II.5.13), quoted by Ian Rumfitt - "Yes" and "No" III | |
| A reaction: [1935 paper] This passage is famous, in laying down the basics of natural deduction systems of logic (ones using only rules, and avoiding axioms). Rumfitt questions whether Gentzen's account gives the sense of the connectives. |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| Full Idea: Gentzen proved the consistency of arithmetic from assumptions which transcend arithmetic. | |
| From: report of Gerhard Gentzen (works [1938]) by Alan Musgrave - Logicism Revisited §5 | |
| A reaction: This does not contradict Gödel's famous result, but reinforces it. The interesting question is what assumptions Gentzen felt he had to make. |
| 19482 | Current physics says matter and antimatter should have reduced to light at the big bang [New Sci.] |
| Full Idea: Our best theories of physics imply we shouldn't be here. The big bang ought to have produced equal amounts of matter and antimatter particles, which would have almost immediately annihilated each other, leaving nothing but light. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.05.23) | |
| A reaction: This is not, of course, a rejection of physics, but a puzzle about the current standard model of physics. |
| 19483 | CP violation shows a decay imbalance in matter and antimatter, leading to matter's dominance [New Sci.] |
| Full Idea: The phenomenon of charge-parity (CP) violation says that under certain circumstances antiparticles decay at different rates from their matter counterpart. ...This might explain matter's dominance in the universe, but the effect is too small. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.05.23) | |
| A reaction: Physicists are currently studying CP violations, hoping to explain why there is any matter in the universe. This will not, I presume, explain why matter and antimatter arrived in the first place. |
| 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. |
| 19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
| Full Idea: If we can train a system for prediction, it can essentially infer the structure of the world it's looking at by doing this prediction. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.12.12) | |
| A reaction: [AI expert] This seems to be powerful support for the centrality of mathematical laws of nature in achieving understanding of the world. We may downplay the 'mere' ability to predict, but this idea says that the rewards of prediction are very great. |
| 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! |
| 19736 | Neural networks can extract the car-ness of a car, or the chair-ness of a chair [New Sci.] |
| Full Idea: Early neural nets were really good at recognising general categories, such as a car or a chair. Those networks are good at extracting the 'chair-ness' or the 'car-ness' of the object. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.12.12) | |
| A reaction: [Interview with Yann LeCun, Facebook AI director] Fregean philosophers such as Geach think that extracting features is a ridiculous idea, but if even a machine can do it then I suspect that human beings can (and do) manage it too. |
| 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. |
| 16419 | No one has yet devised a rationality test [New Sci.] |
| Full Idea: The financial sector has been clamouring for a rationality test for years. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: Many aspects of intelligence tests do actually pick out what I would call rationality (which includes 'rational intuition', a new favourite of mine). But they are mixed in with rather mechanical geeky sort of tests. |
| 16417 | About a third of variation in human intelligence is environmental [New Sci.] |
| Full Idea: Possibly a third of the variation in our intelligence is down to the environment in which we grew up - nutrition and education, for example. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: This presumably leaves the other two-thirds to derive from genetics. I am a big believer in environment. Swapping babies between extremes of cultural environment would hugely affect intelligence, say I. |
| 16418 | People can be highly intelligent, yet very stupid [New Sci.] |
| Full Idea: You really can be highly intelligent, and at the same time very stupid. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) | |
| A reaction: This is closely related to my observation (from a lifetime of study) that a talent for philosophy has a very limited correlation with standard notions of high intelligence. What matters is how conscious reasoning and intuition relate. Greek 'phronesis'. |
| 19484 | Psychologists measure personality along five dimensions [New Sci.] |
| Full Idea: Psychologists have long thought that measuring on a scale of just five personality dimensions - agreeableness, extroversion, neuroticism, conscientiousness and openness to new experiences - can capture all human variations in behaviour and attitude. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.06.13) | |
| A reaction: Researchers are considering a sixth - called 'honesty-humility' - which is roughly how devious people are. The five mentioned here seem to be a well entrenched orthodoxy among professional psychologists. Is personality more superficial than character? |
| 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. |
| 19950 | Entropy is the only time-asymmetric law, so time may be linked to entropy [New Sci.] |
| Full Idea: All our physical laws are time-symmetric, ...so things can run forwards or backwards. But entropy is an exception, saying that disorder increases over time. Many physicists therefore suspect that the flow of time is linked to entropy. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19478 | Light moves at a constant space-time speed, but its direction is in neither space nor time [New Sci.] |
| Full Idea: A light ray always moves at one unit of space per unit of time - a constant diagonal on the graph. ...But the direction that light rays travel in is neither space nor time, and is called 'null'. It is on the edge between space and time. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Don't understand this, but it sounds fun. |
| 19474 | Quantum states are measured by external time, of unknown origin [New Sci.] |
| Full Idea: When we measure the evolution of a quantum state, it is to the beat of an external timepiece of unknown provenance. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: It is best not to leap to philosophical conclusions when studying modern physics. Evidently time has a very different status in quantum mechanics and in relativity theory. |
| 19473 | The Schrödinger equation describes the evolution of an object's wave function in Hilbert space [New Sci.] |
| Full Idea: A quantum object's state is described by a wave function living in Hilbert space, encompassing all of its possible states. We see how the wave function evolves in time, moving from one state to another, using the Schrödinger equation. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: [These idea are basic explanations for non-scientific philosophers - please forgive anything that makes you wince] |
| 19953 | In string theory space-time has a grainy indivisible substructure [New Sci.] |
| Full Idea: String theory suggests that space-time has a grainy substructure - you can't keep chopping it indefinitely into smaller and smaller pieces. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) | |
| A reaction: Presumably the proposal is that strings are the true 'atoms'. |
| 19476 | String theory needs at least 10 space-time dimensions [New Sci.] |
| Full Idea: String theory needs at least 10 space-time dimensions to be mathematically consistent. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Apparently because of 'Ads/CFT', it may be possible to swap this situation for a more tractable 4-dimensional version. |
| 19954 | It is impossible for find a model of actuality among the innumerable models in string theory [New Sci.] |
| Full Idea: String theory has more than 10-to-the-500th solutions, each describing a different sort of universe, so it is nigh-on impossible to find the one solution that corresponds to our geometrically flat, expanding space-time full of particles. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) |
| 19947 | Hilbert Space is an abstraction representing all possible states of a quantum system [New Sci.] |
| Full Idea: The elements of the abstract mathematical entity called Hilbert Space represent all the possible states of a quantum system | |
| From: New Scientist writers (New Scientist articles [2013], 1017.02.04) |
| 19948 | Einstein's merging of time with space has left us confused about the nature of time [New Sci.] |
| Full Idea: Our hunt for the most basic ingredients of reality has left us muddled about the status of time. One culprit for this was Einstein, whose theory of general relativity merged time with space. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19475 | Relativity makes time and space jointly basic; quantum theory splits them, and prioritises time [New Sci.] |
| Full Idea: Relativity says space and time are on the same footing - together they are the fabric of reality. Quantum mechanics, on the other hand, treats time and space differently, with time occasionally seeming more fundamental. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Interesting. When talking about time, people glibly cite relativistic space-time to tell you that time is just another dimension. Now I can reply 'Aaah, but what about time in quantum mechanics? Eh? Eh?'. Excellent. |
| 19955 | Space-time may be a geometrical manifestation of quantum entanglement [New Sci.] |
| Full Idea: A promising theory (based on the 'Maldacena duality' - that string equations for gravity are the same as quantum equations for surface area) is that space-time is really just geometrical manifestations of quantum entanglement. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) | |
| A reaction: This is a speculation which might unite the incompatible quantum and general relativity theories. |
| 19949 | Quantum theory relies on a clock outside the system - but where is it located? [New Sci.] |
| Full Idea: After general relativity, quantum mechanics reinstated our familiar notion of time. The buzzing of the quantum world plays out according to the authoritative tick of a clock outside the described system, ...but where is this clock doing its ticking? | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) |
| 19951 | Entropy is puzzling, so we may need to build new laws which include time directionality [New Sci.] |
| Full Idea: Smolin observes that if entropy increases, the early universe must have been highly ordered, which we cannot explain. Maybe we need to build time directionality into the laws, instead of making time depend on entropy. | |
| From: New Scientist writers (New Scientist articles [2013], 2017.02.04) | |
| A reaction: [compressed] |
| 19477 | General relativity predicts black holes, as former massive stars, and as galaxy centres [New Sci.] |
| Full Idea: Black holes are predicted by general relativity, and are thought to exist where massive stars once lived, as well as at the heart of every galaxy. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.06.15) | |
| A reaction: Since black holes now seem to be a certainty, that is one hell of an impressive prediction. |
| 19952 | Black holes have entropy, but general relativity says they are unstructured, and lack entropy [New Sci.] |
| Full Idea: Black holes have a temperature, and hence entropy. ...But if a black hole are just an extreme scrunching of smooth space-time, it should have no substructure, and thus no entropy. This is probably the most obvious incompleteness of general relativity. | |
| From: New Scientist writers (New Scientist articles [2013], 2015.11.07) |
| 16420 | 84.5 percent of the universe is made of dark matter [New Sci.] |
| Full Idea: Dark matter makes up 84.5 percent of the universe's matter. | |
| From: New Scientist writers (New Scientist articles [2013], 2013.10.29) |
| 17604 | We are halfway to synthesising any molecule we want [New Sci.] |
| Full Idea: Ei-ichi Negishi (Nobel chemist of 2010) says 'the ultimate goal is to be able to synthesise any molecule we want. We are probably about halfway there'. | |
| From: New Scientist writers (New Scientist articles [2013], 2010.10.16) |
| 17603 | Chemistry just needs the periodic table, and protons, electrons and neutrinos [New Sci.] |
| Full Idea: Ei-ichi Negishi (Nobel chemist of 2010) says 'I work with the periodic table in front of me at all times, and approach all challenges in terms of three particles, positively charged protons, negatively charged electrons, and neutral neutrinos'. | |
| From: New Scientist writers (New Scientist articles [2013], 2010.10.16) |