47 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] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
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] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
17536 | If it can't be expressed mathematically, it can't occur in nature? [Heisenberg] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
17545 | Quantum theory shows that exact science does not need dogmatic realism [Heisenberg] |
17538 | Quantum theory does not introduce minds into atomic events [Heisenberg] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
17534 | A 'probability wave' is a quantitative version of Aristotle's potential, a mid-way type of reality [Heisenberg] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
17553 | We can retain the idea of 'substance', as indestructible mass or energy [Heisenberg] |
17544 | Basic particles have a mathematical form, which is more important than their substance [Heisenberg] |
19214 | In twinning, one person has the same origin as another person [Merricks] |
17550 | We give a mathematical account of a system of natural connections in order to clarify them [Heisenberg] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
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] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
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] |
17549 | Seven theories in science: mechanics, heat, electricity, quantum, particles, relativity, life [Heisenberg, by PG] |
17540 | Energy is that which moves, and is the substance from which everything is made [Heisenberg] |
17541 | Energy is an unchanging substance, having many forms, and causing all change [Heisenberg] |
17548 | Maxwell introduced real fields, which transferred forces from point to point [Heisenberg] |
17533 | Radiation interference needs waves, but radiation photoelectric effects needs particles [Heisenberg] |
17532 | An atom's stability after collisions needs explaining (which Newton's mechanics can't do) [Heisenberg] |
17537 | Position is complementary to velocity or momentum, so the whole system is indeterminate [Heisenberg] |
17551 | It was formerly assumed that electromagnetic waves could not be a reality in themselves [Heisenberg] |
17543 | So-called 'empty' space is the carrier of geometry and kinematics [Heisenberg] |
17552 | In relativity the length of the 'present moment' is relative to distance from the observer [Heisenberg] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |