9 ideas
| 7334 | Anti-realism needs an intuitionist logic with no law of excluded middle [Dummett, by Miller,A] |
| Full Idea: Dummett argues that antirealism implies that classical logic must be given up in favour of some form of intuitionistic logic that does not have the law of excluded middle as a theorem. | |
| From: report of Michael Dummett (works [1970]) by Alexander Miller - Philosophy of Language 9.4 | |
| A reaction: Only realists can think every proposition is either true or false, even if it is beyond the bounds of our possible knowledge (e.g. tiny details from remote history). Personally I think "Plato had brown eyes" is either true or false. |
| 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. |
| 3303 | For anti-realists there are no natural distinctions between objects [Dummett, by Benardete,JA] |
| Full Idea: Dummett says that anti-realism offers us a picture of reality as an amorphous lump not yet articulated into discrete objects. | |
| From: report of Michael Dummett (works [1970]) by José A. Benardete - Metaphysics: the logical approach Ch.2 | |
| A reaction: This might be called 'weak' anti-realism, where 'strong' anti-realism is the view that reality is quite unknowable, and possibly non-existent. |
| 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! |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
| From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
| From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |