10672 | Tarskian semantics says that a sentence is true iff it is satisfied by every sequence |

10676 | The Axiom of Choice is a non-logical principle of set-theory |

10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals |

10687 | Maybe we reduce sets to ordinals, rather than the other way round |

10677 | Extensional mereology needs two definitions and two axioms |

10671 | Plural definite descriptions pick out the largest class of things that fit the description |

10666 | Plural reference will refer to complex facts without postulating complex things |

10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise |

10675 | A plural comprehension principle says there are some things one of which meets some condition |

10673 | Plural language can discuss without inconsistency things that are not members of themselves |

10680 | The theory of the transfinite needs the ordinal numbers |

10684 | I take the real numbers to be just lengths |

10674 | A plural language gives a single comprehensive induction axiom for arithmetic |

10685 | Set theory is the science of infinity |

10681 | In arithmetic singularists need sets as the instantiator of numeric properties |

10668 | We are committed to a 'group' of children, if they are sitting in a circle |

10664 | Complex particulars are either masses, or composites, or sets |

10678 | The relation of composition is indispensable to the part-whole relation for individuals |

10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules |

10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles |

10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs |

10683 | We could ignore space, and just talk of the shape of matter |