10 ideas
| 11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
| Full Idea: If a designated conclusion follows from the premisses, but the argument involves two howlers which cancel each other out, then the moral is that the path an argument takes from premisses to conclusion does matter to its logical evaluation. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], II) | |
| A reaction: The drift of this is that our view of logic should be a little closer to the reasoning of ordinary language, and we should rely a little less on purely formal accounts. |
| 11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
| Full Idea: If 'and' and 'but' really are alike in sense, in what might that likeness consist? Some philosophers of classical logic will reply that they share a sense by virtue of sharing a truth table. | |
| From: Ian Rumfitt ("Yes" and "No" [2000]) | |
| A reaction: This is the standard view which Rumfitt sets out to challenge. |
| 11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
| Full Idea: A connective will possess the sense that it has by virtue of its competent users' finding certain rules of inference involving it to be primitively obvious. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], III) | |
| A reaction: Rumfitt cites Peacocke as endorsing this view, which characterises the logical connectives by their rules of usage rather than by their pure semantic value. |
| 10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
| Full Idea: Where for ordinary objects one can discover the properties they exemplify, abstract objects are actually constituted or determined by the properties by which we conceive them. I use the technical term 'x encodes F' for this idea. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], 2 n2) | |
| A reaction: One might say that whereas concrete objects can be dubbed (in the Kripke manner), abstract objects can only be referred to by descriptions. See 10557 for more technicalities about Zalta's idea. |
| 13856 | Conditionals are truth-functional, but we must take care with misleading ones [Grice, by Edgington] |
| Full Idea: Grice argued that the truth-functional account of conditionals can withstand objections, provided that we are careful to distinguish the false from the misleadingly true. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Do Conditionals Have Truth Conditions? 2 |
| 8948 | The odd truth table for material conditionals is explained by conversational conventions [Grice, by Fisher] |
| Full Idea: According to Grice, it is the rules that govern conversation beyond the merely logical that account for the counter-intuitiveness of the truth table for the material conditional. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Jennifer Fisher - On the Philosophy of Logic 8.I | |
| A reaction: There is a conversational rule which says that replies should normally relevant to context. It would be nice if logical implications were also relevant to context. |
| 13767 | Conditionals might remain truth-functional, despite inappropriate conversational remarks [Edgington on Grice] |
| Full Idea: Grice defended the truth-functional account of conditionals, noting the gap between what we are justified in believing and what is appropriate to say. .But the problem arises at the level of belief, not at the level of inappropriate conversational remarks | |
| From: comment on H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals 17.1.3 |
| 14277 | A person can be justified in believing a proposition, though it is unreasonable to actually say it [Grice, by Edgington] |
| Full Idea: Grice drew attention to situations in which a person is justified in believing a proposition, which would nevertheless by an unreasonable thing for the person to say, in normal circumstances. I think he is right about disjunction and negated conjunctions. | |
| From: report of H. Paul Grice (Logic and Conversation [1975]) by Dorothy Edgington - Conditionals (Stanf) 2.4 | |
| A reaction: Edgington considers Grice's ideas of implicature as of permanent value, especially as a clarification of 1950s ordinary language philosophy. |
| 10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
| Full Idea: My object theory is formulated in a 'syntactically second-order' modal predicate calculus modified only so as to admit a second kind of atomic formula ('xF'), which asserts that object x 'encodes' property F. | |
| From: Edward N. Zalta (Deriving Kripkean Claims with Abstract Objects [2006], p.2) | |
| A reaction: This is summarising Zalta's 1983 theory of abstract objects. See Idea 10558 for Zalta's idea in plain English. |
| 11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |
| Full Idea: The standard view is that affirming not-A is more complex than affirming the atomic sentence A itself, with the latter determining its sense. But we could learn 'not' directly, by learning at once how to either affirm A or reject A. | |
| From: Ian Rumfitt ("Yes" and "No" [2000], IV) | |
| A reaction: [compressed] This seems fairly anti-Fregean in spirit, because it looks at the psychology of how we learn 'not' as a way of clarifying what we mean by it, rather than just looking at its logical behaviour (and thus giving it a secondary role). |