6 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. |
| 21597 | Logical connectives have the highest precision, yet are infected by the vagueness of true and false [Russell, by Williamson] |
| Full Idea: Russell says the best chance of avoiding vagueness are the logical connectives. ...But the vagueness of 'true' and 'false' infects the logical connectives too. All words are vague. Russell concludes that all language is vague. | |
| From: report of Bertrand Russell (Vagueness [1923]) by Timothy Williamson - Vagueness 2.4 | |
| A reaction: This relies on the logical connectives being defined semantically, in terms of T and F, but that is standard. Presumably the formal uninterpreted syntax is not vague. |
| 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) |
| 9051 | Since natural language is not precise it cannot be in the province of logic [Russell, by Keefe/Smith] |
| Full Idea: Russell takes it that logic assumes precision, and since natural language is not precise it cannot be in the province of logic at all. | |
| From: report of Bertrand Russell (Vagueness [1923]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
| A reaction: I find this view congenial. It seems to me that the necessary prelude to logic is to do everything you can to eliminate ambiguity and vagueness from the sentences at issue. We want the proposition, or logical form. If there isn't one, forget it? |
| 9054 | Vagueness is only a characteristic of representations, such as language [Russell] |
| Full Idea: Vagueness and precision alike are characteristics which can only belong to a representation, of which language is an example. | |
| From: Bertrand Russell (Vagueness [1923], p.62) | |
| A reaction: Russell was the first to tackle the question of vagueness, and he may have got it right. If we are unable to decide which set an object belongs in (red or orange) that is a problem for our conceptual/linguistic scheme. The object still has a colour! |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |
| Full Idea: I regard you all as relatives - by nature, not by convention. By nature like is akin to like, but convention is a tyrant over humankind and often constrains people to act contrary to nature. | |
| From: Hippias (fragments/reports [c.430 BCE]), quoted by Plato - Protagoras 337c8 |