11 ideas
11178 | The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K] |
15102 | S4 says there must be some necessary truths (the actual ones, of which there is at least one) [Cameron] |
11175 | Logical concepts rest on certain inferences, not on facts about implications [Fine,K] |
11176 | The property of Property Abstraction says any suitable condition must imply a property [Fine,K] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
11177 | Can the essence of an object circularly involve itself, or involve another object? [Fine,K] |
11173 | Being a man is a consequence of his essence, not constitutive of it [Fine,K] |
11179 | If there are alternative definitions, then we have three possibilities for essence [Fine,K] |
15103 | Blackburn fails to show that the necessary cannot be grounded in the contingent [Cameron] |
15104 | The 'moving spotlight' theory makes one time privileged, while all times are on a par ontologically [Cameron] |