4 ideas
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. |
15035 | If universals are not separate, we can isolate them by abstraction [Boethius, by Panaccio] |
Full Idea: Boethius argued that universals can be successfully isolated by abstraction, even if they do not exist as separate entities in the world. | |
From: report of Boethius (Second Commentary on 'Isagoge' [c.517]) by Claude Panaccio - Medieval Problem of Universals 'Sources' | |
A reaction: Personally I rather like this unfashionable view. I can't think of any other plausible explanation, unless it is a less conscious psychological process of labelling. Boethius's idea led to medieval 'immanent realism'. |
1590 | The just man does not harm his enemies, but benefits everyone [Plato] |
Full Idea: First, Socrates, you told me justice is harming your enemies and helping your friends. But later it seemed that the just man, since everything he does is for someone's benefit, never harms anyone. | |
From: Plato (Clitophon [c.372 BCE], 410b) | |
A reaction: Socrates certainly didn't subscribe to the first view, which is the traditional consensus in Greek culture. In general Socrates agreed with the views later promoted by Jesus. |