20 ideas
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] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
7557 | To solve Zeno's paradox, reject the axiom that the whole has more terms than the parts [Russell] |
10059 | In mathematic we are ignorant of both subject-matter and truth [Russell] |
7556 | A collection is infinite if you can remove some terms without diminishing its number [Russell] |
14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
7554 | Self-evidence is often a mere will-o'-the-wisp [Russell] |