Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Explanation in Mathematics' and 'The Web of Belief'

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


3 ideas

1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian]
     Full Idea: Successful explications (giving a precise sense to a term) have been found for the concepts of deduction, probability and computability, to name just three.
     From: W Quine / J Ullian (The Web of Belief [1970], 65), quoted by Alex Orenstein - W.V. Quine Ch.3
     A reaction: Quine also cites the concept of an 'ordered pair'. Orenstein adds Tarski's definition of truth, Russell's definite descriptions, and the explication of existence in terms of quantifications. Cf. Idea 2958.
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu]
     Full Idea: Essences and essential properties do not seem to be useful in mathematical contexts, since all mathematical truths are regarded as necessary (though Kit Fine distinguishes between essential and necessary properties).
     From: Paolo Mancosu (Explanation in Mathematics [2008], §6.1)
     A reaction: I take the proviso in brackets to be crucial. This represents a distortion of notion of an essence. There is a world of difference between the central facts about the nature of a square and the peripheral inferences derivable from it.
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').