33 ideas
| 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. |
| 18052 | An assertion aims to add to the content of a context [Stalnaker, by Magidor] |
| Full Idea: Stalnaker starts with the general thesis that the role of a successful assertion of s is to update the context by adding to it the content of s. | |
| From: report of Robert C. Stalnaker (Assertion [1978]) by Ofra Magidor - Category Mistakes 5.3.2 | |
| A reaction: This is to be compared with criteria of meaningfulness, such as verificationism, and with Grice's rules of conversational implicature. Presumably if you assert what the context presupposes, you fail to assert, without being meaningless. |
| 14718 | An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter] |
| Full Idea: Stalnaker's guiding idea is that in making an assertion the speaker is trying to get the audience to rule out certain possibilities. ....If all goes well, further planning will proceed on the basis of a smaller and more accurate range of possibilities. | |
| From: report of Robert C. Stalnaker (Assertion [1978]) by Laura Schroeter - Two-Dimensional Semantics | |
| A reaction: This sounds intuitively rather plausible, and is a nice original thought. This is what we pay clever chaps like Stalnaker to come up with. It seems to imply some notion of verisimilitude (qv. under 'truth'), depending on how much narrowing happens. |
| 21181 | Relativity and Quantum theory give very different accounts of forces [Hesketh] |
| Full Idea: General Relativity and quantum mechanics are the two great theories in physics today but they give two very different ideas for how forces work. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 01) | |
| A reaction: Relativity says it is space curvature, and quantum theory says it is particle exchange? But is there a Relativity account of the strong nuclear force? |
| 21183 | Thermodynamics introduced work and entropy, to understand steam engine efficiency [Hesketh] |
| Full Idea: The Laws of Thermodynamics introduced the concepts of entropy and work; put simply, how much useful energy you can really get out of a steam engine. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 03) | |
| A reaction: The point of science by this stage was to introduce measurable and quantifiable concepts |
| 21199 | Spinning electric charge produces magnetism, so all fermions are magnets [Hesketh] |
| Full Idea: The muon, like all fermions, spins - and because a spinning electric charge generates a magnetic field all fermions act like tiny bar magnets. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 11) |
| 21191 | Photons are B and W° bosons, linked by the Higgs mechanism [Hesketh] |
| Full Idea: The photon is actually a mix of two deeper things, the B and the W°, tied together by the Higgs mechanism. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 06) | |
| A reaction: The B (for 'Boson') transmits a force associated with the 'winding symmetry'. (I record this without properly understanding it.) |
| 21189 | Electrons may have smaller components, bound by a new force [Hesketh] |
| Full Idea: Quarks, leptons or bosons may actually be made up of something even smaller, bound together by a conjectural new force. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 05) | |
| A reaction: Electrons are a type of lepton. Compare Idea 21180, from the same book. If electrons are not fundamental, what matters is not some 'stuff' they are made of, but a different force that would bind the ingredients. |
| 21180 | Electrons are fundamental and are not made of anything; they are properties without size [Hesketh] |
| Full Idea: As far as we can tell, electrons (and quarks) are fundamental. They are not small lumps of material, because we could always ask what the material is. The electron just ...is. They are collections of properties, with no apparent size. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 01) | |
| A reaction: This idea from physics HAS to be of interest to philosophers! The bundle theory is discredited for normal objects and for minds, and so is the substrate idea for supporting properties. But rigorous physics accepts a bundle theory. |
| 21182 | Quantum mechanics is our only theory, and is very precise, and repeatedly confirmed [Hesketh] |
| Full Idea: Quantum mechanics is the only working description of the universe that we have. It is amazingly precise, and so far every experimental test has verified its predictions. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 02) | |
| A reaction: I take it from this that quantum mechanics is simply TRUE. Get over it! It will never turn out to be wrong, but may be subsumed within some more fine-grained or extensive theory. |
| 21184 | Physics was rewritten to explain stable electron orbits [Hesketh] |
| Full Idea: Explaining the stable electron orbits would require a complete rewriting of the physics of subatomic particles. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 03) | |
| A reaction: This really looks like a simple and major landmark moment. You can ignore a single anomaly, but not a central feature of your entire theory. |
| 21187 | Virtual particles can't be measured, and can ignore the laws of physics [Hesketh] |
| Full Idea: We can never measure these virtual (transitory) particles directly, and it turns out that they don't even have to obey the laws of physics. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 05) | |
| A reaction: These seems to be the real significance of the Uncertainty Principle. Such particles 'borrow' huge amounts of energy for very short times. |
| 21185 | Colour charge is positive or negative, and also has red, green or blue direction [Hesketh] |
| Full Idea: Colour charge is 'three-dimensional'. As well as the charge having a positive or negative sign, it can also have a direction, and for convenience these three different directions (pointing like a weather vane) are labelled 'red', 'green' and 'blue'. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 04) |
| 21194 | The Standard Model omits gravity, because there are no particles involved [Hesketh] |
| Full Idea: Gravity is not included in the Standard Model because we simply cannot study it using particles. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 09) | |
| A reaction: I'm guessing that Einstein describes how gravity behaves, but not what it is. |
| 21195 | In Supersymmetry the Standard Model simplifies at high energies [Hesketh] |
| Full Idea: Supersymmetry suggest that the Standard Model becomes much simpler at high energies. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 10) |
| 21197 | Standard Model forces are one- two- and three-dimensional [Hesketh] |
| Full Idea: The forces in the Standard Model are built on gauge symmetries, with a one-dimensional charge (like electromagnetism), a two-dimensional charge (the weak force), and a three dimensional charge (the strong force). | |
| From: Gavin Hesketh (The Particle Zoo [2016], 10) | |
| A reaction: See also Idea 21185. |
| 21188 | Quarks and leptons have a weak charge, for the weak force [Hesketh] |
| Full Idea: For the weak force there must be a corresponding 'weak charge', and all the fermions, all the quarks and leptons carry it. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 05) | |
| A reaction: So electrons carry a weak charge, as well as an electromagnetic charge. Like owning several passports. |
| 21186 | Quarks rush wildly around in protons, restrained by the gluons [Hesketh] |
| Full Idea: Inside a proton the quarks are rushing around like caged animals, free to move until they push against the bars to try to escape, when the gluons pull them back in. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 04) |
| 21192 | Neutrinos only interact with the weak force, but decays produce them in huge numbers [Hesketh] |
| Full Idea: Neutrinos only interact with the weak force, which means they barely interact at all, but because the weak force is crucial in the decays of so many other particles, neutrinos are still produced in huge numbers. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 08) | |
| A reaction: They only interact with the W and Z bosons. |
| 21196 | To combine the forces, they must all be the same strength at some point [Hesketh] |
| Full Idea: If all the forces are to combine, at some point they must all be the same strength, and Supersymmetry (SuSy) makes this happen. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 10) | |
| A reaction: This sounds like an impressive reason for favouring supersymmetry - as long as you have an a priori preference for everything combining. |
| 21190 | 'Space' in physics just means location [Hesketh] |
| Full Idea: 'Space' in physics really just means location. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 06) | |
| A reaction: Location can, of course, only be specified relative to something else. Space is really an abstraction, but at least it means there is some sort of background to locate all the fundamental fields. |
| 21193 | The universe is 68% dark energy, 27% dark matter, 5% regular matter [Hesketh] |
| Full Idea: The most precise surveys of the stars and galaxies tell us that the universe is made up of 68% dark energy, 27% dark matter, and just 5% regular matter (the stuff of the Standard Model of particle physics). | |
| From: Gavin Hesketh (The Particle Zoo [2016], 09) | |
| A reaction: Regular matter - that's me, that is. |
| 21198 | If a cosmic theory relies a great deal on fine-tuning basic values, it is probably wrong [Hesketh] |
| Full Idea: If a theory has to rely on excessive 'fine-tuning', a series of extremely unlikely events in order to produce the universe we see around us, then it is extremely unlikely that this theory is correct. | |
| From: Gavin Hesketh (The Particle Zoo [2016], 10) | |
| A reaction: He says the Standard Model has 26 parameters which are only known by experiment, rather than by theory. So instead of saying '...so there is a God', we should say '...so our theory isn't very good'. |