display all the ideas for this combination of texts
2 ideas
11277 | Maybe 'What is being? is confusing because we can't ask what non-being is like [Politis] |
Full Idea: We may be unfamiliar with the question 'What is being?' because there appear to be no contrastive questions of the form: how do beings differ from things that are not beings? | |
From: Vassilis Politis (Aristotle and the Metaphysics [2004], 4.1) | |
A reaction: We can, of course, contrast actual beings with possible beings, or imaginary beings, or even logically impossible beings, but in those cases 'being' strikes me as an entirely inappropriate word. |
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. |