Combining Texts

Ideas for 'The Science of Knowing (Wissenschaftslehre) [1st ed]', 'What is a Law of Nature?st2=David M. Armstrong' and 'Axiomatic Theories of Truth'

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
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.