Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Some Puzzles of Ground' and 'Elements of Mathematical Logic'

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

4 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
8942 Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
     Full Idea: In response to Aristotle's sea-battle problem, Lukasiewicz proposed a three-valued logic that has come to be known as L3. In addition to the values true and false (T and F), there is a third truth-value, I, meaning 'indeterminate' or 'possible'.
     From: report of Jan Lukasiewicz (Elements of Mathematical Logic [1928], 7.I) by Jennifer Fisher - On the Philosophy of Logic
     A reaction: [He originated the idea in 1917] In what sense is the third value a 'truth' value? Is 'I don't care' a truth-value? Or 'none of the above'? His idea means that formalization doesn't collapse when things get obscure. You park a few propositions under I.
14263 Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]
     Full Idea: Under strong Kleene tables, a disjunction will be true if one of the disjuncts is true, regardless of whether or not the other disjunct has a truth-value; under the weak table it is required that the other disjunct also have a value. So for other cases.
     From: Kit Fine (Some Puzzles of Ground [2010], n7)
     A reaction: [see also p.111 of Fine's article] The Kleene tables seem to be the established form of modern three-valued logic, with the third value being indeterminate.
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
14262 Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K]
     Full Idea: The general formal principles of grounding are Transitivity (A«B, B«C/A«C: if A helps ground B and B helps C, then A helps C), Irreflexivity (A«A/absurd: A can't ground itself) and Factivity (A«B/A; A«/B: for grounding both A and B must be the case).
     From: Kit Fine (Some Puzzles of Ground [2010], 4)
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
7903 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').