35 ideas
| 11159 | My account shows how the concept works, rather than giving an analysis [Fine,K] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 11157 | Modern philosophy has largely abandoned real definitions, apart from sortals [Fine,K] |
| 11171 | Defining a term and giving the essence of an object don't just resemble - they are the same [Fine,K] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 11151 | An object is dependent if its essence prevents it from existing without some other object [Fine,K] |
| 11152 | Essences are either taken as real definitions, or as necessary properties [Fine,K] |
| 11161 | Essentially having a property is naturally expressed as 'the property it must have to be what it is' [Fine,K] |
| 11160 | Simple modal essentialism refers to necessary properties of an object [Fine,K] |
| 11158 | Essentialist claims can be formulated more clearly with quantified modal logic [Fine,K] |
| 11167 | Metaphysical necessity is a special case of essence, not vice versa [Fine,K] |
| 16537 | Essence as necessary properties produces a profusion of essential properties [Fine,K, by Lowe] |
| 11163 | The nature of singleton Socrates has him as a member, but not vice versa [Fine,K] |
| 11164 | It is not part of the essence of Socrates that a huge array of necessary truths should hold [Fine,K] |
| 10935 | An essential property of something must be bound up with what it is to be that thing [Fine,K, by Rami] |
| 10936 | Essential properties are part of an object's 'definition' [Fine,K, by Rami] |
| 11165 | If Socrates lacks necessary existence, then his nature cannot require his parents' existence [Fine,K] |
| 11166 | The subject of a proposition need not be the source of its necessity [Fine,K] |
| 9216 | Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K] |
| 11169 | Conceptual necessities rest on the nature of all concepts [Fine,K] |
| 11162 | Socrates is necessarily distinct from the Eiffel Tower, but that is not part of his essence [Fine,K] |
| 11168 | Metaphysical necessities are true in virtue of the nature of all objects [Fine,K] |
| 9214 | Unsupported testimony may still be believable [Fine,K] |
| 11170 | Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K] |
| 11172 | The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K] |
| 9215 | Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K] |