13 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. |
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) |
16078 | Clay is intrinsically and atomically the same as statue (and that lacks 'modal properties') [Rudder Baker] |
Full Idea: Arguments for statue being the clay are: that the clay is intrinsically like the statue, that the clay has the same atoms as the statue', that objects don't have modal properties such as being necessarily F, and the reference of 'property' changes. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], II) | |
A reaction: [my summary of the arguments she identifies - see text for details] Rudder Baker attempts to refute all four of these arguments, in defence of constitution as different from identity. |
16077 | The clay is not a statue - it borrows that property from the statue it constitutes [Rudder Baker] |
Full Idea: I argue that a lump of clay borrows the property of being a statue from the statue. The lump is a statue because, and only because, there is something that the lump constitutes that is a statue. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], n9) | |
A reaction: It is skating on very thin metaphysical ice to introduce the concept of 'borrowing' a property. I've spent the last ten minutes trying to 'borrow' some properties, but without luck. |
16080 | Is it possible for two things that are identical to become two separate things? [Rudder Baker] |
Full Idea: A strong intuition shared by many philosophers is that some things that are in fact identical might not have been identical. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
A reaction: This flies in the face of the Kripkean view that if Hesperus=Phosphorus then the identity is necessary. I don't think I have an intuition that some given thing might have been two things - indeed the thought seems totally weird. Amoeba? Statue/clay? |
16076 | Constitution is not identity, as consideration of essential predicates shows [Rudder Baker] |
Full Idea: I want to resuscitate an essentialist argument against the view that constitution is identity, of the form 'x is essentially F, y is not essentially F, so x is not y'. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], Intro) | |
A reaction: The point is that x might be essentially F and y only accidentally F. Thus a statue is essentially so, but a lump if clay is not essentially a statue. Another case where 'necessary' would do instead of 'essentially'. |
16081 | The constitution view gives a unified account of the relation of persons/bodies, statues/bronze etc [Rudder Baker] |
Full Idea: Constitution-without-identity is superior to constitution-as-identity in that it provides a unified view of the relation between persons and bodies, statues and pieces of bronze, and so on. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], IV) | |
A reaction: I have a problem with the intrinsic dualism of this whole picture. Clay needs shape, statues need matter - there aren't two 'things' here which have a 'relation'. |
16082 | Statues essentially have relational properties lacked by lumps [Rudder Baker] |
Full Idea: The statue has relational properties which the lump of clay does not have essentially. | |
From: Lynne Rudder Baker (Why Constitution is not Identity [1997], V) | |
A reaction: She has in mind relations to the community of artistic life. I don't think this is convincing. Is something only a statue if it is validated by an artistic community? That sounds like relative identity, which she doesn't like. |
13165 | Geometrical proofs do not show causes, as when we prove a triangle contains two right angles [Proclus] |
Full Idea: Geometry does not ask 'why?' ..When from the exterior angle equalling two opposite interior angles it is shown that the interior angles make two right angles, this is not a causal demonstration. With no exterior angle they still equal two right angles. | |
From: Proclus (Commentary on Euclid's 'Elements' [c.452], p.161-2), quoted by Paolo Mancosu - Explanation in Mathematics §5 | |
A reaction: A very nice example. It is hard to imagine how one might demonstrate the cause of the angles making two right angles. If you walk, turn left x°, then turn left y°, then turn left z°, and x+y+z=180°, you end up going in the original direction. |
9569 | The origin of geometry started in sensation, then moved to calculation, and then to reason [Proclus] |
Full Idea: It is unsurprising that geometry was discovered in the necessity of Nile land measurement, since everything in the world of generation goes from imperfection to perfection. They would naturally pass from sense-perception to calculation, and so to reason. | |
From: Proclus (Commentary on Euclid's 'Elements' [c.452]), quoted by Charles Chihara - A Structural Account of Mathematics 9.12 n55 | |
A reaction: The last sentence is the core of my view on abstraction, that it proceeds by moving through levels of abstraction, approaching more and more general truths. |