7 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
Full Idea: Very few things in set theory remain valid in intuitionist mathematics. | |
From: Paul Bernays (On Platonism in Mathematics [1934]) |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought. | |
From: Paul Bernays (On Platonism in Mathematics [1934], p.261) | |
A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist. |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction. | |
From: Paul Bernays (On Platonism in Mathematics [1934], p.268) | |
A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic. |
21558 | 'Predicative' norms are those which define a class [Russell] |
Full Idea: Norms (containing one variable) which do not define classes I propose to call 'non-predicative'; those which do define classes I shall call 'predicative'. | |
From: Bertrand Russell (Difficulties of Transfinite Numbers and Types [1905], p.141) |
21559 | We need rules for deciding which norms are predicative (unless none of them are) [Russell] |
Full Idea: We need rules for deciding what norms are predicative and what are not, unless we adopt the view (which has much to recommend it) that no norms are predicative. ...[146] A predative propositional function is one which determines a class. | |
From: Bertrand Russell (Difficulties of Transfinite Numbers and Types [1905], p.141) | |
A reaction: He is referring to his 'no class' theory, which he favoured at that time. |
3570 | Maybe knowledge is belief which 'tracks' the truth [Nozick, by Williams,M] |
Full Idea: Nozick suggests that knowledge is just belief which 'tracks the truth' (hence leaving out justification). | |
From: report of Robert Nozick (Philosophical Explanations [1981]) by Michael Williams - Problems of Knowledge Ch. 2 |
2748 | A true belief isn't knowledge if it would be believed even if false. It should 'track the truth' [Nozick, by Dancy,J] |
Full Idea: Nozick says Gettier cases aren't knowledge because the proposition would be believed even if false. Proper justification must be more sensitive to the truth ("track the truth"). | |
From: report of Robert Nozick (Philosophical Explanations [1981], 3.1) by Jonathan Dancy - Intro to Contemporary Epistemology 3.1 | |
A reaction: This is a bad idea. I see a genuine tree in my garden and believe it is there, so I know it. That I might have believed it if I was in virtually reality, or observing a mirror, won't alter that. |