display all the ideas for this combination of texts
3 ideas
| 21224 | Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol] |
| Full Idea: Pure mathematics is the science of the relations between any object whatever (relation of whole to part, relation of equality, property, unity etc.). In this sense, pure mathematics is seen by Husserl as formal ontology. | |
| From: report of Edmund Husserl (Formal and Transcendental Logic [1929]) by Victor Velarde-Mayol - On Husserl 4.5.2 | |
| A reaction: I would expect most modern analytic philosophers to agree with this. Modern mathematics (e.g. category theory) seems to have moved beyond this stage, but I still like this idea. |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |