12 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. |
| 18085 | Values that approach zero, becoming less than any quantity, are 'infinitesimals' [Cauchy] |
| Full Idea: When the successive absolute values of a variable decrease indefinitely in such a way as to become less than any given quantity, that variable becomes what is called an 'infinitesimal'. Such a variable has zero as its limit. | |
| From: Augustin-Louis Cauchy (Cours d'Analyse [1821], p.19), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 10.4 | |
| A reaction: The creator of the important idea of the limit still talked in terms of infinitesimals. In the next generation the limit took over completely. |
| 18084 | When successive variable values approach a fixed value, that is its 'limit' [Cauchy] |
| Full Idea: When the values successively attributed to the same variable approach indefinitely a fixed value, eventually differing from it by as little as one could wish, that fixed value is called the 'limit' of all the others. | |
| From: Augustin-Louis Cauchy (Cours d'Analyse [1821], p.19), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 10.4 | |
| A reaction: This seems to be a highly significan proposal, because you can now treat that limit as a number, and adds things to it. It opens the door to Cantor's infinities. Is the 'limit' just a fiction? |
| 12608 | Concepts are distinguished by roles in judgement, and are thus tied to rationality [Peacocke] |
| Full Idea: 'Concept' is a notion tied, in the classical Fregean manner, to cognitive significance. Concepts are distinct if we can judge rationally of one, without the other. Concepts are constitutively and definitionally tied to rationality in this way. | |
| From: Christopher Peacocke (Truly Understood [2008], 2.2) | |
| A reaction: It seems to a bit optimistic to say, more or less, that thinking is impossible if it isn't rational. Rational beings have been selected for. As Quine nicely observed, duffers at induction have all been weeded out - but they may have existed, briefly. |
| 12605 | A sense is individuated by the conditions for reference [Peacocke] |
| Full Idea: My basic Fregean idea is that a sense is individuated by the fundamental condition for something to be its reference. | |
| From: Christopher Peacocke (Truly Understood [2008], Intro) | |
| A reaction: For something to actually be its reference (as opposed to imagined reference), truth must be involved. This needs the post-1891 Frege view of such things, and not just the view of concepts as functions which he started with. |
| 12607 | Fregean concepts have their essence fixed by reference-conditions [Peacocke] |
| Full Idea: The Fregean view is that the essence of a concept is given by the fundamental condition for something to be its reference. | |
| From: Christopher Peacocke (Truly Understood [2008], 2.1) | |
| A reaction: Peacocke is a supporter of the Fregean view. How does this work for concepts of odd creatures in a fantasy novel? Or for mistaken or confused concepts? For Burge's 'arthritis in my thigh'? I don't reject the Fregean view. |
| 12609 | Concepts have distinctive reasons and norms [Peacocke] |
| Full Idea: For each concept, there will be some reasons or norms distinctive of that concept. | |
| From: Christopher Peacocke (Truly Understood [2008], 2.3) | |
| A reaction: This is Peacocke's bold Fregean thesis (and it sounds rather Kantian to me). I dislike the word 'norms' (long story), but reasons are interesting. The trouble is the distinction between being a reason for something (its cause) and being a reason for me. |
| 12604 | Any explanation of a concept must involve reference and truth [Peacocke] |
| Full Idea: For some particular concept, we can argue that some of its distinctive features are adequately explained only by a possession-condition that involves reference and truth essentially. | |
| From: Christopher Peacocke (Truly Understood [2008], Intro) | |
| A reaction: He reached this view via the earlier assertion that it is the role in judgement which key to understanding concepts. I like any view of such things which says that truth plays a role. |
| 12610 | Encountering novel sentences shows conclusively that meaning must be compositional [Peacocke] |
| Full Idea: The phenomenon of understanding sentences one has never encountered before is decisive against theories of meaning which do not proceed compositionally. | |
| From: Christopher Peacocke (Truly Understood [2008], 4.3) | |
| A reaction: I agree entirely. It seems obvious, as soon as you begin to slowly construct a long and unusual sentence, and follow the mental processes of the listener. |
| 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). |