39 ideas
6806 | Do not multiply entities beyond necessity [William of Ockham] |
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
16865 | 'Theorems' are both proved, and used in proofs [Frege] |
16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
16871 | A truth can be an axiom in one system and not in another [Frege] |
16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
8518 | Events are trope-sequences, in which tropes replace one another [Campbell,K] |
8513 | Two red cloths are separate instances of redness, because you can dye one of them blue [Campbell,K] |
8514 | Red could only recur in a variety of objects if it was many, which makes them particulars [Campbell,K] |
8522 | Tropes solve the Companionship Difficulty, since the resemblance is only between abstract particulars [Campbell,K] |
8523 | Tropes solve the Imperfect Community problem, as they can only resemble in one respect [Campbell,K] |
8524 | Trope theory makes space central to reality, as tropes must have a shape and size [Campbell,K] |
22132 | Species and genera are individual concepts which naturally signify many individuals [William of Ockham] |
8521 | Nominalism has the problem that without humans nothing would resemble anything else [Campbell,K] |
8515 | Tropes are basic particulars, so concrete particulars are collections of co-located tropes [Campbell,K] |
8519 | Bundles must be unique, so the Identity of Indiscernibles is a necessity - which it isn't! [Campbell,K] |
9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
4033 | Two pure spheres in non-absolute space are identical but indiscernible [Campbell,K] |
16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
16875 | We use signs to mark receptacles for complex senses [Frege] |
8512 | Abstractions come before the mind by concentrating on a part of what is presented [Campbell,K] |
16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
16874 | The parts of a thought map onto the parts of a sentence [Frege] |
8517 | Causal conditions are particular abstract instances of properties, which makes them tropes [Campbell,K] |
8516 | Davidson can't explain causation entirely by events, because conditions are also involved [Campbell,K] |
19381 | The past has ceased to exist, and the future does not yet exist, so time does not exist [William of Ockham] |
8010 | William of Ockham is the main spokesman for God's commands being the source of morality [William of Ockham] |
16679 | Even an angel must have some location [William of Ockham, by Pasnau] |