display all the ideas for this combination of texts
3 ideas
9809 | Mathematics inscribes being as such [Badiou] |
Full Idea: Mathematics inscribes being as such. | |
From: Alain Badiou (Mathematics and Philosophy: grand and little [2004], p.12) | |
A reaction: I don't pretend to understand that, but there is something about the purity and certainty of mathematics that makes us feel we are grappling with the core of existence. Perhaps. The same might be said of stubbing your toe on a bedpost. |
9811 | It is of the essence of being to appear [Badiou] |
Full Idea: It is of the essence of being to appear. | |
From: Alain Badiou (Mathematics and Philosophy: grand and little [2004], p.16) | |
A reaction: Nice slogan. In my humble opinion 'continental' philosophy is well worth reading because, despite the fluffy rhetoric and the shameless egotism and the desire to shock the bourgeoisie, they occasionally make wonderfully thought-provoking remarks. |
16345 | That Peano arithmetic is interpretable in ZF set theory is taken by philosophers as a reduction [Halbach] |
Full Idea: The observation that Peano arithmetic is relatively interpretable in ZF set theory is taken by many philosophers to be a reduction of numbers to sets. | |
From: Volker Halbach (Axiomatic Theories of Truth [2011], 23) | |
A reaction: Nice! Being able to express something in a different language is not the same as a reduction. Back to the drawing board. What do you really mean by a reduction? If we model something, we don't 'reduce' it to the model. |