11 ideas
11178 | The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K] |
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] |
11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
17809 | Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel] |
17810 | The study of mathematical foundations needs new non-mathematical concepts [Kreisel] |
8249 | Class membership is not transitive, unlike being part of a part of the whole [Lesniewski, by George/Van Evra] |
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] |
17811 | The natural conception of points ducks the problem of naming or constructing each point [Kreisel] |