11 ideas
9217 | Modern empirical metaphysics focuses on ontological commitments of discourse, or on presuppositions [Loux/Zimmerman] |
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
13591 | Quantified modal logic collapses if essence is withdrawn [Quine] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
13590 | Essences can make sense in a particular context or enquiry, as the most basic predicates [Quine] |
8483 | Necessity is relative to context; it is what is assumed in an inquiry [Quine] |
13589 | Possible worlds are a way to dramatise essentialism, and yet they presuppose essentialism [Quine] |
13588 | A rigid designator (for all possible worlds) picks out an object by its essential traits [Quine] |
13592 | Beliefs can be ascribed to machines [Quine] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |