23 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
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] |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
19207 | Sentence logic maps truth values; predicate logic maps objects and sets [Merricks] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
19214 | In twinning, one person has the same origin as another person [Merricks] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
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] |