50 ideas
13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
Full Idea: Frege (1893) considered a definite description to be a genuine singular term (as we do), so that a sentence like 'The present King of France is bald' would have the same logical form as 'Harry Truman is bald'. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by M Fitting/R Mendelsohn - First-Order Modal Logic | |
A reaction: The difficulty is what the term refers to, and they embrace a degree of Meinongianism - that is that non-existent objects can still have properties attributed to them, and so can be allowed some sort of 'existence'. |
9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
Full Idea: The contradiction in Frege's system is due to the presence of second-order quantification, ..and Frege's explanation of the second-order quantifier, unlike that which he provides for the first-order one, appears to be substitutional rather than objectual. | |
From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], §25) by Michael Dummett - Frege philosophy of mathematics Ch.17 | |
A reaction: In Idea 9871 Dummett adds the further point that Frege lacks a clear notion of the domain of quantification. At this stage I don't fully understand this idea, but it is clearly of significance, so I will return to it. |
18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
Full Idea: If 'number' is the referent of a numerical symbol, a real number is the same as a ratio of quantities. ...A length can have to another length the same ratio as a mass to another mass. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], III.1.73), quoted by Michael Dummett - Frege philosophy of mathematics 21 'Frege's' | |
A reaction: This is part of a critique of Cantor and the Cauchy series approach. Interesting that Frege, who is in the platonist camp, is keen to connect the real numbers with natural phenomena. He is always keen to keep touch with the application of mathematics. |
18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
Full Idea: It cannot be demanded that everything be proved, because that is impossible; but we can require that all propositions used without proof be expressly declared as such, so that we can see distinctly what the whole structure rests upon. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.2), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 7 'What' |
10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
Full Idea: Frege opts for his famous definition of numbers in terms of extensions of the concept 'equal to the concept F', but he then (in 'Grundgesetze') needs a theory of extensions or classes, which he provided by means of Basic Law V. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by B Hale / C Wright - Intro to 'The Reason's Proper Study' §1 |
9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
Full Idea: Cantor pointed out explicitly to Frege that it is a mistake to take the notion of a set (i.e. of that which has a cardinal number) to simply mean the extension of a concept. ...Frege's later assumption of this was an act of recklessness. | |
From: comment on Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by William W. Tait - Frege versus Cantor and Dedekind III | |
A reaction: ['recklessness' is on p.61] Tait has no sympathy with the image of Frege as an intellectual martyr. Frege had insufficient respect for a great genius. Cantor, crucially, understood infinity much better than Frege. |
18165 | My Basic Law V is a law of pure logic [Frege] |
Full Idea: I hold that my Basic Law V is a law of pure logic. | |
From: Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893], p.4), quoted by Penelope Maddy - Naturalism in Mathematics I.1 | |
A reaction: This is, of course, the notorious law which fell foul of Russell's Paradox. It is said to be pure logic, even though it refers to things that are F and things that are G. |
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. |
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? |
9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
Full Idea: In later Frege, a concept could be taken as a particular case of a function, mapping every object on to one of the truth-values (T or F), according as to whether, as we should ordinarily say, that object fell under the concept or not. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Michael Dummett - The Philosophy of Mathematics 3.5 | |
A reaction: As so often in these attempts at explanation, this sounds circular. You can't decide whether an object truly falls under a concept, if you haven't already got the concept. His troubles all arise (I say) because he scorns abstractionist accounts. |
13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
Full Idea: Frege took the study of concepts and their extensions to be within logic. | |
From: report of Gottlob Frege (Grundgesetze der Arithmetik 1 (Basic Laws) [1893]) by Stewart Shapiro - Foundations without Foundationalism 7.1 | |
A reaction: This is part of the plan to make logic a universal language (see Idea 13664). I disagree with this, and with the general logicist view of the position of logic. The logical approach thins concepts out. See Deleuze/Guattari's horror at this. |
20014 | Actions include: the involuntary, the purposeful, the intentional, and the self-consciously autonomous [Wilson/Schpall] |
Full Idea: There are different levels of action, including at least: unconscious and/or involuntary behaviour, purposeful or goal-directed activity, intentional action, and the autonomous acts or actions of self-consciously active human agents. | |
From: Wilson,G/Schpall,S (Action [2012], 1) | |
A reaction: The fourth class is obviously designed to distinguish us from the other animals. It immediately strikes me as very optimistic to distinguish four (at least) clear categories, but you have to start somewhere. |
20019 | Maybe bodily movements are not actions, but only part of an agent's action of moving [Wilson/Schpall] |
Full Idea: Some say that the movement's of agent's body are never actions. It is only the agent's direct moving of, say, his leg that constitutes a physical action; the leg movement is merely caused by and/or incorporated as part of the act of moving. | |
From: Wilson,G/Schpall,S (Action [2012], 1.2) | |
A reaction: [they cite Jennifer Hornsby 1980] It seems normal to deny a twitch the accolade of an 'action', so I suppose that is right. Does the continual movement of my tongue count as action? Only if I bring it under control? Does it matter? Only in forensics. |
20021 | Is the action the arm movement, the whole causal process, or just the trying to do it? [Wilson/Schpall] |
Full Idea: Some philosophers have favored the overt arm movement the agent performs, some favor the extended causal process he initiates, and some prefer the relevant event of trying that precedes and 'generates' the rest. | |
From: Wilson,G/Schpall,S (Action [2012], 1.2) | |
A reaction: [Davidson argues for the second, Hornsby for the third] There seems no way to settle this, and a compromise looks best. Mere movement won't do, and mere trying won't do, and whole processes get out of control. |
20023 | If someone believes they can control the lottery, and then wins, the relevant skill is missing [Wilson/Schpall] |
Full Idea: If someone enters the lottery with the bizarre belief that they can control who wins, and then wins it, that suggest that intentional actions must not depend on sheer luck, but needs competent exercise of the relevant skill. | |
From: Wilson,G/Schpall,S (Action [2012], 2) | |
A reaction: A nice companion to Idea 20022, which show that a mere intention is not sufficient to motivate and explain an action. |
20022 | To be intentional, an action must succeed in the manner in which it was planned [Wilson/Schpall] |
Full Idea: If someone fires a bullet to kill someone, misses, and dislodges hornets that sting him to death, this implies that an intentional action must include succeeding in a manner according to the original plan. | |
From: Wilson,G/Schpall,S (Action [2012], 2) | |
A reaction: [their example, compressed] This resembles Gettier's problem cases for knowledge. If the shooter deliberately and maliciously brought down the hornet's nest, that would be intentional murder. Sounds right. |
20025 | We might intend two ways to acting, knowing only one of them can succeed [Wilson/Schpall] |
Full Idea: If an agent tries to do something by two different means, only one of which can succeed, then the behaviour is rational, even though one of them is an attempt to do an action which cannot succeed. | |
From: Wilson,G/Schpall,S (Action [2012], 2) | |
A reaction: [a concise account of a laborious account of an example from Bratman 1984, 1987] Bratman uses this to challenge the 'Simple View', that intention leads straightforwardly to action. |
20031 | On one model, an intention is belief-desire states, and intentional actions relate to beliefs and desires [Wilson/Schpall] |
Full Idea: On the simple desire-belief model, an intention is a combination of desire-belief states, and an action is intentional in virtue of standing in the appropriate relation to these simpler terms. | |
From: Wilson,G/Schpall,S (Action [2012], 4) | |
A reaction: This is the traditional view found in Hume, and is probably endemic to folk psychology. They cite Bratman 1987 as the main opponent of the view. |
20027 | If there are shared obligations and intentions, we may need a primitive notion of 'joint commitment' [Wilson/Schpall] |
Full Idea: An account of mutual obligation to do something may require that we give up reductive individualist accounts of shared activity and posit a primitive notion of 'joint commitment'. | |
From: Wilson,G/Schpall,S (Action [2012], 2) | |
A reaction: [attributed to Margaret Gilbert 2000] If 'we' are trying to do something, that seems to give an externalist picture of intentions, rather like all the other externalisms floating around these days. I don't buy any of it, me. |
20028 | Groups may act for reasons held by none of the members, so maybe groups are agents [Wilson/Schpall] |
Full Idea: Rational group action may involve a 'collectivising of reasons', with participants acting in ways that are not rationally recommended from the individual viewpoint. This suggests that groups can be rational, intentional agents. | |
From: Wilson,G/Schpall,S (Action [2012], 2) | |
A reaction: [Pettit 2003] is the source for this. Gilbert says individuals can have joint commitment; Pettit says the group can be an independent agent. The matter of shared intentions is interesting, but there is no need for the ontology to go berserk. |
20017 | Weak Cognitivism says intentions are only partly constituted by a belief [Wilson/Schpall] |
Full Idea: A Weak Cognitivist holds that intentions are partly constituted by, but are not identical with, relevant beliefs about the action. Grice (1971) said an intention is willing an action, combined with a belief that this will lead to the action. | |
From: Wilson,G/Schpall,S (Action [2012], 1.1) | |
A reaction: [compressed] I didn't find Strong Cognitivism appealing, but it seems hard to argue with some form of the weak version. |
20018 | Strong Cognitivism implies a mode of 'practical' knowledge, not based on observation [Wilson/Schpall] |
Full Idea: Strong Cognitivists say intentions/beliefs are not based on observation or evidence, and are causally reliable in leading to appropriate actions, so this is a mode of 'practical' knowledge that has not been derived from observation. | |
From: Wilson,G/Schpall,S (Action [2012], 1.1) | |
A reaction: [compressed - Stanford unnecessarily verbose!] I see no mention in this discussion of 'hoping' that your action will turn out OK. We are usually right to hope, but it would be foolish to say that when we reach for the salt we know we won't knock it over. |
20016 | Strong Cognitivism identifies an intention to act with a belief [Wilson/Schpall] |
Full Idea: A Strong Cognitivist is someone who identifies an intention with a certain pertinent belief about what she is doing or about to do. | |
From: Wilson,G/Schpall,S (Action [2012], 1.1) | |
A reaction: (Sarah Paul 2009 makes this distinction) The belief, if so, seems to be as much counterfactual as factual. Hope seems to come into it, which isn't exactly a belief. |
20012 | Maybe the explanation of an action is in the reasons that make it intelligible to the agent [Wilson/Schpall] |
Full Idea: Some have maintained that we explain why an agent acted as he did when we explicate how the agent's normative reasons rendered the action intelligible in his eyes. | |
From: Wilson,G/Schpall,S (Action [2012], Intro) | |
A reaction: Modern psychology is moving against this, by showing how hidden biases can predominate over conscious reasons (as in Kahnemann's work). I would say this mode of explanation works better for highly educated people (but you can chuckle at that). |
20013 | It is generally assumed that reason explanations are causal [Wilson/Schpall] |
Full Idea: The view that reason explanations are somehow causal explanations remains the dominant position. | |
From: Wilson,G/Schpall,S (Action [2012], Intro) | |
A reaction: I suspect that this is only because no philosopher has a better idea, and the whole issue is being slowly outflanked by psychology. |
20029 | Causalists allow purposive explanations, but then reduce the purpose to the action's cause [Wilson/Schpall] |
Full Idea: Most causalists allow that reason explanations are teleological, but say that such purposive explanations are analysable causally, where the primary reasons for the act are the guiding causes of the act. | |
From: Wilson,G/Schpall,S (Action [2012], 3) | |
A reaction: The authors observe that it is hard to adjudicate on this matter, and that the concept of the 'cause' of an action is unclear. |
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) |
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. |
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) |
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) |