18767 | Free logics has terms that do not designate real things, and even empty domains |

18763 | Basic variables in second-order logic are taken to range over subsets of the individuals |

18771 | Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities |

18769 | Do mathematicians use 'existence' differently when they say some entity exists? |

18766 | 's is non-existent' cannot be said if 's' does not designate |

18768 | We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond |

18770 | We can distinguish 'ontological' from 'existential' commitment, for different kinds of being |

18765 | Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) |

18764 | The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles |