16 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] |
18935 | Semantic theory should specify when an act of naming is successful [Sawyer] |
18945 | Millians say a name just means its object [Sawyer] |
18934 | Sentences with empty names can be understood, be co-referential, and even be true [Sawyer] |
18938 | Frege's compositional account of truth-vaues makes 'Pegasus doesn't exist' neither true nor false [Sawyer] |
18947 | Definites descriptions don't solve the empty names problem, because the properties may not exist [Sawyer] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
12270 | Being is one [Melissus, by Aristotle] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
3059 | There is no real motion, only the appearance of it [Melissus, by Diog. Laertius] |
5100 | The void is not required for change, because a plenum can alter in quality [Aristotle on Melissus] |
456 | Nothing could come out of nothing [Melissus] |