16 ideas
14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
9470 | Modal logic is not an extensional language [Parsons,C] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
1630 | We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine] |
5747 | "No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia] |
7925 | There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine] |
13387 | Our conceptual scheme becomes more powerful when we posit abstract objects [Quine] |
8277 | I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine] |
14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
1631 | You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine] |
1632 | Translation of our remote past or language could be as problematic as alien languages [Quine] |