display all the ideas for this combination of texts
2 ideas
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
Full Idea: The Löwenheim-Skolem property seems to be undesirable, in that it states a limitation concerning the distinctions the logic is capable of making, such as saying there are uncountably many reals ('Skolem's Paradox'). | |
From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
Full Idea: Skolem deduced from the Löwenheim-Skolem theorem that 'the absolutist conceptions of Cantor's theory' are 'illusory'. I think it is clear that this conclusion would not follow even if elementary logic were in some sense the true logic, as Skolem assumed. | |
From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §7) | |
A reaction: [Tharp cites Skolem 1962 p.47] Kit Fine refers to accepters of this scepticism about the arithmetic of infinities as 'Skolemites'. |