13 ideas
15927 | Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine] |
8859 | The main modal logics disagree over three key formulae [Yablo] |
9455 | Maybe proper names have the content of fixing a thing's category [Bealer] |
9454 | The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer] |
8865 | If 'the number of Democrats is on the rise', does that mean that 50 million is on the rise? [Yablo] |
8863 | We must treat numbers as existing in order to express ourselves about the arrangement of planets [Yablo] |
8862 | Platonic objects are really created as existential metaphors [Yablo] |
8864 | We quantify over events, worlds, etc. in order to make logical possibilities clearer [Yablo] |
8858 | Philosophers keep finding unexpected objects, like models, worlds, functions, numbers, events, sets, properties [Yablo] |
9452 | Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer] |
9453 | Sentences saying the same with the same rigid designators may still express different propositions [Bealer] |
9451 | Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer] |
8861 | Hardly a word in the language is devoid of metaphorical potential [Yablo] |