display all the ideas for this combination of texts
5 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. |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
Full Idea: The reduction of 2nd-order theories (of properties or sets) to axiomatic theories of truth may be conceived as a form of reductive nominalism, replacing existence assumptions (for comprehension axioms) by ontologically innocent truth assumptions. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
A reaction: I like this very much, as weeding properties out of logic (without weeding them out of the world). So-called properties in logic are too abundant, so there is a misfit with their role in science. |
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] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
Full Idea: Quantification over (certain) properties can be mimicked in a language with a truth predicate by quantifying over formulas. Instead of saying that Tom has the property of being a poor philosopher, we can say 'x is a poor philosopher' is true of Tom. | |
From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 1.1) | |
A reaction: I love this, and think it is very important. He talks of 'mimicking' properties, but I see it as philosophers mistakenly attributing properties, when actually what they were doing is asserting truths involving certain predicates. |
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) |