16 ideas
| 14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
| Full Idea: It is customary in logic to take a theory to be a set of sentences closed under logical consequence, whereas it is common in discussions of theories of truth to take a theory to be an axiomatized theory. | |
| From: Kit Fine (Semantic Necessity [2010], n8) |
| 10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
| Full Idea: Mathematics seems necessary because the real contents of mathematical statements are logical truths, which are necessary, and it seems a priori because logical truths really are a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 10) | |
| A reaction: Yablo says his logicism has a Kantian strain, because numbers and sets 'inscribed on our spectacles', but he takes a different view (in the present Idea) from Kant about where the necessity resides. Personally I am tempted by an a posteriori necessity. |
| 10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
| Full Idea: Saying 'the number of Fs is 5', instead of using five quantifiers, puts the numeral in quantifiable position, which brings expressive advantages. 'There are more sheep in the field than cows' is an infinite disjunction, expressible in finite compass. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 08) | |
| A reaction: See Hofweber with similar thoughts. This idea I take to be a key one in explaining many metaphysical confusions. The human mind just has a strong tendency to objectify properties, relations, qualities, categories etc. - for expression and for reasoning. |
| 10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
| Full Idea: Our knowledge of concreta is a posteriori, but our knowledge of numbers, at least, has often been considered a priori. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 02) |
| 10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
| Full Idea: Objects like me have a few essential properties, and numerous accidental ones. Abstract objects are a different story. The intrinsic properties of the empty set are mostly essential. The relations of numbers are also mostly essential. | |
| From: Stephen Yablo (Abstract Objects: a Case Study [2002], 01) |
| 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. |
| 14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
| Full Idea: Fine's paper argues that the notion of semantic necessity has a role to play in understanding the nature and content of semantics comparable to the role of metaphysical necessity in metaphysics. | |
| From: report of Kit Fine (Semantic Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 |
| 14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
| Full Idea: On one view, a semantics for a given language is taken to be an assignment of semantic values to its expressions; according to the other, a semantics is taken to be a theory of truth for that language. | |
| From: Kit Fine (Semantic Necessity [2010], Intro) | |
| A reaction: The first is Frege, the second Tarski via Davidson, says Fine. Fine argues against these as the correct alternatives, and says the distinction prevents us understanding what is really going on. He votes for semantics as giving 'semantic requirements'. |
| 14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
| Full Idea: Semantics should be conceived as a body of semantic requirements or facts - and not as a body of semantic truths, or as an assignment of semantic values. | |
| From: Kit Fine (Semantic Necessity [2010], 5) | |
| A reaction: The 'truths' view is Tarski, and the 'values' view is Frege. You'll have to read the Fine paper to grasp his subtle claim. |
| 14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
| Full Idea: What distinguishes the referential position in semantics from Fregeanism is that it makes use of de re semantic facts, in which it is required of an object itself that it enter into certain semantic requirements. | |
| From: Kit Fine (Semantic Necessity [2010], 5) | |
| A reaction: I have a repugnance to any sort of semantics that involves the objects themselves, even when dealing with proper names. If I talk of 'Napoleon', no small Frenchman is to be found anywhere in my sentences. |
| 14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
| Full Idea: The source of the Quinean scepticism about analytic and synthetic is, first, scepticism over whether we can factor truth into a semantic and a factual component, and (second) if we can, is the factual component ever null? | |
| From: Kit Fine (Semantic Necessity [2010], 1) | |
| A reaction: You certainly can't grasp 'bachelors are unmarried men' if you haven't grasped the full Woosterian truth about men and marriage. But I could interdefine four meaningless words, so that you could employ them in analytic sentences. |