35 ideas
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
9570 | In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
10260 | Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
8958 | In Field's version of science, space-time points replace real numbers [Field,H, by Szabó] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
18221 | 'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
8757 | The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H] |
18212 | Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H] |
10261 | The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro] |
18218 | Hilbert explains geometry, by non-numerical facts about space [Field,H] |
9623 | Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H] |
18215 | It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H] |
18216 | Abstractions can form useful counterparts to concrete statements [Field,H] |
18214 | Mathematics is only empirical as regards which theory is useful [Field,H] |
18210 | Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H] |
18211 | You can reduce ontological commitment by expanding the logic [Field,H] |
8959 | Field presumes properties can be eliminated from science [Field,H, by Szabó] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
18213 | Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H] |
18222 | Beneath every extrinsic explanation there is an intrinsic explanation [Field,H] |
9917 | 'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
18223 | In theories of fields, space-time points or regions are causal agents [Field,H] |
18220 | Both philosophy and physics now make substantivalism more attractive [Field,H] |
18219 | Relational space is problematic if you take the idea of a field seriously [Field,H] |