Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Theories of Everything' and 'Pragmatism in Retrospect'

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


27 ideas

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
Peirce's theory offers anti-realist verificationism, but surely how things are is independent of us? [Horsten on Peirce]
     Full Idea: Peirce's anti-realist theory of a truth is a verificationist theory. Truth is judged to be an epistemic notion. But the way things are is independent of the evidence we may be able to obtain for or against a judgement.
     From: comment on Charles Sanders Peirce (Pragmatism in Retrospect [1906]) by Leon Horsten - The Tarskian Turn 02.1
     A reaction: This criticism doesn't quite capture the point that Peirce's theory is that truth is an ideal, not the set of opinions that miserable little humans eventually settle for when they get bored. Truth is an aspect of rationality, perhaps.
Independent truth (if there is any) is the ultimate result of sufficient enquiry [Peirce]
     Full Idea: I hold that truth's independence of individual opinions is due (so far as there is any 'truth') to its being the predestined result to which sufficient enquiry would ultimately lead.
     From: Charles Sanders Peirce (Pragmatism in Retrospect [1906], p.288)
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
     Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro)
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
     Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1)
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
We have no argument to show a statement is absolutely undecidable [Koellner]
     Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
There are at least eleven types of large cardinal, of increasing logical strength [Koellner]
     Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable).
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4)
     A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
     Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem].
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1)
     A reaction: Each expansion brings a limitation, but then you can expand again.
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
Arithmetical undecidability is always settled at the next stage up [Koellner]
     Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next.
     From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4)
12. Knowledge Sources / D. Empiricism / 3. Pragmatism
Pragmatism is a way of establishing meanings, not a theory of metaphysics or a set of truths [Peirce]
     Full Idea: Pragmatism is no doctrine of metaphysics, no attempt to determine the truth of things. It is merely a method of ascertaining the meanings of hard words and of abstract concepts.
     From: Charles Sanders Peirce (Pragmatism in Retrospect [1906], p.271)
     A reaction: Suddenly I recognise a prominent strand of modern philosophy of language (especially in America) for what it is.
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / b. Heat
Work degrades into heat, but not vice versa [Close]
     Full Idea: William Thomson, Lord Kelvin, declared (in 1865) the second law of thermodynamics: mechanical work inevitably tends to degrade into heat, but not vice versa.
     From: Frank Close (Theories of Everything [2017], 3 'Perpetual')
     A reaction: The basis of entropy, which makes time an essential part of physics. Might this be the single most important fact about the physical world?
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / c. Conservation of energy
First Law: energy can change form, but is conserved overall [Close]
     Full Idea: The first law of thermodynamics : energy can be changed from one form to another, but is always conserved overall.
     From: Frank Close (Theories of Everything [2017], 3 'Perpetual')
     A reaction: So we have no idea what energy is, but we know it's conserved. (Daniel Bernoulli showed the greater the mean energy, the higher the temperature. James Joule showed the quantitative equivalence of heat and work p.26-7)
