38 ideas
| 1542 | Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius] |
| Full Idea: Diogenes of Apollonia was more or less the last of those who made a study of natural science. | |
| From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE], A05) by Simplicius - On Aristotle's 'Physics' 9.25.1 | |
| A reaction: He quotes Theophrastus |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| Full Idea: Today we expect that anything worth calling a definition should imply a semantics. | |
| From: Ian Hacking (What is Logic? [1979], §10) | |
| A reaction: He compares this with Gentzen 1935, who was attempting purely syntactic definitions of the logical connectives. |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| Full Idea: 'Dilution' (or 'Thinning') provides an essential contrast between deductive and inductive reasoning; for the introduction of new premises may spoil an inductive inference. | |
| From: Ian Hacking (What is Logic? [1979], §06.2) | |
| A reaction: That is, inductive logic (if there is such a thing) is clearly non-monotonic, whereas classical inductive logic is monotonic. |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| Full Idea: If A |- B and B |- C, then A |- C. This generalises to: If Γ|-A,Θ and Γ,A |- Θ, then Γ |- Θ. Gentzen called this 'cut'. It is the transitivity of a deduction. | |
| From: Ian Hacking (What is Logic? [1979], §06.3) | |
| A reaction: I read the generalisation as 'If A can be either a premise or a conclusion, you can bypass it'. The first version is just transitivity (which by-passes the middle step). |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| Full Idea: Only the cut rule can have a conclusion that is less complex than its premises. Hence when cut is not used, a derivation is quite literally constructive, building up from components. Any theorem obtained by cut can be obtained without it. | |
| From: Ian Hacking (What is Logic? [1979], §08) |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| Full Idea: I don't believe English is by nature classical or intuitionistic etc. These are abstractions made by logicians. Logicians attend to numerous different objects that might be served by 'If...then', like material conditional, strict or relevant implication. | |
| From: Ian Hacking (What is Logic? [1979], §15) | |
| A reaction: The idea that they are 'abstractions' is close to my heart. Abstractions from what? Surely 'if...then' has a standard character when employed in normal conversation? |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| Full Idea: First-order logic is the strongest complete compact theory with a Löwenheim-Skolem theorem. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| Full Idea: Henkin proved that there is no first-order treatment of branching quantifiers, which do not seem to involve any idea that is fundamentally different from ordinary quantification. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: See Hacking for an example of branching quantifiers. Hacking is impressed by this as a real limitation of the first-order logic which he generally favours. |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| Full Idea: Second-order logic has no chance of a completeness theorem unless one ventures into intensional entities and possible worlds. | |
| From: Ian Hacking (What is Logic? [1979], §13) |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| Full Idea: My doctrine is that the peculiarity of the logical constants resides precisely in that given a certain pure notion of truth and consequence, all the desirable semantic properties of the constants are determined by their syntactic properties. | |
| From: Ian Hacking (What is Logic? [1979], §09) | |
| A reaction: He opposes this to Peacocke 1976, who claims that the logical connectives are essentially semantic in character, concerned with the preservation of truth. |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| Full Idea: For some purposes the variables of first-order logic can be regarded as prepositions and place-holders that could in principle be dispensed with, say by a system of arrows indicating what places fall in the scope of which quantifier. | |
| From: Ian Hacking (What is Logic? [1979], §11) | |
| A reaction: I tend to think of variables as either pronouns, or as definite descriptions, or as temporary names, but not as prepositions. Must address this new idea... |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| Full Idea: A Löwenheim-Skolem theorem holds for anything which, on my delineation, is a logic. | |
| From: Ian Hacking (What is Logic? [1979], §13) | |
| A reaction: I take this to be an unusually conservative view. Shapiro is the chap who can give you an alternative view of these things, or Boolos. |
| 17536 | If it can't be expressed mathematically, it can't occur in nature? [Heisenberg] |
| Full Idea: The solution was to turn around the question How can one in the known mathematical scheme express a given experimental situation? and ask Is it true that only such situations can arise in nature as can be expressed in the mathematical formalism? | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 02) | |
| A reaction: This has the authority of the great Heisenberg, and is the ultimate expression of 'mathematical physics', beyond anything Galileo or Newton ever conceived. I suppose Pythagoras would have thought that Heisenberg was obviously right. |
| 17545 | Quantum theory shows that exact science does not need dogmatic realism [Heisenberg] |
| Full Idea: It is only through quantum theory that we have learned that exact science is possible without the basis of dogmatic realism. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 05) |
| 17538 | Quantum theory does not introduce minds into atomic events [Heisenberg] |
| Full Idea: Certainly quantum theory does not contain genuine subjective features, it does not introduce the mind of the physicist as a part of the atomic event. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 03) | |
| A reaction: This should be digested by anyone who wants to erect some dodgy anti-realist, idealist, subjective metaphysics on the basis of the Copenhagen interpretation of quantum mechanics. |
| 17534 | A 'probability wave' is a quantitative version of Aristotle's potential, a mid-way type of reality [Heisenberg] |
| Full Idea: The 1924 idea of the 'probability wave' meant a tendency for something. It was a quantitative version of the old concept of 'potentia' in Aristotelian philosophy ...a strange kind of physical reality just in the middle between possibility and reality. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 02) | |
| A reaction: [compressed] As far as I can see, he is talking about a disposition or power, which is exactly between a mere theoretical possibility and an actuality. See the Mumford/Lill Anjum proposal for a third modal value, between possible and necessary. |
| 17553 | We can retain the idea of 'substance', as indestructible mass or energy [Heisenberg] |
| Full Idea: One could consider mass and energy as two different forms of the same 'substance' and thereby keep the idea of substance as indestructible. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 07) |
| 17544 | Basic particles have a mathematical form, which is more important than their substance [Heisenberg] |
| Full Idea: The smallest parts of matter are not the fundamental Beings, as in the philosophy of Democritus, but are mathematical forms. Here it is quite evident that the form is more important than the substance of which it is the form. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 04) | |
| A reaction: Heisenberg is quite consciously endorsing hylomorphism here, with a Pythagorean twist to it. |
| 489 | Each thing must be in some way unique [Diogenes of Apollonia] |
| Full Idea: No one thing among things subject to change can possibly be exactly like any other thing, without becoming the same thing. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B05), quoted by Simplicius - On Aristotle's 'Physics' 153.8 | |
| A reaction: This is said to be the first ever formulation of the principle of identity of indiscernible. |
| 483 | Start a thesis with something undisputable [Diogenes of Apollonia] |
| Full Idea: In starting any thesis, it seems to me, one should put forward as one's point of departure something incontrovertible. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B01), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.57 |
| 1544 | Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus] |
| Full Idea: That it is the inner air that perceives, as being a fragment of the god, is shown by the fact that often when our minds are preoccupied with other matters we fail to see or hear. | |
| From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE], A19) by Theophrastus - On the Senses 42 |
| 17550 | We give a mathematical account of a system of natural connections in order to clarify them [Heisenberg] |
| Full Idea: When we represent a group of connections by a closed and coherent set of concepts, axioms, definitions and laws which in turn is represented by a mathematical scheme we have isolated and idealised them with the purpose of clarification. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 06) | |
| A reaction: Attacks on the regularity theory of laws, and the notion that explanation is by laws, tend to downplay this point - that obtaining clarity and precision is a sort of explanation, even if it fails to go deeper. |
| 24042 | The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia] |
| Full Idea: Diogenes [of Apollonia] took the soul to be air, thnking that of all things air is composed of the smallest particles and is a starting point. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], DK 64), quoted by Aristotle - De Anima 405a21 | |
| A reaction: This suggests that Diogenes of Apollonia was an atomist, if the soul is made of particles. See also Met 984a5, which says Anaxagoras had the same view. |
| 5995 | Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM] |
| Full Idea: Credit for the first clear assertion of teleological explanation in cosmology goes to Diogenes of Apollonia, for whom air is the divine and intelligent ground of the real and disposes things in the best possible way. | |
| From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE]) by T.M. Robinson - Classical Cosmology (frags) | |
| A reaction: The first teleological explanation seems to be based on a conscious mind. There also emerges the possibility of some sort of non-conscious teleology, closer to the laws of physics than to God. |
| 488 | Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia] |
| Full Idea: Air in itself seems to me to be God and to reach everywhere and to arrange everything and to be in everything. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B05), quoted by Simplicius - On Aristotle's 'Physics' 152.22- | |
| A reaction: So water and fire and air have been offered as the ultimate explanans, though no one seems to offer earth, which is too grubby and miserable (and was denied a Form by Plato). 'Air is God' could ground a nice modern religious sect. |
| 484 | Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia] |
| Full Idea: It seems to me that all existing things are created by the alteration of the same thing, and are the same thing. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |
| 486 | Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia] |
| Full Idea: No plant could grow out of the earth, and no animal or any other thing could come into being, unless it were so compounded as to be the same. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |
| 485 | Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia] |
| Full Idea: If any existing thing were different in its own essential nature, and were not the same thing which was transformed in many ways and changed, in no way could things mix with one another. | |
| From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |
| 17549 | Seven theories in science: mechanics, heat, electricity, quantum, particles, relativity, life [Heisenberg, by PG] |
| Full Idea: Science has seven closed systems of concepts and axioms: Newtonian mechanics; the theory of heat; electricity and magnetism; quantum theory; the theory of elementary particles; general relativity; and the theory of organic life. | |
| From: report of Werner Heisenberg (Physics and Philosophy [1958], 06) by PG - Db (ideas) | |
| A reaction: [my summary of pp.86-88 and 92] It is interesting to have spelled out that there are number of 'closed' theories, which are only loosely connected to one another. New discoveries launch whole new theories, instead of being subsumed. |
| 17540 | Energy is that which moves, and is the substance from which everything is made [Heisenberg] |
| Full Idea: Energy is the substance from which all elementary particles, all atoms and therefore all things are made, and energy is that which moves. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 04) | |
| A reaction: I'm not sure what energy is, but I like this because it says that nature is fundamentally active. Nothing makes sense without that basic assumption (on which Leibniz continually insists). |
| 17541 | Energy is an unchanging substance, having many forms, and causing all change [Heisenberg] |
| Full Idea: Energy is a substance, since its total amount does not change. ...Energy can be changed into motion, into heat, into light and into tension. Energy may be called the fundamental cause for all change in the world. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 04) | |
| A reaction: Grandiose stuff. I remain unconvinced that Heisenberg (clever fellow, I'm told) has any idea of what he is talking about. |
| 17548 | Maxwell introduced real fields, which transferred forces from point to point [Heisenberg] |
| Full Idea: In the theory of fields of force one came back to the older idea, that action is transferred from one point to a neighbouring point. ...With Maxwell the fields of force seemed to have acquired the same degree of reality as the body's of Newton's theory. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 06) |
| 17533 | Radiation interference needs waves, but radiation photoelectric effects needs particles [Heisenberg] |
| Full Idea: How could it be that the same radiation that produces interference patterns, and therefore must consist of waves, also produces the photoelectric effect, and therefore must consist of moving particles. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 02) |
| 17532 | An atom's stability after collisions needs explaining (which Newton's mechanics can't do) [Heisenberg] |
| Full Idea: The first new model of the atom could not explain the most characteristic features of the atom, its enormous stability. No planetary system following the laws of Newton's mechanics would ever go back to its original configuration after a collision. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 02) |
| 17537 | Position is complementary to velocity or momentum, so the whole system is indeterminate [Heisenberg] |
| Full Idea: The knowledge of the position of a particle is complementary to the knowledge of its velocity or momentum. If we know one with high accuracy we cannot know the other with high accuracy; still we must know both for determining the behaviour of the system. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 03) | |
| A reaction: This is the famous Uncertainty Principle, expressed in plain language by the man himself. At this point we lost our grip on the prospects of determining the behaviour of natural systems. |
| 17551 | It was formerly assumed that electromagnetic waves could not be a reality in themselves [Heisenberg] |
| Full Idea: The idea that electromagnetic waves could be a reality in themselves, independent of any bodies, did at that time not occur to the physicists. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 07) | |
| A reaction: 'At that time' is when they thought the waves must travel through something, called the 'ether'. |
| 17543 | So-called 'empty' space is the carrier of geometry and kinematics [Heisenberg] |
| Full Idea: From our modern point of view we would say that the empty space between the atoms was not nothing; it was the carrier of geometry and kinematics. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 04) | |
| A reaction: I'm not sure what the 'carrier of geometry and kinematics' means, but it is interesting that he doesn't mention 'fields' (unless they carry the kinematics?) |
| 17552 | In relativity the length of the 'present moment' is relative to distance from the observer [Heisenberg] |
| Full Idea: In classical theory we assume past and future are separated by an infinitely short time interval called the present moment. In relativity it is different: future and past are separated by a finite time interval dependent on the distance from the observer. | |
| From: Werner Heisenberg (Physics and Philosophy [1958], 07) | |
| A reaction: Not sure I understand this, but it is a revelation to realise that not only is time made relative to observers, but the length of the 'present moment' also becomes relative. The infinitesimal present moment has always bothered me. |