29 ideas
| 14092 | Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen] |
| 14100 | Figuring in the definition of a thing doesn't make it a part of that thing [Rosen] |
| 10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
| 10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| 10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
| 10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
| 14096 | Explanations fail to be monotonic [Rosen] |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| 10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
| 10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
| 10063 | Formalism is a bulwark of logical positivism [Musgrave] |
| 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] |
| 14097 | Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen] |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| 14095 | Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen] |
| 14093 | An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen] |
| 14094 | The excellent notion of metaphysical 'necessity' cannot be defined [Rosen] |
| 14101 | Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen] |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| 10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
| 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] |
| 14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
| 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] |
| 14098 | An acid is just a proton donor [Rosen] |