Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'The Ways of Paradox' and 'Maths as a Science of Patterns'

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


16 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / e. Axioms of PL
Axioms are often affirmed simply because they produce results which have been accepted [Resnik]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
The set scheme discredited by paradoxes is actually the most natural one [Quine]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
Russell's antinomy challenged the idea that any condition can produce a set [Quine]
5. Theory of Logic / L. Paradox / 3. Antinomies
Antinomies contradict accepted ways of reasoning, and demand revisions [Quine]
5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / a. Achilles paradox
Whenever the pursuer reaches the spot where the pursuer has been, the pursued has moved on [Quine]
5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / d. Russell's paradox
A barber shaves only those who do not shave themselves. So does he shave himself? [Quine]
Membership conditions which involve membership and non-membership are paradoxical [Quine]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
If we write it as '"this sentence is false" is false', there is no paradox [Quine]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
Mathematical realism says that maths exists, is largely true, and is independent of proofs [Resnik]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematical constants and quantifiers only exist as locations within structures or patterns [Resnik]
Sets are positions in patterns [Resnik]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / d. Platonist structuralism
Structuralism must explain why a triangle is a whole, and not a random set of points [Resnik]
There are too many mathematical objects for them all to be mental or physical [Resnik]
Maths is pattern recognition and representation, and its truth and proofs are based on these [Resnik]
Congruence is the strongest relationship of patterns, equivalence comes next, and mutual occurrence is the weakest [Resnik]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]