display all the ideas for this combination of texts
6 ideas
| 18794 | Logic has precise boundaries, and is the formal rules for all thinking [Kant] |
| Full Idea: The boundaries of logic are determined quite precisely by the fact that logic is the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B Pref ix) | |
| A reaction: Presumably it does not give the rules for ridiculous thinking, so more will be required. The interesting bit is the universality of the claim. |
| 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. |
| 5542 | There must be a general content-free account of truth in the rules of logic [Kant] |
| Full Idea: Concerning the mere form of cognition (setting aside all content), it is equally clear that a logic, so far as it expounds the general and necessary rules of understanding, must present criteria of truth in these very rules. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B084/A59) | |
| A reaction: A vital point, used by Putnam (Idea 2332) in his critique of machine functionalism. It is hard to see how we can think of logic as pure syntax if the concept of truth is needed. We may observe one Venn circle inside another, but interpretaton is required. |
| 21454 | The battle of the antinomies is usually won by the attacker, and lost by any defender [Kant] |
| Full Idea: These sophistical assertions [the antinomies] open us a dialectical battlefield where each party will keep the upper hand as long as it is allowed to attack, and will certainly defeat that which is compelled to conduct itself merely defensively. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B450/A423) | |
| A reaction: This seems related to the interesting question of where the 'onus of proof' lies in a major dispute. Kant's implication is that the battles are not rational, if they are settled in such a fashion. |