display all the ideas for this combination of texts
3 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. |
21492 | Realism is basic to the scientific method [Peirce] |
Full Idea: The fundamental hypothesis of the method of science is this: There are real things, whose characters are entirely independent of our opinion of them. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877]), quoted by Albert Atkin - Peirce 3 'method' | |
A reaction: He admits later that this is only a commitment and not a fact. It seems to me that when you combine this idea with the huge success of science, the denial of realism is crazy. Philosophy has a lot to answer for. |
6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
Full Idea: Nobody can really doubt that there are Reals, for, if he did, doubt would not be a source of dissatisfaction. | |
From: Charles Sanders Peirce (The Fixation of Belief [1877], p.19) | |
A reaction: This rests on Peirce's view that all that really matters is a sense of genuine dissatisfaction, rather than a theoretical idea. So even at the end of Meditation One, Descartes isn't actually worried about whether his furniture exists. |