22 ideas
10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
5745 | Quine says quantified modal logic creates nonsense, bad ontology, and false essentialism [Melia on Quine] |
10152 | Set theory and logic are fairy tales, but still worth studying [Tarski] |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
8789 | Various strategies try to deal with the ontological commitments of second-order logic [Hale/Wright on Quine] |
10635 | Second-order quantification and plural quantification are different [Linnebo] |
10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
16966 | Philosophers tend to distinguish broad 'being' from narrower 'existence' - but I reject that [Quine] |
16965 | All we have of general existence is what existential quantifiers express [Quine] |
10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
16963 | Existence is implied by the quantifiers, not by the constants [Quine] |
16964 | Theories are committed to objects of which some of its predicates must be true [Quine] |
4216 | Express a theory in first-order predicate logic; its ontology is the types of bound variable needed for truth [Quine, by Lowe] |
18966 | Ontological commitment of theories only arise if they are classically quantified [Quine] |
14490 | You can be implicitly committed to something without quantifying over it [Thomasson on Quine] |
10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
16961 | In formal terms, a category is the range of some style of variables [Quine] |
10151 | I am a deeply convinced nominalist [Tarski] |
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |