9 ideas
| 15833 | Tell cleverness from answers, but wisdom from questions [Mahfouz] |
| Full Idea: You can tell whether a man is clever by his answers. You can tell whether a man is wise by his questions. | |
| From: Naguib Mahfouz (works [1998]) | |
| A reaction: [Popped up on Twitter. I am adjusting to the 21st century] The observation is simplistic, of course, but very nice indeed. |
| 13831 | Logic is based on transitions between sentences [Prawitz] |
| Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04) | |
| A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts. |
| 13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz] |
| Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2) |
| 13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
| Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2) | |
| A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing] |
| 13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
| Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants. | |
| From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1) |
| 13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
| Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things. | |
| From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1) |
| 16669 | Everything that exists is either a being, or some mode of a being [Malebranche] |
| Full Idea: It is absolutely necessary that everything in the world be either a being or a mode [manière] of a being. | |
| From: Nicolas Malebranche (The Search After Truth [1675], III.2.8.ii), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 13.4 |
| 12726 | In a true cause we see a necessary connection [Malebranche] |
| Full Idea: A true cause is one in which the mind perceives a necessary connection between the cause and its effect. | |
| From: Nicolas Malebranche (The Search After Truth [1675], 1.649 (450)), quoted by Daniel Garber - Leibniz:Body,Substance,Monad 5 | |
| A reaction: Presumably Hume was ignorant of 'true' causes, since he says he never saw this connection. But then is the perception done by the mind, or by the senses? |
| 2594 | A true cause must involve a necessary connection between cause and effect [Malebranche] |
| Full Idea: A true cause as I understand it is one such that the mind perceives a necessary connection between it and its effects. | |
| From: Nicolas Malebranche (The Union of Body and Soul [1675], p.116) |