18 ideas
21918 | Sufficient Reason can't be proved, because all proof presupposes it [Schopenhauer, by Lewis,PB] |
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] |
21920 | No need for a priori categories, since sufficient reason shows the interrelations [Schopenhauer, by Lewis,PB] |
21362 | Necessity is physical, logical, mathematical or moral [Schopenhauer, by Janaway] |
14361 | Lewis says indicative conditionals are truth-functional [Lewis, by Jackson] |
8434 | In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich] |
21361 | For Schopenhauer, material things would not exist without the mind [Schopenhauer, by Janaway] |
21919 | Object for a subject and representation are the same thing [Schopenhauer] |
21917 | The four explanations: objects by causes, concepts by ground, maths by spacetime, ethics by motive [Schopenhauer, by Lewis,PB] |
21921 | Concepts are abstracted from perceptions [Schopenhauer, by Lewis,PB] |
21363 | Motivation is causality seen from within [Schopenhauer] |
9419 | A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis] |