6 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] |
18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible. | |
From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4 | |
A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'. |
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) |
3271 | We can't control our own beliefs [Nagel] |
Full Idea: Our beliefs are always due to factors outside of our control. | |
From: Thomas Nagel (Moral Luck [1976], p.27) |
3272 | Moral luck can arise in character, preconditions, actual circumstances, and outcome [Nagel] |
Full Idea: Moral luck involves one's character, the antecedent circumstances of the act, the actual circumstances of the act, and the outcome of the act. | |
From: Thomas Nagel (Moral Luck [1976], p.28) | |
A reaction: Meaning, I take it, that there can be luck in any one of those four. A neat slicing up that doesn't quite fit the real world, where things flow. Helpful, though. |