27. Natural Reality / A. Classical Physics / 2. Thermodynamics / d. Entropy
Third Law: total order and minimum entropy only occurs at absolute zero [Close]
     Full Idea: The third law of thermodynamics says that a hypothetical state of total order and minimum entropy can be attained only at the absolute zero temperature, minus 273 degrees Celsius.
     From: Frank Close (Theories of Everything [2017], 3 'Arrow')
     A reaction: If temperature is energetic movement of atoms (or whatever), then obviously zero movement is the coldest it can get. So is absolute zero an energy state, or an absence of energy? I have no idea what 'total order' means.
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
All motions are relative and ambiguous, but acceleration is the same in all inertial frames [Close]
     Full Idea: There is no absolute state of rest; only relative motions are unambiguous. Contrast this with acceleration, however, which has the same magnitude in all inertial frames.
     From: Frank Close (Theories of Everything [2017], 3 'Newton's')
     A reaction: It seems important to remember this, before we start trumpeting about the whole of physics being relative. ....But see Idea 20634!
The electric and magnetic are tightly linked, and viewed according to your own motion [Close]
     Full Idea: Electric and magnetic phenomena are profoundly intertwined; what you interpret as electric or magnetic thus depends on your own motion.
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: This sounds like an earlier version of special relativity.
27. Natural Reality / B. Modern Physics / 1. Relativity / b. General relativity
The general relativity equations relate curvature in space-time to density of energy-momentum [Close]
     Full Idea: The essence of general relativity relates 'curvature in space-time' on one side of the equation to the 'density of momentum and energy' on the other. ...In full, Einstein required ten equations of this type.
     From: Frank Close (Theories of Everything [2017], 5 'Gravity')
     A reaction: Momentum involves mass, and energy is equivalent to mass (e=mc^2).
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / a. Electrodynamics
Photon exchange drives the electro-magnetic force [Close]
     Full Idea: The exchange of photons drives the electro-magnetic force.
     From: Frank Close (Theories of Everything [2017], 6 'Superstrings')
     A reaction: So light, which we just think of as what is visible, is a mere side-effect of the engine room of nature - the core mechanism of the whole electro-magnetic field.
Electric fields have four basic laws (two by Gauss, one by Ampčre, one by Faraday) [Close]
     Full Idea: Four basic laws of electric and magnetic fields: Gauss's Law (about the flux produced by a field), Gauss's law of magnets (there can be no monopoles), Ampčre's Law (fields on surfaces), and Farday's Law (accelerated magnets produce fields).
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: [Highly compressed, for an overview. Close explains them]
Light isn't just emitted in quanta called photons - light is photons [Close]
     Full Idea: Planck had assumed that light is emitted in quanta called photons. Einstein went further - light is photons.
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: The point is that light travels as entities which are photons, rather than the emissions being quantized packets of some other stuff.
In general relativity the energy and momentum of photons subjects them to gravity [Close]
     Full Idea: In Einstein's general theory, gravity acts also on energy and momentum, not simply on mass. For example, massless photons of light feel the gravitational attraction of the Sun and can be deflected.
     From: Frank Close (Theories of Everything [2017], 5 'Planck')
     A reaction: Ah, a puzzle solved. How come massless photons are bent by gravity?
Electro-magnetic waves travel at light speed - so light is electromagnetism! [Close]
     Full Idea: Faradays' measurements predicted the speed of electro-magnetic waves, which happened to be the speed of light, so Maxwell made an inspired leap: light is an electromagnetic wave!
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: Put that way, it doesn't sound like an 'inspired' leap, because travelling at exactly the same speed seems a pretty good indication that they are the same sort of thing. (But I'm not denying that Maxwell was a special guy!)
In QED, electro-magnetism exists in quantum states, emitting and absorbing electrons [Close]
     Full Idea: Dirac created quantum electrodynamics (QED): the universal electro-magnetic field can exist in discreet states of energy (with photons appearing and disappearing by energy excitations. This combined classical ideas, quantum theory and special relativity.
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: Close says this is the theory of everything in atomic structure, but not in nuclei (which needs QCD and QFD). So if there are lots of other 'fields' (e.g. gravitational, weak, strong, Higgs), how do they all fit together? Do they talk to one another?
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
Quantum fields contain continual rapid creation and disappearance [Close]
     Full Idea: Quantum field theory implies that the vacuum of space is filled with particles and antiparticles which bubble in and out of existence on faster and faster timescales over shorter and shorter distances.
     From: Frank Close (Theories of Everything [2017], 6 'Intro')
     A reaction: Ponder this sentence until you head aches. Existence, but not as we know it, Jim. Close says calculations in QED about the electron confirm this.
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
Electrons get their mass by interaction with the Higgs field [Close]
     Full Idea: The electron gets its mass by interaction with the ubiquitous Higgs field.
     From: Frank Close (Theories of Everything [2017], 6 'Hierarchy')
     A reaction: I thought I understood mass until I read this. Is it just wrong to say the mass of a table is the 'amount of stuff' in it?
Dirac showed how electrons conform to special relativity [Close]
     Full Idea: In 1928 Paul Dirac discovered the quantum equation that describes the electron and conforms to the requirements special relativity theory.
     From: Frank Close (Theories of Everything [2017], 3 'Light!')
     A reaction: This sounds like a major step in the unification of physics. Quantum theory and General relativity remain irreconcilable.
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
Modern theories of matter are grounded in heat, work and energy [Close]
     Full Idea: The link between temperature, heat, work and energy is at the root of our historical ability to construct theories of matter, such as Newton's dynamics, while ignoring, and indeed being ignorant of - atomic dimensions.
     From: Frank Close (Theories of Everything [2017], 3 'Arrow')
     A reaction: That is, presumably, that even when you fill in the atoms, and the standard model of physics, these aspects of matter do the main explaiining (of the behaviour, rather than of the structure).
27. Natural Reality / B. Modern Physics / 5. Unified Models / a. Electro-weak unity
The Higgs field is an electroweak plasma - but we don't know what stuff it consists of [Close]
     Full Idea: In 2012 it was confirmed that we are immersed in an electroweak plasma - the Higgs field. We curently have no knowledge of what this stuff might consist of.
     From: Frank Close (Theories of Everything [2017], 4 'Higgs')
     A reaction: The second sentence has my full attention. So we don't understand a field properly until we understand the 'stuff' it is made of? So what are all the familiar fields made of? Tell me more!
27. Natural Reality / C. Space / 6. Space-Time
Space-time is indeterminate foam over short distances [Close]
     Full Idea: At very short distances, space-time itself becomes some indeterminate foam.
     From: Frank Close (Theories of Everything [2017], 6 'Intro')
     A reaction: [see Close for a bit more detail of this weird idea]