display all the ideas for this combination of texts
2 ideas
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. |
3644 | Two things being joined together doesn't prove they are the same [Descartes] |
Full Idea: The fact that we often see two things joined together does not license the inference that they are one and the same. | |
From: René Descartes (Reply to Sixth Objections [1641], 444) | |
A reaction: Correct. The problem comes when they are never ever apart, and you begin to suspect that they are conjoined in all possible worlds. Why might this be so? It can only be identity or a causal link. |