18 ideas
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
17620 | Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy] |
17605 | Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy] |
17625 | If two mathematical themes coincide, that suggest a single deep truth [Maddy] |
17615 | Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy] |
17618 | Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy] |
17614 | The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy] |
12184 | Logical necessity overrules all other necessities [McFetridge] |
15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
11911 | Some philosophers always want more from morality; for others, nature is enough [Blackburn] |