16 ideas
| 6299 | Axioms are often affirmed simply because they produce results which have been accepted [Resnik] |
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| 6304 | Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik] |
| 6300 | Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik] |
| 6303 | Sets are positions in patterns [Resnik] |
| 6302 | Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik] |
| 6295 | There are too many mathematical objects for them all to be mental or physical [Resnik] |
| 6296 | Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik] |
| 6301 | Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik] |
| 7855 | Some suggest that materialism is empty, because 'physical' cannot be properly characterized [Mellor/Crane, by Papineau] |
| 6120 | Causation depends on intrinsic properties [Mellor/Crane] |
| 6121 | There are many psychophysicals laws - about the effects of sweets, colours and soft cushions [Mellor/Crane] |
| 6122 | No defences of physicalism can deprive psychology of the ontological authority of other sciences [Mellor/Crane] |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |