13 ideas
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| 9224 | Proceduralism offers a version of logicism with no axioms, or objects, or ontological commitment [Fine,K] |
| 9222 | The objects and truths of mathematics are imperative procedures for their construction [Fine,K] |
| 9223 | My Proceduralism has one simple rule, and four complex rules [Fine,K] |
| 8337 | Some says mental causation is distinct because we can recognise single occurrences [Mackie] |
| 8342 | Mackie tries to analyse singular causal statements, but his entities are too vague for events [Kim on Mackie] |
| 8343 | Necessity and sufficiency are best suited to properties and generic events, not individual events [Kim on Mackie] |
| 8385 | A cause is part of a wider set of conditions which suffices for its effect [Mackie, by Crane] |
| 8335 | Necessary conditions are like counterfactuals, and sufficient conditions are like factual conditionals [Mackie] |
| 8336 | The INUS account interprets single events, and sequences, causally, without laws being known [Mackie] |
| 8333 | A cause is an Insufficient but Necessary part of an Unnecessary but Sufficient condition [Mackie] |
| 8395 | Mackie has a nomological account of general causes, and a subjunctive conditional account of single ones [Mackie, by Tooley] |
| 8334 | The virus causes yellow fever, and is 'the' cause; sweets cause tooth decay, but they are not 'the' cause [Mackie] |