13 ideas
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| 8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
| 9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
| 10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| 16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
| 16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
| 16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
| 16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
| 16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |