16 ideas
11178 | The essence or definition of an essence involves either a class of properties or a class of propositions [Fine,K] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
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] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
10242 | I apply structuralism to concrete and abstract objects indiscriminately [Quine] |
10243 | My ontology is quarks etc., classes of such things, classes of such classes etc. [Quine] |
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] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |