Combining Texts

All the ideas for 'Logicism and Ontological Commits. of Arithmetic', 'The Logical Syntax of Language' and 'Reality is Not What it Seems'

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

26 ideas

3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
13342 Carnap defined consequence by contradiction, but this is unintuitive and changes with substitution [Tarski on Carnap]
5. Theory of Logic / C. Ontology of Logic / 4. Logic by Convention
13251 Each person is free to build their own logic, just by specifying a syntax [Carnap]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
20457 Zeno assumes collecting an infinity of things makes an infinite thing [Rovelli]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / B. Change in Existence / 2. Processes
20468 Quantum mechanics deals with processes, rather than with things [Rovelli]
7. Existence / B. Change in Existence / 4. Events / b. Events as primitive
20467 Quantum mechanics describes the world entirely as events [Rovelli]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
20469 There are probably no infinities, and 'infinite' names what we do not yet know [Rovelli]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / d. The unlimited
20461 The basic ideas of fields and particles are merged in quantum mechanics [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / b. Fields
20462 Because it is quantised, a field behaves like a set of packets of energy [Rovelli]
20463 There are about fifteen particles fields, plus a few force fields [Rovelli]
20464 The world consists of quantum fields, with elementary events happening in spacetime [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / c. Electrons
20459 Electrons only exist when they interact, and their being is their combination of quantum leaps [Rovelli]
20460 Electrons are not waves, because their collisions are at a point, and not spread out [Rovelli]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
20466 Quantum Theory describes events and possible interactions - not how things are [Rovelli]
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
20465 Nature has three aspects: granularity, indeterminacy, and relations [Rovelli]
27. Natural Reality / C. Space / 4. Substantival Space
20458 The world is just particles plus fields; space is the gravitational field [Rovelli]
27. Natural Reality / D. Time / 2. Passage of Time / g. Time's arrow
20470 Only heat distinguishes past from future [Rovelli]