Ideas from 'Some Puzzles of Ground' by Kit Fine [2010], by Theme Structure

[found in 'Notre Dame Journal of Formal Logic' (ed/tr -) [- ,]].

green numbers give full details    |     back to texts     |     unexpand these ideas


4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value
                        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
Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties
                        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)