Combining Texts

All the ideas for 'talk', 'Mahaprajnaparamitashastra' and 'What Numbers Are'

unexpand these ideas     |    start again     |     specify just one area for these texts


4 ideas

5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP]
     Full Idea: The Löwenheim-Skolem theorem tells us that any theory with a true interpretation has a model in the natural numbers.
     From: Nicholas P. White (What Numbers Are [1974], V)
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP]
     Full Idea: Statements involving finite cardinalities can be made without treating numbers as objects at all, simply by using quantification and identity to define numerically definite quantifiers in the manner of Frege.
     From: Nicholas P. White (What Numbers Are [1974], IV)
     A reaction: [He adds Quine 1960:268 as a reference]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
By nature people are close to one another, but culture drives them apart [Hippias]
     Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature.
     From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').