9 ideas
| 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. |
| 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) |
| 13163 | Circles must be bounded, so cannot be infinite [Leibniz] |
| Full Idea: An infinite circle is impossible, since any circle is bounded by its circumference. | |
| From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.114) | |
| A reaction: This is interesting if one is asking what the essence of a circle must be. If is tempting to say merely that the radii must be equal, but can they have the length of some vast transfinite number? The circumference must be 2π bigger. |
| 13162 | Sloth's Syllogism: either it can't happen, or it is inevitable without my effort [Leibniz] |
| Full Idea: The ancient Sloth's Syllogism says that if something is foreseen and infallible, it will happen without my effort, and if it is not foreseen, it will not happen, even though I am able to do it. | |
| From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.113) | |
| A reaction: Presumable the foreseeing is to be done by the oracle, and not by the slothful person. |
| 5121 | Basing ethics on flourishing makes it consequentialist, as actions are judged by contributing to it [Harman] |
| Full Idea: Basing ethics on human flourishing tends towards utilitarianism or consequentialism; actions, character traits, laws, and so on are to be assessed with reference to their contributions to human flourishing. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.2) | |
| A reaction: This raises the question of whether only virtue can contribute to flourishing, or whether a bit of vice might be helpful. This problem presumably pushed the Stoics to say that virtue itself is the good, rather than the resulting flourishing. |
| 5120 | What counts as 'flourishing' must be relative to various sets of values [Harman] |
| Full Idea: If we base our ethics on human flourishing, one implication would seem to be moral relativism, since what counts as 'flourishing' seems inevitably relative to one or other set of values. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.1) | |
| A reaction: This remark seems to make the relativist assumption that all value systems are equal. For Aristotle, flourishing is no more relative than health is. No one can assert that illness has an intrinsically high value in human life. |
| 19339 | Evil is a negation of good, which arises from non-being [Leibniz] |
| Full Idea: The cause of good is positive, but evil is a defect, that is, a privation or negation, and consequently, it arises from nothingness or nonbeing. | |
| From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.114) | |
| A reaction: He goes on to illustrate his idea from mathematics. He is modifying Augustine's view that evil is an absence of good, by adding nonbeing as the driving force behind it. Doesn't sound very persuasive to me. |
| 13164 | God only made sin possible because a much greater good can be derived from it [Leibniz] |
| Full Idea: We must believe that God would not have allowed sin nor would he have created things he knows will sin, if he could not derive from them a good incomparably greater than the resulting evil. | |
| From: Gottfried Leibniz (Dialogue on human freedom and origin of evil [1695], p.115) | |
| A reaction: Why 'must' we believe this? Do we have to imagine all the genocides shrinking to insignificance once we grasp the wonderful goods that can be derived from them? The end justifies the means. Genocide is actually a good thing. Hm. |