19 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] |
7548 | Classes, grouped by a convenient property, are logical constructions [Russell] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
7545 | Visible things are physical and external, but only exist when viewed [Russell] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
7549 | If my body literally lost its mind, the object seen when I see a flash would still exist [Russell] |
7553 | Sense-data are purely physical [Russell] |
7546 | A man is a succession of momentary men, bound by continuity and causation [Russell] |
7550 | We could probably, in principle, infer minds from brains, and brains from minds [Russell] |
7547 | Matter requires a division into time-corpuscles as well as space-corpuscles [Russell] |
7551 | Matter is a logical construction [Russell] |
7552 | Six dimensions are needed for a particular, three within its own space, and three to locate that space [Russell] |