4 ideas
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. |
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) |
7566 | The Identity of Indiscernibles is really the same as the verification principle [Jolley] |
Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle. | |
From: Nicholas Jolley (Leibniz [2005], Ch.3) | |
A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed. |
22406 | The maximisation of happiness must be done fairly [Rawls, by Smart] |
Full Idea: Rawls has suggested that we should maximise the general happiness only if we do so in a fair way. | |
From: report of John Rawls (Justice as fairness: Political not Metaphysical [1958]) by J.J.C. Smart - Outline of a System of Utilitarianism 6 | |
A reaction: Rawls is usually seen as an opponent of utilitarianism, but if we allow a few supplementary rules we can improve the theory. After all, it has a meta-rule that 'everybody counts as one'. What other supplementary values can there be? Honesty? |