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] |
3340 | Von Neumann defines each number as the set of all smaller numbers [Neumann, by Blackburn] |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
3355 | Von Neumann wanted mathematical functions to replace sets [Neumann, by Benardete,JA] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
22716 | Von Neumann defined ordinals as the set of all smaller ordinals [Neumann, by Poundstone] |
12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
579 | Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
578 | Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle] |