34 ideas
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 14508 | A 'thisness' is a thing's property of being identical with itself (not the possession of self-identity) [Adams,RM] |
| 14511 | There are cases where mere qualities would not ensure an intrinsic identity [Adams,RM] |
| 12031 | Essences are taken to be qualitative properties [Adams,RM] |
| 12034 | If the universe was cyclical, totally indiscernible events might occur from time to time [Adams,RM] |
| 14510 | Two events might be indiscernible yet distinct, if there was a universe cyclical in time [Adams,RM] |
| 16455 | Black's two globes might be one globe in highly curved space [Adams,RM] |
| 14507 | Are possible worlds just qualities, or do they include primitive identities as well? [Adams,RM] |
| 11964 | Possible worlds are world-stories, maximal descriptions of whole non-existent worlds [Adams,RM, by Molnar] |
| 16451 | Adams says anti-haecceitism reduces all thisness to suchness [Adams,RM, by Stalnaker] |
| 11901 | Haecceitism may or may not involve some logical connection to essence [Adams,RM, by Mackie,P] |
| 14512 | Moderate Haecceitism says transworld identities are primitive, but connected to qualities [Adams,RM] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 12790 | Generalisations must be invariant to explain anything [Leuridan] |
| 12789 | Biological functions are explained by disposition, or by causal role [Leuridan] |
| 14386 | Mechanisms are ontologically dependent on regularities [Leuridan] |
| 12787 | Mechanisms can't explain on their own, as their models rest on pragmatic regularities [Leuridan] |
| 14384 | We can show that regularities and pragmatic laws are more basic than mechanisms [Leuridan] |
| 14388 | Mechanisms must produce macro-level regularities, but that needs micro-level regularities [Leuridan] |
| 14389 | There is nothing wrong with an infinite regress of mechanisms and regularities [Leuridan] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 12032 | Direct reference is by proper names, or indexicals, or referential uses of descriptions [Adams,RM] |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| 14387 | Rather than dispositions, functions may be the element that brought a thing into existence [Leuridan] |
| 14382 | Pragmatic laws allow prediction and explanation, to the extent that reality is stable [Leuridan] |
| 14385 | Strict regularities are rarely discovered in life sciences [Leuridan] |
| 14383 | A 'law of nature' is just a regularity, not some entity that causes the regularity [Leuridan] |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |