78 ideas
| 15413 | With four tense operators, all complex tenses reduce to fourteen basic cases [Burgess] |
| Full Idea: Fand P as 'will' and 'was', G as 'always going to be', H as 'always has been', all tenses reduce to 14 cases: the past series, each implying the next, FH,H,PH,HP,P,GP, and the future series PG,G,FG,GF,F,HF, plus GH=HG implying all, FP=PF which all imply. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.8) | |
| A reaction: I have tried to translate the fourteen into English, but am not quite confident enough to publish them here. I leave it as an exercise for the reader. |
| 15415 | The temporal Barcan formulas fix what exists, which seems absurd [Burgess] |
| Full Idea: In temporal logic, if the converse Barcan formula holds then nothing goes out of existence, and the direct Barcan formula holds if nothing ever comes into existence. These results highlight the intuitive absurdity of the Barcan formulas. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This is my reaction to the modal cases as well - the absurdity of thinking that no actually nonexistent thing might possibly have existed, or that the actual existents might not have existed. Williamson seems to be the biggest friend of the formulas. |
| 15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
| Full Idea: From one point of view intuitionistic logic is a part of classical logic, missing one axiom, from another classical logic is a part of intuitionistic logic, missing two connectives, intuitionistic v and → | |
| From: John P. Burgess (Philosophical Logic [2009], 6.4) |
| 15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
| Full Idea: The question of the completeness of the full intuitionistic logic for its intended interpretation is not yet fully resolved. | |
| From: John P. Burgess (Philosophical Logic [2009], 6.9) |
| 15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |
| Full Idea: The relevantist logician's → is perhaps expressible by 'if A, then B, for that reason'. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.8) |
| 15404 | Technical people see logic as any formal system that can be studied, not a study of argument validity [Burgess] |
| Full Idea: Among the more technically oriented a 'logic' no longer means a theory about which forms of argument are valid, but rather means any formalism, regardless of its applications, that resembles original logic enough to be studied by similar methods. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: There doesn't seem to be any great intellectual obligation to be 'technical'. As far as pure logic is concerned, I am very drawn to the computer approach, since I take that to be the original dream of Aristotle and Leibniz - impersonal precision. |
| 15405 | Classical logic neglects the non-mathematical, such as temporality or modality [Burgess] |
| Full Idea: There are topics of great philosophical interest that classical logic neglects because they are not important to mathematics. …These include distinctions of past, present and future, or of necessary, actual and possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.1) |
| 15421 | Classical logic neglects counterfactuals, temporality and modality, because maths doesn't use them [Burgess] |
| Full Idea: Classical logic neglects counterfactual conditionals for the same reason it neglects temporal and modal distinctions, namely, that they play no serious role in mathematics. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.1) | |
| A reaction: Science obviously needs counterfactuals, and metaphysics needs modality. Maybe so-called 'classical' logic will be renamed 'basic mathematical logic'. Philosophy will become a lot clearer when that happens. |
| 15427 | The Cut Rule expresses the classical idea that entailment is transitive [Burgess] |
| Full Idea: The Cut rule (from A|-B and B|-C, infer A|-C) directly expresses the classical doctrine that entailment is transitive. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15403 | Philosophical logic is a branch of logic, and is now centred in computer science [Burgess] |
| Full Idea: Philosophical logic is a branch of logic, a technical subject. …Its centre of gravity today lies in theoretical computer science. | |
| From: John P. Burgess (Philosophical Logic [2009], Pref) | |
| A reaction: He firmly distinguishes it from 'philosophy of logic', but doesn't spell it out. I take it that philosophical logic concerns metaprinciples which compare logical systems, and suggest new lines of research. Philosophy of logic seems more like metaphysics. |
| 15407 | Formalising arguments favours lots of connectives; proving things favours having very few [Burgess] |
| Full Idea: When formalising arguments it is convenient to have as many connectives as possible available.; but when proving results about formulas it is convenient to have as few as possible. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: Illuminating. The fact that you can whittle classical logic down to two (or even fewer!) connectives warms the heart of technicians, but makes connection to real life much more difficult. Hence a bunch of extras get added. |
| 15424 | Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess] |
| Full Idea: Gricean implicature theory might suggest that a disjunction is never assertable when a disjunct is (though actually the disjunction might be 'pertinent') - but the procedure is indispensable in mathematical practice. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.2) | |
| A reaction: He gives an example of a proof in maths which needs it, and an unusual conversational occasion where it makes sense. |
| 15409 | All occurrences of variables in atomic formulas are free [Burgess] |
| Full Idea: All occurrences of variables in atomic formulas are free. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.7) |
| 15414 | The denotation of a definite description is flexible, rather than rigid [Burgess] |
| Full Idea: By contrast to rigidly designating proper names, …the denotation of definite descriptions is (in general) not rigid but flexible. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.9) | |
| A reaction: This modern way of putting it greatly clarifies why Russell was interested in the type of reference involved in definite descriptions. Obviously some descriptions (such as 'the only person who could ever have…') might be rigid. |
| 15406 | 'Induction' and 'recursion' on complexity prove by connecting a formula to its atomic components [Burgess] |
| Full Idea: There are atomic formulas, and formulas built from the connectives, and that is all. We show that all formulas have some property, first for the atomics, then the others. This proof is 'induction on complexity'; we also use 'recursion on complexity'. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.4) | |
| A reaction: That is: 'induction on complexity' builds a proof from atomics, via connectives; 'recursion on complexity' breaks down to the atomics, also via the connectives. You prove something by showing it is rooted in simple truths. |
| 15425 | The sequent calculus makes it possible to have proof without transitivity of entailment [Burgess] |
| Full Idea: It might be wondered how one could have any kind of proof procedure at all if transitivity of entailment is disallowed, but the sequent calculus can get around the difficulty. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) | |
| A reaction: He gives examples where transitivity of entailment (so that you can build endless chains of deductions) might fail. This is the point of the 'cut free' version of sequent calculus, since the cut rule allows transitivity. |
| 15426 | We can build one expanding sequence, instead of a chain of deductions [Burgess] |
| Full Idea: Instead of demonstrations which are either axioms, or follow from axioms by rules, we can have one ever-growing sequence of formulas of the form 'Axioms |- ______', where the blank is filled by Axioms, then Lemmas, then Theorems, then Corollaries. | |
| From: John P. Burgess (Philosophical Logic [2009], 5.3) |
| 15408 | 'Tautologies' are valid formulas of classical sentential logic - or substitution instances in other logics [Burgess] |
| Full Idea: The valid formulas of classical sentential logic are called 'tautologically valid', or simply 'tautologies'; with other logics 'tautologies' are formulas that are substitution instances of valid formulas of classical sentential logic. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.5) |
| 15418 | Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency [Burgess] |
| Full Idea: Validity (truth by virtue of logical form alone) and demonstrability (provability by virtue of logical form alone) have correlative notions of logical possibility, 'satisfiability' and 'consistency', which come apart in some logics. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) |
| 15411 | We only need to study mathematical models, since all other models are isomorphic to these [Burgess] |
| Full Idea: In practice there is no need to consider any but mathematical models, models whose universes consist of mathematical objects, since every model is isomorphic to one of these. | |
| From: John P. Burgess (Philosophical Logic [2009], 1.8) | |
| A reaction: The crucial link is the technique of Gödel Numbering, which can translate any verbal formula into numerical form. He adds that, because of the Löwenheim-Skolem theorem only subsets of the natural numbers need be considered. |
| 15412 | Models leave out meaning, and just focus on truth values [Burgess] |
| Full Idea: Models generally deliberately leave out meaning, retaining only what is important for the determination of truth values. | |
| From: John P. Burgess (Philosophical Logic [2009], 2.2) | |
| A reaction: This is the key point to hang on to, if you are to avoid confusing mathematical models with models of things in the real world. |
| 15416 | We aim to get the technical notion of truth in all models matching intuitive truth in all instances [Burgess] |
| Full Idea: The aim in setting up a model theory is that the technical notion of truth in all models should agree with the intuitive notion of truth in all instances. A model is supposed to represent everything about an instance that matters for its truth. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.2) |
| 15428 | The Liar seems like a truth-value 'gap', but dialethists see it as a 'glut' [Burgess] |
| Full Idea: It is a common view that the liar sentence ('This very sentence is not true') is an instance of a truth-value gap (neither true nor false), but some dialethists cite it as an example of a truth-value glut (both true and false). | |
| From: John P. Burgess (Philosophical Logic [2009], 5.7) | |
| A reaction: The defence of the glut view must be that it is true, then it is false, then it is true... Could it manage both at once? |
| 458 | Nothing could come out of nothing, and existence could never completely cease [Empedocles] |
| Full Idea: From what in no wise exists, it is impossible for anything to come into being; for Being to perish completely is incapable of fulfilment and unthinkable. | |
| From: Empedocles (fragments/reports [c.453 BCE], B012), quoted by Anon (Lyc) - On Melissus 975b1-4 | |
| A reaction: The first statement of a conservation law. Modern physics is wonderful, but hasn't offered a flicker of an answer to this puzzle. Quantum fluctuations are a mode of Being. |
| 5112 | Empedocles says things are at rest, unless love unites them, or hatred splits them [Empedocles, by Aristotle] |
| Full Idea: Empedocles claims that things are alternately changing and at rest - that they are changing whenever love is creating a unity out of plurality, or hatred is creating plurality out of unity, and they are at rest in the times in between. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Physics 250b26 | |
| A reaction: I suppose one must say that this an example of Ruskin's 'pathetic fallacy' - reading human emotions into the cosmos. Being constructive little creatures, we think goodness leads to construction. I'm afraid Empedocles is just wrong. |
| 13209 | There is no coming-to-be of anything, but only mixing and separating [Empedocles, by Aristotle] |
| Full Idea: Empedocles says there is no coming-to-be of anything, but only a mingling and a divorce of what has been mingled. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314b08 | |
| A reaction: Aristotle comments that this prevents Empedocleans from distinguishing between superficial alteration and fundamental change of identity. Presumably, though, that wouldn't bother them. |
| 457 | Substance is not created or destroyed in mortals, but there is only mixing and exchange [Empedocles] |
| Full Idea: There is no creation of substance in any one of mortal existence, nor any end in execrable death, but only mixing and exchange of what has been mixed. | |
| From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Plutarch - 74: Reply to Colotes 1111f | |
| A reaction: also Aristotle 314b08 |
| 15420 | De re modality seems to apply to objects a concept intended for sentences [Burgess] |
| Full Idea: There is a problem over 'de re' modality (as contrasted with 'de dicto'), as in ∃x□x. What is meant by '"it is analytic that Px" is satisfied by a', given that analyticity is a notion that in the first instance applies to complete sentences? | |
| From: John P. Burgess (Philosophical Logic [2009], 3.9) | |
| A reaction: This is Burgess's summary of one of Quine's original objections. The issue may be a distinction between whether the sentence is analytic, and what makes it analytic. The necessity of bachelors being unmarried makes that sentence analytic. |
| 15419 | General consensus is S5 for logical modality of validity, and S4 for proof [Burgess] |
| Full Idea: To the extent that there is any conventional wisdom about the question, it is that S5 is correct for alethic logical modality, and S4 correct for apodictic logical modality. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.8) | |
| A reaction: In classical logic these coincide, so presumably one should use the minimum system to do the job, which is S4 (?). |
| 15417 | Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess] |
| Full Idea: Logical necessity is a genus with two species. For classical logic the truth-related notion of validity and the proof-related notion of demonstrability, coincide - but they are distinct concept. In some logics they come apart, in intension and extension. | |
| From: John P. Burgess (Philosophical Logic [2009], 3.3) | |
| A reaction: They coincide in classical logic because it is sound and complete. This strikes me as the correct approach to logical necessity, tying it to the actual nature of logic, rather than some handwavy notion of just 'true in all possible worlds'. |
| 15422 | Three conditionals theories: Materialism (material conditional), Idealism (true=assertable), Nihilism (no truth) [Burgess] |
| Full Idea: Three main theories of the truth of indicative conditionals are Materialism (the conditions are the same as for the material conditional), Idealism (identifying assertability with truth-value), and Nihilism (no truth, just assertability). | |
| From: John P. Burgess (Philosophical Logic [2009], 4.3) |
| 15423 | It is doubtful whether the negation of a conditional has any clear meaning [Burgess] |
| Full Idea: It is contentious whether conditionals have negations, and whether 'it is not the case that if A,B' has any clear meaning. | |
| From: John P. Burgess (Philosophical Logic [2009], 4.9) | |
| A reaction: This seems to be connected to Lewis's proof that a probability conditional cannot be reduced to a single proposition. If a conditional only applies to A-worlds, it is not surprising that its meaning gets lost when it leaves that world. |
| 462 | One vision is produced by both eyes [Empedocles] |
| Full Idea: One vision is produced by both eyes | |
| From: Empedocles (fragments/reports [c.453 BCE], B088), quoted by Strabo - works 8.364.3 |
| 17405 | If a theory can be fudged, so can observations [Scerri] |
| Full Idea: A theorist may have designed his theory to fit the facts, but is it not equally possible for observers to be influenced by a theory in their report of experimental facts? | |
| From: Eric R. Scerri (The Periodic Table [2007], 05 'Power') | |
| A reaction: This is in reply to Lipton's claim that prediction is better than accommodation because of the 'fudging' problem. The reply is that you might fudge to achieve a prediction. If it was correct, that wouldn't avoid the charge of fudging. |
| 17397 | The periodic system is the big counterexample to Kuhn's theory of revolutionary science [Scerri] |
| Full Idea: The history of the periodic system appears to be the supreme counterexample to Kuhn's thesis, whereby scientific developments proceed in a sudden, revolutionary fashion. | |
| From: Eric R. Scerri (The Periodic Table [2007], 03 'Rapid') | |
| A reaction: What is lovely about the periodic table is that it seems so wonderfully right, and hence no revolution has ever been needed. The big theories of physics and cosmology are much more precarious. |
| 17393 | Scientists eventually seek underlying explanations for every pattern [Scerri] |
| Full Idea: Whenever scientists are presented with a useful pattern or system of classification, it is only a matter of time before the begin to ask whether there may be some underlying explanation for the pattern. | |
| From: Eric R. Scerri (The Periodic Table [2007], Intro 'Evol') | |
| A reaction: Music to my ears, against the idea that the sole aim of science is accurately describe the patterns. |
| 17403 | The periodic table suggests accommodation to facts rates above prediction [Scerri] |
| Full Idea: Rather than proving the value of prediction, the development and acceptance of the periodic table may give us a powerful illustration of the importance of accommodation, that is, the ability of a new scientific theory to explain already known facts. | |
| From: Eric R. Scerri (The Periodic Table [2007], 05 'Intro') | |
| A reaction: The original table made famous predictions, but also just as many wrong ones (Scerri:143), and Scerri thinks this aspect has been overrated. |
| 22765 | Wisdom and thought are shared by all things [Empedocles] |
| Full Idea: Wisdom and power of thought, know thou, are shared in by all things. | |
| From: Empedocles (fragments/reports [c.453 BCE]), quoted by Sextus Empiricus - Against the Logicians (two books) II.286 | |
| A reaction: Sextus quotes this, saying that it is 'still more paradoxical', and that it explicitly includes plants. This may mean that Empedocles was not including inanimate matter. |
| 1524 | For Empedocles thinking is almost identical to perception [Empedocles, by Theophrastus] |
| Full Idea: Empedocles assumes that thinking is either identical to or very similar to sense-perception. | |
| From: report of Empedocles (fragments/reports [c.453 BCE], A86) by Theophrastus - On the Senses 9 | |
| A reaction: Not to be sniffed at. We can, of course, control our thinking (though we can't control the controller) and we contemplate abstractions, but that might be seen as a sort of perception. Vision is not as visual as we think. |
| 552 | Empedocles said good and evil were the basic principles [Empedocles, by Aristotle] |
| Full Idea: Empedocles was the first to give evil and good as principles. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Metaphysics 985a | |
| A reaction: Once you start to think that good and evil will only matter if they have causal powers, it is an easy step to the idea of a benevolent god, and a satanic anti-god. Otherwise the 'principles' could be ignored. |
| 589 | 'Nature' is just a word invented by people [Empedocles] |
| Full Idea: Nature is but a word of human framing. | |
| From: Empedocles (fragments/reports [c.453 BCE], B008), quoted by Aristotle - Metaphysics 1015a |
| 21823 | The principle of 'Friendship' in Empedocles is the One, and is bodiless [Empedocles, by Plotinus] |
| Full Idea: In Empedocles we have a dividing principle, 'Strife', set against 'Friendship' - which is the One and is to him bodiless, while the elements represent matter. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Plotinus - The Enneads 5.1.09 | |
| A reaction: The first time I've seen the principle of Love in Empedocles identified with the One of Parmenides. Plotinus is a trustworthy reporter, I think, because he was well read, and had access to lost texts. |
| 6002 | Empedocles says bone is water, fire and earth in ratio 2:4:2 [Empedocles, by Inwood] |
| Full Idea: Empedocles used numerical ratios to explain different kinds of matter; for example, bone is two parts water, four parts fire, two parts earth; and blood is an equal blend of all four elements. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Brad Inwood - Empedocles | |
| A reaction: Why isn't the ration 1:2:1? This presumably shows the influence of Pythagoras (who had also been based in Italy, like Empedocles), as well as that of the earlier naturalistic philosophers. It was a very good theory, though wrong. |
| 13207 | Fire, Water, Air and Earth are elements, being simple as well as homoeomerous [Empedocles, by Aristotle] |
| Full Idea: Empedocles says that Fire, Water, Air and Earth are four elements, and are thus 'simple' rather than flesh, bone and bodies which, like these, are 'homoeomeries'. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a26 | |
| A reaction: The translation is not quite clear. I take it that flesh and bone may look simple, because they are homoeomerous, but they are not really - but what is his evidence for that? Compare Idea 13208. |
| 459 | All change is unity through love or division through hate [Empedocles] |
| Full Idea: These elements never cease their continuous exchange, sometimes uniting under the influence of Love, so that all become One, at other times again moving apart through the hostile force of Hate. | |
| From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
| 13218 | The elements combine in coming-to-be, but how do the elements themselves come-to-be? [Aristotle on Empedocles] |
| Full Idea: Empedocles says it is evident that all the other bodies down to the 'elements' have their coming-to-be and their passing-away: but it is not clear how the 'elements' themselves, severally in their aggregated masses, come-to-be and pass-away. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 325b20 | |
| A reaction: Presumably the elements are like axioms - and are just given. How do electrons and quarks come-to-be? |
| 13225 | Love and Strife only explain movement if their effects are distinctive [Aristotle on Empedocles] |
| Full Idea: It is not an adequate explanation to say that 'Love and Strife set things moving', unless the very nature of Love is a movement of this kind and the very nature of Strife a movement of that kind. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 333b23 | |
| A reaction: I take this to be of interest for showing Aristotle's quest for explanations, and his unwillingness to be fobbed off with anything superficial. I take a task of philosophy to be to push explanations further than others wish to go. |
| 460 | If the one Being ever diminishes it would no longer exist, and what could ever increase it? [Empedocles] |
| Full Idea: Besides these elements, nothing else comes into being, nor does anything cease. For if they had been perishing continuously, they would Be no more; and what could increase the Whole? And whence could it have come? | |
| From: Empedocles (fragments/reports [c.453 BCE], B017), quoted by Simplicius - On Aristotle's 'Physics' 158.1- |
| 2680 | Empedocles said that there are four material elements, and two further creative elements [Empedocles, by Aristotle] |
| Full Idea: Empedocles holds that the corporeal elements are four, but that all the elements, including those which create motion, are six in number. | |
| From: report of Empedocles (fragments/reports [c.453 BCE]) by Aristotle - Coming-to-be and Passing-away (Gen/Corr) 314a16 |
| 17394 | Natural kinds are what are differentiated by nature, and not just by us [Scerri] |
| Full Idea: Natural kinds are realistic scientific entities that are differentiated by nature itself rather than by our human attempts at classification. | |
| From: Eric R. Scerri (The Periodic Table [2007], Intro 'Evol') |
| 17421 | If elements are natural kinds, might the groups of the periodic table also be natural kinds? [Scerri] |
| Full Idea: Elements defined by their atomic numbers are frequently assumed to represent 'natural kinds' in chemistry. ...The question arises as to whether groups of elements appearing in the periodic table might also represent natural kinds. | |
| From: Eric R. Scerri (The Periodic Table [2007], 10 'Elements') | |
| A reaction: Scerri says the distinction is not as sharp as that between the elements. As a realist, he believes there is 'one ideal periodic classification', which would then make the periods into kinds. |
| 17396 | The colour of gold is best explained by relativistic effects due to fast-moving inner-shell electrons [Scerri] |
| Full Idea: Many seemingly mundane properties of elements such as the characteristic color of gold ....can best be explained by relativistic effects due to fast-moving inner-shell electrons. | |
| From: Eric R. Scerri (The Periodic Table [2007], 01 'Under') | |
| A reaction: John Locke - I wish you were reading this! That we could work out the hidden facts of gold, and thereby explain and predict the surface properties we experience, is exactly what Locke thought to be forever impossible. |
| 17411 | If all elements are multiples of one (of hydrogen), that suggests once again that matter is unified [Scerri] |
| Full Idea: The work of Moseley and others rehabilitated Prout's hypothesis that all elements were composites of hydrogen, being exact multiples of 1. ..This revitalized some philososophical notions of the unity of all matter, criticised by Mendeleev and others. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Philos') |
| 17420 | The stability of nuclei can be estimated through their binding energy [Scerri] |
| Full Idea: The stability of nuclei can be estimated through their binding energy, a quantity given by the difference between their masses and the masses of their constituent particles. | |
| From: Eric R. Scerri (The Periodic Table [2007], 10 'Stabil') |
| 17407 | The electron is the main source of chemical properties [Scerri] |
| Full Idea: It is the electron that is mainly responsible for the chemical properties of the elements. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Intro') |
| 17409 | Does radioactivity show that only physics can explain chemistry? [Scerri] |
| Full Idea: Some authors believe that the interpretation of the properties of the elements passed from chemistry to physics as a result of the discovery of radioactivity. ...I believe this view to be overly reductionist. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Radio') | |
| A reaction: It is all a matter of the explanations, and how far down they have to go. If most non-radiocative chemistry doesn't need to mention the physics, then chemistry is largely autonomous. |
| 17415 | A big chemistry idea is that covalent bonds are shared electrons, not transfer of electrons [Scerri] |
| Full Idea: One of the most influential ideas in modern chemistry is of a covalent bond as a shared pair of electrons (not as transfer of electrons and the formation of ionic bonds). | |
| From: Eric R. Scerri (The Periodic Table [2007], 08 'Intro') | |
| A reaction: Gilbert Newton Lewis was responsible for this. |
| 17392 | How can poisonous elements survive in the nutritious compound they compose? [Scerri] |
| Full Idea: A central mystery of chemistry is how the elements survive in the compounds they form. For example, how can poisonous grey metal sodium combine with green poisonous gas chlorine, to make salt, which is non-poisonous and essential for life? | |
| From: Eric R. Scerri (The Periodic Table [2007], Intro 'Elem') | |
| A reaction: A very nice question which had never occurred to me. If our digestive system pulled the sodium apart from the chlorine, we would die. |
| 17391 | Periodicity and bonding are the two big ideas in chemistry [Scerri] |
| Full Idea: The two big ideas in chemistry are chemical periodicity and chemical bonding, and they are deeply interconnected. | |
| From: Eric R. Scerri (The Periodic Table [2007], Intro 'Per') |
| 17404 | Chemistry does not work from general principles, but by careful induction from large amounts of data [Scerri] |
| Full Idea: Unlike in physics, chemical reasoning does not generally proceed unambiguously from general principles. It is a more inductive science in which large amounts of observational data must be carefully weighed. | |
| From: Eric R. Scerri (The Periodic Table [2007], 05 'Mendel') | |
| A reaction: This is why essentialist thinking was important for Mendeleev, because it kept his focus on the core facts beneath the messy and incomplete data. |
| 17398 | 19th C views said elements survived abstractly in compounds, but also as 'material ingredients' [Scerri] |
| Full Idea: In the 19th century abstract elements were believed to be permanent and responsible for observed properties in compounds, but (departing from Aristotle) they were also 'material ingredients', thus linking the metaphysical and material realm. | |
| From: Eric R. Scerri (The Periodic Table [2007], 04 'Nature') | |
| A reaction: I'm not sure I can make sense of this gulf between the metaphysical and the material realm, so this was an account heading for disaster. |
| 17418 | It is now thought that all the elements have literally evolved from hydrogen [Scerri] |
| Full Idea: The elements are now believed to have literally evolved from hydrogen by various mechanisms. | |
| From: Eric R. Scerri (The Periodic Table [2007], 10 'Evol) |
| 17417 | To explain the table, quantum mechanics still needs to explain order of shell filling [Scerri] |
| Full Idea: The order of shell filling has not yet been deduced from first principles, and this issue cannot be avoided if one is to really ask whether quantum mechanics explains the periodic system in a fundamental manner. | |
| From: Eric R. Scerri (The Periodic Table [2007], 09 'From') |
| 17395 | Elements were ordered by equivalent weight; later by atomic weight; finally by atomic number [Scerri] |
| Full Idea: Historically, the ordering of elements across periods was determined by equivalent weight, then later by atomic weight, and eventually by atomic number. | |
| From: Eric R. Scerri (The Periodic Table [2007], 01 'React') | |
| A reaction: So they used to be ordered by quantities (measured by real numbers), but eventually were ordered by unit items (counted by natural numbers). There need to be distinct protons (unified) to be counted. |
| 17410 | Moseley showed the elements progress in units, and thereby clearly identified the gaps [Scerri] |
| Full Idea: Moseley's work showed that the successive elements in the periodic table have an atomic number greater by one unit. The gaps could then be identified definitively, as 43, 61, 72, 75, 85, 87, and 91. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Henry') | |
| A reaction: [compressed] |
| 17412 | Elements are placed in the table by the number of positive charges - the atomic number [Scerri] |
| Full Idea: The serial number of an element in the periodic table, its atomic number, corresponds to the number of positive charges in the atom. | |
| From: Eric R. Scerri (The Periodic Table [2007], 07 'Models') | |
| A reaction: Note that this is a feature of the nucleus, despite that fact that the electrons decide the chemical properties. A nice model for Locke's views on essentialism. |
| 17406 | Moseley, using X-rays, showed that atomic number ordered better than atomic weight [Scerri] |
| Full Idea: By using X-rays, Henry Moseley later discovered that a better ordering principle for the periodic system is atomic numbers rather than atomic weight, by subjecting many different elements to bombardment. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Intro') | |
| A reaction: Moseley was killed in the First World War at the age of 26. It is interesting that they more or less worked out the whole table, before they discovered the best principle on which to found it. |
| 17408 | Some suggested basing the new periodic table on isotopes, not elements [Scerri] |
| Full Idea: Some chemists even suggested that the periodic table would have to be abandoned in favor of a classification system that included a separate place for every single isotope. | |
| From: Eric R. Scerri (The Periodic Table [2007], 06 'Intro') | |
| A reaction: The extreme case is tin, which has 21 isotopes, so is tin a fundamental, or is each of the isotopes a fundamental? Does there have to be a right answer to that? All tin isotopes basically react in the same way, so we stick with the elements table. |
| 17414 | Pauli explained the electron shells, but not the lengths of the periods in the table [Scerri] |
| Full Idea: Pauli explained the maximum number of electrons successive shells can accommodate, ...but it does not explain the lengths of the periods, which is the really crucial property of the periodic table. | |
| From: Eric R. Scerri (The Periodic Table [2007], 07 'Pauli') | |
| A reaction: Paulis' Exclusion Principle says no two electrons in an atom can have the same set of four quantum numbers. He added 'spin' as a fourth number. It means 'electrons cannot be distinguished' (243). Scerri says the big problem is still not fully explained. |
| 17416 | Orthodoxy says the periodic table is explained by quantum mechanics [Scerri] |
| Full Idea: The prevailing reductionist climate implies that quantum mechanics inevitably provides a more fundamental explanation for the periodic system. | |
| From: Eric R. Scerri (The Periodic Table [2007], 08 'Concl') | |
| A reaction: Scerri has argued that chemists did much better than physicists in working out how the outer electron shells of atoms worked, by induction from data, rather than inference from basic principles. |
| 17422 | The best classification needs the deepest and most general principles of the atoms [Scerri] |
| Full Idea: An optimal classification can be obtained by identifying the deepest and most general principles that govern the atoms of the elements. | |
| From: Eric R. Scerri (The Periodic Table [2007], 10 'Continuum') | |
| A reaction: He adds (p.286) that the best system will add the 'greatest degree of regularity' to these best principles. |
| 17413 | Elements in the table are grouped by having the same number of outer-shell electrons [Scerri] |
| Full Idea: The modern notion is that atoms fall into the same group of the periodic table if they possess the same numbers of outer-shell electrons. | |
| From: Eric R. Scerri (The Periodic Table [2007], 07 'Quantum') | |
| A reaction: Scerri goes on to raise questions about this, on p.242. By this principle helium should be an alkaline earth element, but it isn't. |
| 17419 | Since 99.96% of the universe is hydrogen and helium, the periodic table hardly matters [Scerri] |
| Full Idea: All the elements other than hydrogen and helium make up just 0.04% of the universe. Seen from this perspective, the periodic table appears to rather insignificant. | |
| From: Eric R. Scerri (The Periodic Table [2007], 10 'Astro') |
| 5090 | Maybe bodies are designed by accident, and the creatures that don't work are destroyed [Empedocles, by Aristotle] |
| Full Idea: Is it just an accident that teeth and other parts of the body seem to have some purpose, and creatures survive because they happen to be put together in a useful way? Everything else has been destroyed, as Empedocles says of his 'cow with human head'. | |
| From: report of Empedocles (fragments/reports [c.453 BCE], 61) by Aristotle - Physics 198b29 | |
| A reaction: Good grief! Has no one ever noticed that Empedocles proposed the theory of evolution? It isn't quite natural selection, because we aren't told what does the 'destroying', but it is a little flash of genius that was quietly forgotten. |
| 461 | God is a pure, solitary, and eternal sphere [Empedocles] |
| Full Idea: God is equal in all directions to himself and altogether eternal, a rounded Sphere enjoying a circular solitude. | |
| From: Empedocles (fragments/reports [c.453 BCE], B028), quoted by John Stobaeus - Anthology 1.15.2 |
| 466 | God is pure mind permeating the universe [Empedocles] |
| Full Idea: God is mind, holy and ineffable, and only mind, which darts through the whole cosmos with its swift thought. | |
| From: Empedocles (fragments/reports [c.453 BCE], B134), quoted by Ammonius - On 'De Interpretatione' 4.5.249.6 |
| 1719 | In Empedocles' theory God is ignorant because, unlike humans, he doesn't know one of the elements (strife) [Aristotle on Empedocles] |
| Full Idea: It is a consequence of Empedocles' view that God is the most unintelligent thing, for he alone is ignorant of one of the elements, namely strife, whereas mortal creatures are familiar with them all. | |
| From: comment on Empedocles (fragments/reports [c.453 BCE]) by Aristotle - De Anima 410b08 |
| 1522 | It is wretched not to want to think clearly about the gods [Empedocles] |
| Full Idea: Wretched is he who cares not for clear thinking about the gods. | |
| From: Empedocles (fragments/reports [c.453 BCE], B132), quoted by Clement - Miscellanies 5.140.5.1 |