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) |
22297 | Dummett saw realism as acceptance of bivalence, rather than of mind-independent entities [Dummett, by Potter] |
Full Idea: Dummett aimed to characterise realism in terms not of the mind-independence of the entities but of the validity of bivalence for sentences referring to them. | |
From: report of Michael Dummett (Realism [1982]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 21 'Lang' | |
A reaction: Hence he called himself a 'philosopher of language', rather than a 'philosopher of thought'. Philosophers of language are more likely to end up as anti-realists, I suspect. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |