33 ideas
| 10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
| 10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
| 10635 | Second-order quantification and plural quantification are different [Linnebo] |
| 10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
| 10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [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] |
| 10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
| 10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
| 10467 | Individuals consist of 'compresent' tropes [Bacon,John] |
| 10464 | A trope is a bit of a property or relation (not an exemplification or a quality) [Bacon,John] |
| 10465 | Trope theory is ontologically parsimonious, with possibly only one-category [Bacon,John] |
| 14703 | Superficial necessity is true in all worlds; deep necessity is thus true, no matter which world is actual [Schroeter] |
| 14714 | Contradictory claims about a necessary god both seem apriori coherent [Schroeter] |
| 10466 | Maybe possible worlds are just sets of possible tropes [Bacon,John] |
| 14704 | 2D semantics gives us apriori knowledge of our own meanings [Schroeter] |
| 14706 | Your view of water depends on whether you start from the actual Earth or its counterfactual Twin [Schroeter] |
| 14711 | Rationalists say knowing an expression is identifying its extension using an internal cognitive state [Schroeter] |
| 14717 | Internalist meaning is about understanding; externalist meaning is about embedding in a situation [Schroeter] |
| 14720 | Semantic theory assigns meanings to expressions, and metasemantics explains how this works [Schroeter] |
| 10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
| 14695 | Semantic theories show how truth of sentences depends on rules for interpreting and joining their parts [Schroeter] |
| 14696 | Simple semantics assigns extensions to names and to predicates [Schroeter] |
| 14697 | 'Federer' and 'best tennis player' can't mean the same, despite having the same extension [Schroeter] |
| 14698 | Possible worlds semantics uses 'intensions' - functions which assign extensions at each world [Schroeter] |
| 14699 | Possible worlds make 'I' and that person's name synonymous, but they have different meanings [Schroeter] |
| 14709 | Possible worlds semantics implies a constitutive connection between meanings and modal claims [Schroeter] |
| 14719 | In the possible worlds account all necessary truths are same (because they all map to the True) [Schroeter] |
| 14701 | Array worlds along the horizontal, and contexts (world,person,time) along the vertical [Schroeter] |
| 14702 | If we introduce 'actually' into modal talk, we need possible worlds twice to express this [Schroeter] |
| 14705 | Do we know apriori how we refer to names and natural kinds, but their modal profiles only a posteriori? [Schroeter] |
| 14715 | 2D fans defend it for conceptual analysis, for meaning, and for internalist reference [Schroeter] |
| 14716 | 2D semantics can't respond to contingent apriori claims, since there is no single proposition involved [Schroeter] |