12 ideas
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| 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] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| 7401 | Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck] |
| 5454 | Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo] |
| 16560 | Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver] |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| 3645 | To understand the universe mathematics is essential [Galileo] |