Combining Texts

All the ideas for 'works', 'New Scientist articles' and 'Review of Husserl's 'Phil of Arithmetic''

unexpand these ideas     |    start again     |     specify just one area for these texts


66 ideas

1. Philosophy / A. Wisdom / 1. Nature of Wisdom
There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb]
     Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding.
     From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro
     A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea.
2. Reason / A. Nature of Reason / 2. Logos
For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle]
     Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value.
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26
2. Reason / A. Nature of Reason / 4. Aims of Reason
Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle]
     Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos
     From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95
2. Reason / D. Definition / 2. Aims of Definition
A definition need not capture the sense of an expression - just get the reference right [Frege, by Dummett]
     Full Idea: Frege expressly denies that a correct definition need capture the sense of the expression it defines: it need only get the reference right.
     From: report of Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894]) by Michael Dummett - Frege philosophy of mathematics Ch.3
     A reaction: This might hit up against the renate/cordate problem, of two co-extensive concepts, where the definition gets the extension right, but the intension wrong.
2. Reason / D. Definition / 4. Real Definition
Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine]
     Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us.
     From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51
     A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'.
2. Reason / D. Definition / 5. Genus and Differentia
Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson]
     Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined.
     From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157
     A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus?
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Since every definition is an equation, one cannot define equality itself [Frege]
     Full Idea: Since every definition is an equation, one cannot define equality itself.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.327)
     A reaction: This seems a particularly nice instance of the general rule that 'you have to start somewhere'. It is a nice test case for the nature of meaning to ask 'what do you understand when you understand equality?', given that you can't define it.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady]
     Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality.
     From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4
     A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional.
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / e. Counting by correlation
Counting rests on one-one correspondence, of numerals to objects [Frege]
     Full Idea: Counting rests itself on a one-one correlation, namely of numerals 1 to n and the objects.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894]), quoted by Richard G. Heck - Cardinality, Counting and Equinumerosity 3
     A reaction: Parsons observes that counting will establish a one-one correspondence, but that doesn't make it the aim of counting, and so Frege hasn't answered Husserl properly. Which of the two is conceptually prior? How do you decide.
Husserl rests sameness of number on one-one correlation, forgetting the correlation with numbers themselves [Frege]
     Full Idea: When Husserl says that sameness of number can be shown by one-one correlation, he forgets that this counting itself rests on a univocal one-one correlation, namely that between the numerals 1 to n and the objects of the set.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.326)
     A reaction: This is the platonist talking. Neo-logicism is attempting to build numbers just from the one-one correlation of objects.
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
In a number-statement, something is predicated of a concept [Frege]
     Full Idea: In a number-statement, something is predicated of a concept.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.328)
     A reaction: A succinct statement of Frege's theory of numbers. By my lights that would make numbers at least second-order abstractions.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Our concepts recognise existing relations, they don't change them [Frege]
     Full Idea: The bringing of an object under a concept is merely the recognition of a relation which previously already obtained, [but in the abstractionist view] objects are essentially changed by the process, so that objects brought under a concept become similar.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: Frege's view would have to account for occasional misapplications of concepts, like taking a dolphin to be a fish, or falsely thinking there is someone in the cellar.
Numbers are not real like the sea, but (crucially) they are still objective [Frege]
     Full Idea: The sea is something real and a number is not; but this does not prevent it from being something objective; and that is the important thing.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.337)
     A reaction: This seems a qualification of Frege's platonism. It is why people start talking about abstract items which 'subsist', instead of 'exist'. It shows Frege's motivation in all this, which is to secure logic and maths from the vagaries of psychology.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The naïve view of number is that it is like a heap of things, or maybe a property of a heap [Frege]
     Full Idea: The most naïve opinion of number is that it is something like a heap in which things are contained. The next most naïve view is the conception of number as the property of a heap, cleansing the objects of their particulars.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.323)
     A reaction: A hundred toothbrushes and a hundred sponges can be seen to contain the same number (by one-to-one mapping), without actually knowing what that number is. There is something numerical in the heap, even if the number is absent.
7. Existence / A. Nature of Existence / 5. Reason for Existence
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.
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.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
If objects are just presentation, we get increasing abstraction by ignoring their properties [Frege]
     Full Idea: If an object is just presentation, we can pay less attention to a property and it disappears. By letting one characteristic after another disappear, we obtain concepts that are increasingly more abstract.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: Frege despises this view. Note there is scope in the despised view for degrees or levels of abstraction, defined in terms of number of properties ignored. Part of Frege's criticism is realist. He retains the object, while Husserl imagines it different.
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki]
     Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6
     A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter.
9. Objects / C. Structure of Objects / 2. Hylomorphism / d. Form as unifier
The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki]
     Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5
     A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code]
     Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive.
     From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle
     A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap.
12. Knowledge Sources / A. A Priori Knowledge / 1. Nature of the A Priori
The notion of a priori truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of a priori truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11240.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M]
     Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience.
     From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173
     A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences.
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML]
     Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims.
     From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5
     A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages).
