Combining Texts

Ideas for 'fragments/reports', 'Axiomatic Theories of Truth' and 'An Outline of Empiricism'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

7. Existence / C. Structure of Existence / 2. Reduction

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.