45 ideas
| 12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
| Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79) | |
| A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me). |
| 12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
| Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77) | |
| A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'. |
| 12454 | Intuitionists only accept denumerable sets [Brouwer] |
| Full Idea: The intuitionist recognises only the existence of denumerable sets. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days. |
| 12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
| Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness. | |
| From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
| A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals. |
| 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. |
| 14064 | If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard] |
| Full Idea: Under certain conditions a clay statue is identical with the piece of clay of which it is made, and if this is so then the identity is contingent. | |
| From: Allan Gibbard (Contingent Identity [1975], Intro) | |
| A reaction: This initiated the modern debate about statues, and it is an attack on Kripke's claim that if two things are identical, then they are necessarily identical. Kripke seems right about Hesperus and Phosphorus, but not about the statue. |
| 14066 | A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard] |
| Full Idea: A 'piece' of clay is a portion of clay which comes into existence when all of its parts come to be stuck to each other, and cease to be stuck to any clay which is not a part of the portion. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: The sort of gormlessly elementary things that philosophers find themselves having to say, but this is a good basic assertion for a discussion of statue and clay, and I can't think of an objection to it. |
| 14067 | Clay and statue are two objects, which can be named and reasoned about [Gibbard] |
| Full Idea: The piece of clay and the statue are 'objects' - that is to say, they can be designated with proper names, and the logic we ordinarily use will still apply. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: An interesting indication of the way that 'object' is used in modern analytic philosophy, which may not be the way that it is used in ordinary English. The number 'seven', for example, seems to be an object by this criterion. |
| 14069 | We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard] |
| Full Idea: To ask meaningfully what that thing would be, we must designate it either as a statue or as a piece of clay. What that thing would be, apart from the way it is designated, is a question without meaning. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: He obviously has a powerful point, but to suggest that we can only investigate a mysterious object once we have designated it as something sounds daft. It would ruin the fun of archaeology. |
| 14076 | Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard] |
| Full Idea: Essentialism for a class of entities is that for one entity and a condition which it fulfills, the question of whether it necessarily fulfills the condition has a definite answer apart from the way the entity is specified. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: Yet another definition of essentialism, but resting, as usual in modern discussions, entirely on the notion of necessity. Kit Fine's challenge is that if you investigate the source of the necessity, it turns out to be an essence. |
| 14077 | Essentialism for concreta is false, since they can come apart under two concepts [Gibbard] |
| Full Idea: Essentialism for the class of concrete things is false, since a statue necessarily fulfils a condition as 'Goliath', but only contingently fulfils it as 'lumpl'. On the other hand, essentialism for the class of individual concepts can be true. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: This rests on his definition of essentialism in Idea 14076. He rests his essentialism about concepts on an account given by Carnap ('Meaning and Necessity' §41). The essence of a statue and the essence of a lump of clay do seem distinct. |
| 14070 | A particular statue has sortal persistence conditions, so its origin defines it [Gibbard] |
| Full Idea: A proper name like 'Goliath' denotes a thing in the actual world, and invokes a sortal with certain persistence criteria. Hence its origin makes a statue the statue that it is, and if statues in different worlds have the same beginning, they are the same. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: Too neat. There are vague, ambiguous and duplicated origins. Persistence criteria can shift during the existence of a thing (like a club which changes its own constitution). In replicated statues, what is the status of the mould? |
| 14073 | Claims on contingent identity seem to violate Leibniz's Law [Gibbard] |
| Full Idea: The most prominent objection to contingent identity (as in the case of the statue and its clay) is that it violates Leibniz's Law. | |
| From: Allan Gibbard (Contingent Identity [1975], V) | |
| A reaction: Depends what you mean by a property. The trickiest one would be that the statue has (right now) a disposition to be worth a lot, but the clay doesn't. But I don't think that is really a property of the statue. Properties are a muddle. |
| 14065 | Two identical things must share properties - including creation and destruction times [Gibbard] |
| Full Idea: For two things to be strictly identical, they must have all properties in common. That means, among other things, that they must start to exist at the same time and cease to exist at the same time. | |
| From: Allan Gibbard (Contingent Identity [1975], I) | |
| A reaction: I don't accept that coming into existence at time t is a 'property' of a thing. Coincident objects give you the notion of 'existing as' something, which complicates the whole story. |
| 14074 | Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard] |
| Full Idea: As a general law of substitutivity of identicals, Leibniz's Law is false. It is a law about properties and relations, that if two things are identical, they have the same properties and relations. It only works in contexts which attribute those. | |
| From: Allan Gibbard (Contingent Identity [1975], V) | |
| A reaction: I'm not convinced about relations, which are not intrinsic properties. Under different descriptions, the relations to human minds might differ. |
| 14072 | Possible worlds identity needs a sortal [Gibbard] |
| Full Idea: Identity across possible worlds makes sense only with respect to a sortal | |
| From: Allan Gibbard (Contingent Identity [1975], IV) | |
| A reaction: See Gibbard's other ideas from this paper. I fear that the sortal invoked is too uncertain and slippery to do any useful job, and I can't see any principled difficulty with naming something before you can think of a sortal for it. |
| 14078 | Only concepts, not individuals, can be the same across possible worlds [Gibbard] |
| Full Idea: It is meaningless to talk of the same concrete thing in different possible worlds, ...but it makes sense to speak of the same individual concept, which is just a function which assigns to each possible world in a set an individual in that world. | |
| From: Allan Gibbard (Contingent Identity [1975], VII) | |
| A reaction: A lovely bold response to the problem of transworld identity, but one which needs investigation. It sounds very promising to me. 'Aristotle' is a cocept, not a name. There is no separate category of 'names'. Wow. (Attach dispositions to concepts?). |
| 14079 | Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard] |
| Full Idea: To use Kripke's semantics, one needs extensive intuitions that certain properties are essential and others accidental. | |
| From: Allan Gibbard (Contingent Identity [1975], X) | |
| A reaction: As usual, we could substitute the word 'necessary' for 'essential' without changing his meaning. If we are always referring to 'our' Hubert Humphrey is speculations about him, then nearly all of his properties will be necessary ones. |
| 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. |
| 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. |
| 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? |
| 10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
| Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions. | |
| From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met. |
| 14071 | Naming a thing in the actual world also invokes some persistence criteria [Gibbard] |
| Full Idea: The reference of a name in the actual world is fixed partly by invoking a set of persistence criteria which determine what thing it names. | |
| From: Allan Gibbard (Contingent Identity [1975], III) | |
| A reaction: This is offered as a modification to Kripke, to deal with the statue and clay. I fear that the 'persistence criteria' may be too vague, and too subject to possible change after the origin, to do the job required. |
| 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) |