28 ideas
| 15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
| Full Idea: It is far from clear that a definition of truth can lead to a philosophically satisfactory theory of truth. Tarski's theorem on the undefinability of the truth predicate needs resources beyond those of the language for which it is being defined. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: The idea is that you need a 'metalanguage' for the definition. If I say 'p' is a true sentence in language 'L', I am not making that observation from within language L. The dream is a theory confined to the object language. |
| 15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
| Full Idea: In semantic theories of truth (Tarski or Kripke), a truth predicate is defined for an object-language. This definition is carried out in a metalanguage, which is typically taken to include set theory or another strong theory or expressive language. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Presumably the metalanguage includes set theory because that connects it with mathematics, and enables it to be formally rigorous. Tarski showed, in his undefinability theorem, that the meta-language must have increased resources. |
| 15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
| Full Idea: If truth is not explanatory, truth axioms should not allow proof of new theorems not involving the truth predicate. It is hence said that axiomatic truth should be 'conservative' - not implying further sentences beyond what the axioms can prove. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: [compressed] |
| 15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
| Full Idea: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may bring all kinds of commitments. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: The general principle that anything which can be defined can be eliminated (in an abstract theory, presumably, not in nature!) raises interesting questions about how many true theories there are which are all equivalent to one another. |
| 15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
| Full Idea: The axiomatic approach does not presuppose that truth can be defined. Instead, a formal language is expanded by a new primitive predicate of truth, and axioms for that predicate are then laid down. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) | |
| A reaction: Idea 15647 explains why Halbach thinks the definition route is no good. |
| 15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
| Full Idea: Axiomatic theories of truth can be presented within very weak logical frameworks which require very few resources, and avoid the need for a strong metalanguage and metatheory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1) |
| 15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
| Full Idea: According to many deflationists, truth serves merely the purpose of expressing infinite conjunctions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.3) | |
| A reaction: That is, it asserts sentences that are too numerous to express individually. It also seems, on a deflationist view, to serve for anaphoric reference to sentences, such as 'what she just said is true'. |
| 15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
| Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1) |
| 5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
| Full Idea: Logicians have come increasingly to realise that logic is the science not of the intension, but of the extension of terms. | |
| From: Roger Scruton (Short History of Modern Philosophy [1981], Ch.4) | |
| A reaction: I take this to be because the notion of a 'set' is basic, which is defined strictly in terms of its members. This move is probably because we can be clear about extensions, but not intensions. Tidiness is no substitute for complex truth. |
| 15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
| Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
| 15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
| Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
| From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
| A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
| 20457 | Zeno assumes collecting an infinity of things makes an infinite thing [Rovelli] |
| Full Idea: One possible answer is that Zeno is wrong because it is not true that by accumulating an infinite number of things one ends up with an infinite thing. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 01) | |
| A reaction: I do love it when deep and complex ideas are expressed with perfect simplicity. As long as the simple version is correct. |
| 20468 | Quantum mechanics deals with processes, rather than with things [Rovelli] |
| Full Idea: Quantum mechanics teaches us not to think about the world in terms of 'things' which are in this or that state, but in terms of 'processes' instead. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) |
| 20467 | Quantum mechanics describes the world entirely as events [Rovelli] |
| Full Idea: The world of quantum mechanics is not a world of objects: it is a world of events. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: I presume a philosopher is allowed to ask what an 'event' is. Since, as Rovelli tells it, time is eliminated from the picture, events seem to be unanalysable primitives. |
| 5636 | Cartesian 'ideas' confuse concepts and propositions [Scruton] |
| Full Idea: Cartesian 'ideas' seem to be both concepts and propositions at once. | |
| From: Roger Scruton (Short History of Modern Philosophy [1981], Ch.4) | |
| A reaction: This seems to be the simple reason why modern philosophers don't like this seventeenth century notion. There is something slightly too tidy about the modern notion of propositions built out of concepts. Animals see propositions in a flash. |
| 5660 | Allegiance is prior to the recognition of individual rights [Scruton] |
| Full Idea: Personally I regard allegiance, in the manner of Hegel, as prior to the recognition of individual rights. | |
| From: Roger Scruton (Short History of Modern Philosophy [1981], Bibliog) | |
| A reaction: Scruton notoriously generates rather right-wing views from this basis, but it is also the basis of communitarianism, which can take a softer form. It seems to me self-evident that rights cannot be the prime concept in a society. What society? |
| 5653 | A right is a power which is enforced in the name of justice [Scruton] |
| Full Idea: Rights are enforced in the name of justice, whereas power is enforced come what may. | |
| From: Roger Scruton (Short History of Modern Philosophy [1981], Ch.14) | |
| A reaction: Presumably rights can be claimed as well as enforced, and the notion of a natural right is at least a discussable concept, as in the 'right' of self-defence. Scruton offers us a very right-wing definition of rights. |
| 20469 | There are probably no infinities, and 'infinite' names what we do not yet know [Rovelli] |
| Full Idea: 'Infinite', ultimately, is the name that we give to what we do not yet know. Nature appears to be telling us that there is nothing truly infinite. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 11) |
| 20461 | The basic ideas of fields and particles are merged in quantum mechanics [Rovelli] |
| Full Idea: The notions of fields and particles, separated by Faraday and Maxwell, end up merging in quantum mechanics. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: This sounds to me just like Anaximander's 'apeiron' - the unlimited [Rovelli agrees! p.168]. Anaximander predicted the wall which enquiry would hit, but we now have more detail. |
| 20462 | Because it is quantised, a field behaves like a set of packets of energy [Rovelli] |
| Full Idea: Since the energy of the electromagnetic field can take on only certain values, the field behaves like a set of packets of energy. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) |
| 20463 | There are about fifteen particles fields, plus a few force fields [Rovelli] |
| Full Idea: There are about fifteen fields, whose quanta are elementary particles (electrons, quarks, muons, neutrinos, Higgs, and little else), plus a few fields similar to the electromagnetic one, which describe forces at a nuclear scale, with quanta like photons. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: According to Rovelli, this sentence describes the essence of physical reality. |
| 20464 | The world consists of quantum fields, with elementary events happening in spacetime [Rovelli] |
| Full Idea: The world is not made up of fields and particles, but of a single type of entity: the quantum field. There are no longer particles which move in space with the passage of time, but quantum fields whose elementary events happen in spacetime. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: If you are not a scientist, there is (I find) a strong tendency to read and digest stuff like this, and then forget it the next day, because it so far from our experience. Folk like me have to develop two parallel views of the nature of reality. |
| 20460 | Electrons are not waves, because their collisions are at a point, and not spread out [Rovelli] |
| Full Idea: Schrödinger's wave is a bad image for an electron, because when a particle collides with something else, it is always at a point: it is never spread out in space like a wave. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04 note) | |
| A reaction: And yet there is the diffusion in the two-slit experiment, which Thomas Young discovered for light. I must take Rovelli's word for this. |
| 20459 | Electrons only exist when they interact, and their being is their combination of quantum leaps [Rovelli] |
| Full Idea: Electrons don't always exist. They exist when they interact. They materialize when they collide with something. The quantum leap from one orbit to another constitutes their way of being real. An electron is a combination of leaps between interactions. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: If a philosopher with an Aristotelian interest in the nature of matter wants to grasp the modern view, the electron looks like the thing to focus on. You can feel Rovelli battling here to find formulations that might satisfy a philosopher. |
| 20466 | Quantum Theory describes events and possible interactions - not how things are [Rovelli] |
| Full Idea: Quantum Theory does not describe things as they are: it describes how things occur and interact with each other. It doesn't describe where there is a particle but how it shows itself to others. The world of existence is reduced to possible interactions. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) | |
| A reaction: Fans of 'process philosophy' should like this, though he is not denying that there may be facts about how things are - it is just that this is not mentioned in the theory. There is not much point in philosophers yearning to know the reality. |
| 20465 | Nature has three aspects: granularity, indeterminacy, and relations [Rovelli] |
| Full Idea: I think that quantum mechanics has revealed three aspects of the nature of things: granularity, indeterminacy, and the relational structure of the world. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 04) |
| 20458 | The world is just particles plus fields; space is the gravitational field [Rovelli] |
| Full Idea: The world is made up of particles + fields, and nothing else; there is no need to add space as an extra ingredient. Newton's space is the gravitational field. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 03) | |
| A reaction: I get the impression that particles are just bumps or waves in the fields [yes! Rovelli p.110], which would mean there are fields and nothing else. And no one seems to know what a field is. |
| 20470 | Only heat distinguishes past from future [Rovelli] |
| Full Idea: It is always heat and only heat that distinguishes the past from the future. | |
| From: Carlo Rovelli (Reality is Not What it Seems [2014], 12) | |
| A reaction: I can remember the past but not the future - so can that fact be reduced to facts about heat? |