14. Science / A. Basis of Science / 4. Prediction
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.
14. Science / B. Scientific Theories / 1. Scientific Theory
Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik]
     Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances.
     From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1
14. Science / D. Explanation / 1. Explanation / a. Explanation
Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis]
     Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us).
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1
     A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA]
     Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general.
     From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung]
     Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work.
     From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV
     A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object.
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
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.
18. Thought / A. Modes of Thought / 1. Thought
Many people have the same thought, which is the component, not the private presentation [Frege]
     Full Idea: The same thought can be grasped by many people. The components of a thought, and even more so the things themselves, must be distinguished from the presentations which in the soul accompany the grasping of a thought.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.325)
     A reaction: This is the basic realisation, also found in Russell, of how so much confusion has crept into philosophy, in Berkeley, for example. Frege starts down the road which leads to the externalist view of content.
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
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.
18. Thought / A. Modes of Thought / 5. Rationality / c. Animal rationality
Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji]
     Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals.
     From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial'
     A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived.
18. Thought / A. Modes of Thought / 7. Intelligence
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.
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'.
18. Thought / B. Mechanics of Thought / 1. Psychology
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?
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
Disregarding properties of two cats still leaves different objects, but what is now the difference? [Frege]
     Full Idea: If from a black cat and a white cat we disregard colour, then posture, then location, ..we finally derive something which is completely without restrictions on content; but what is derived from the objects does differ, although it is not easy to say how.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.324)
     A reaction: This is a key objection to abstractionism for Frege - we are counting two cats, not two substrata of essential catness, or whatever. But what makes a cat countable? (Key question!) It isn't its colour, or posture or location.
How do you find the right level of inattention; you eliminate too many or too few characteristics [Frege]
     Full Idea: Inattention is a very strong lye which must not be too concentrated, or it dissolves everything (such as the connection between the objects), but must not be too weak, to produce sufficient change. Personally I cannot find the proper dilution.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.330)
     A reaction: We may sympathise with the lack of precision here (frustrating for a logician), but it is not difficult to say of a baseball defence 'just concentrate on the relations, and ignore the individuals who implement it'. You retain basic baseball skills.
18. Thought / E. Abstraction / 8. Abstractionism Critique
Number-abstraction somehow makes things identical without changing them! [Frege]
     Full Idea: Number-abstraction simply has the wonderful and very fruitful property of making things absolutely the same as one another without altering them. Something like this is possible only in the psychological wash-tub.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.332)
     A reaction: Frege can be awfully sarcastic. I don't really see his difficulty. For mathematics we only need to know what is countable about an object - we don't need to know how many hairs there are on the cat, only that it has identity.
19. Language / A. Nature of Meaning / 2. Meaning as Mental
Psychological logicians are concerned with sense of words, but mathematicians study the reference [Frege]
     Full Idea: The psychological logicians are concerned with the sense of the words and with the presentations, which they do not distinguish from the sense; but the mathematicians are concerned with the matter itself, with the reference of the words.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.326)
     A reaction: This is helpful for showing the point of his sense/reference distinction; it is part of his campaign against psychologism, by showing that there is a non-psychological component to language - the reference, where it meets the public world.
Identity baffles psychologists, since A and B must be presented differently to identify them [Frege]
     Full Idea: The relation of sameness remains puzzling to a psychological logician. They cannot say 'A is the same as B', because that requires distinguishing A from B, so that these would have to be different presentations.
     From: Gottlob Frege (Review of Husserl's 'Phil of Arithmetic' [1894], p.327)
     A reaction: This is why Frege needed the concept of reference, so that identity could be outside the mind (as in Hesperus = Phosophorus). Think about an electron; now think about a different electron.
19. Language / E. Analyticity / 2. Analytic Truths
The notion of analytic truth is absent in Aristotle [Aristotle, by Politis]
     Full Idea: The notion of analytic truth is conspicuously absent in Aristotle.
     From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5
     A reaction: Cf. Idea 11239.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin]
     Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it.
     From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1
     A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586!
25. Social Practice / E. Policies / 5. Education / a. Aims of education
It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle]
     Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it.
     From: Aristotle (works [c.330 BCE])
     A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance.
25. Social Practice / E. Policies / 5. Education / b. Education principles
Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius]
     Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead."
     From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend]
     Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent.
     From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3
     A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle.
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / a. Greek matter
Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins]
     Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter.
     From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2
     A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now.
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / d. Entropy
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)
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / a. Electrodynamics
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.
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
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.
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]
27. Natural Reality / B. Modern Physics / 5. Unified Models / b. String theory
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'.
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.
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)
27. Natural Reality / C. Space / 2. Space
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)
27. Natural Reality / C. Space / 6. Space-Time
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)
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.
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.
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
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)
27. Natural Reality / D. Time / 2. Passage of Time / g. Time's arrow
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]
27. Natural Reality / E. Cosmology / 7. Black Holes
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.
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)
27. Natural Reality / E. Cosmology / 8. Dark Matter
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)
27. Natural Reality / F. Chemistry / 1. Chemistry
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)
27. Natural Reality / F. Chemistry / 3. Periodic Table
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)
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus]
     Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena.
     From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20
     A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul).