19 ideas
15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
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] |
15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
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] |
15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
15161 | There are more metaphysically than logically necessary truths [Soames] |
335 | Do the gods also hold different opinions about what is right and honourable? [Plato] |
15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
336 | Is what is pious loved by the gods because it is pious, or is it pious because they love it? (the 'Euthyphro Question') [Plato] |
337 | It seems that the gods love things because they are pious, rather than making them pious by loving them [Plato] |