35 ideas
| 19215 | Arguers often turn the opponent's modus ponens into their own modus tollens [Merricks] |
| 19205 | 'Snow is white' only contingently expresses the proposition that snow is white [Merricks] |
| 19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
| 19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
| 19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
| 20457 | Zeno assumes collecting an infinity of things makes an infinite thing [Rovelli] |
| 20468 | Quantum mechanics deals with processes, rather than with things [Rovelli] |
| 20467 | Quantum mechanics describes the world entirely as events [Rovelli] |
| 19214 | In twinning, one person has the same origin as another person [Merricks] |
| 19553 | Commitment to 'I have a hand' only makes sense in a context where it has been doubted [Hawthorne] |
| 19551 | How can we know the heavyweight implications of normal knowledge? Must we distort 'knowledge'? [Hawthorne] |
| 19552 | We wouldn't know the logical implications of our knowledge if small risks added up to big risks [Hawthorne] |
| 19554 | Denying closure is denying we know P when we know P and Q, which is absurd in simple cases [Hawthorne] |
| 19217 | I don't accept that if a proposition is directly about an entity, it has a relation to the entity [Merricks] |
| 19203 | A sentence's truth conditions depend on context [Merricks] |
| 19200 | Propositions are standardly treated as possible worlds, or as structured [Merricks] |
| 19206 | 'Cicero is an orator' represents the same situation as 'Tully is an orator', so they are one proposition [Merricks] |
| 19202 | Propositions are necessary existents which essentially (but inexplicably) represent things [Merricks] |
| 19204 | True propositions existed prior to their being thought, and might never be thought [Merricks] |
| 19210 | The standard view of propositions says they never change their truth-value [Merricks] |
| 19201 | Propositions can be 'about' an entity, but that doesn't make the entity a constituent of it [Merricks] |
| 19211 | Early Russell says a proposition is identical with its truthmaking state of affairs [Merricks] |
| 19212 | Unity of the proposition questions: what unites them? can the same constituents make different ones? [Merricks] |
| 19213 | We want to explain not just what unites the constituents, but what unites them into a proposition [Merricks] |
| 20469 | There are probably no infinities, and 'infinite' names what we do not yet know [Rovelli] |
| 20461 | The basic ideas of fields and particles are merged in quantum mechanics [Rovelli] |
| 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] |
| 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] |
| 20466 | Quantum Theory describes events and possible interactions - not how things are [Rovelli] |
| 20465 | Nature has three aspects: granularity, indeterminacy, and relations [Rovelli] |
| 20458 | The world is just particles plus fields; space is the gravitational field [Rovelli] |
| 20470 | Only heat distinguishes past from future [Rovelli] |