14 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) |
| 4483 | If abstract terms are sets of tropes, 'being a unicorn' and 'being a griffin' turn out identical [Loux] |
| Full Idea: If trope theorists say abstract singular terms name sets of tropes, what is the referent of 'is a unicorn'? The only candidate is the null set (with no members), but there is just one null set, so 'being a unicorn' and 'being a griffin' will be identical. | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.86) | |
| A reaction: Not crucial, I would think, given that a unicorn is just a horse with a horn. Hume explains how we do that, combining ideas which arose from actual tropes. |
| 4481 | Austere nominalists insist that the realist's universals lack the requisite independent identifiability [Loux] |
| Full Idea: Austere nominalists insist that the realist's universals lack the requisite independent identifiability. | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.60) | |
| A reaction: Plato's view seems to be that we don't identify universals independently. We ascend The Line, or think about the shadows in The Cave, and infer the universals from an array of particulars (by dialectic). |
| 4477 | Universals come in hierarchies of generality [Loux] |
| Full Idea: Universals come in hierarchies of generality. | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.24) | |
| A reaction: If it is possible to state facts about universals, this obviously encourages a rather Platonic approach to them, as existent things with properties. But maybe the hierarchies are conventional, not natural. |
| 4482 | Austere nominalism has to take a host of things (like being red, or human) as primitive [Loux] |
| Full Idea: In return for a one-category ontology (with particulars but no universals), the austere nominalist is forced to take a whole host of things (like being red, or triangular, or human) as unanalysable or primitive. | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.68) | |
| A reaction: I see that 'red' might have to be primitive, but being human can just be a collection of particulars. It is no ontologically worse to call them 'primitive' than to say they exist. |
| 4478 | Nominalism needs to account for abstract singular terms like 'circularity'. [Loux] |
| Full Idea: Nominalists have been very concerned to provide an account of the role of abstract singular terms (such as 'circularity'). | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.34) | |
| A reaction: Whether this is a big problem depends on our view of abstraction. If it only consists of selecting one property of an object and reifying it, then we can give a nominalist account of properties, and the problem is solved. |
| 4480 | Times and places are identified by objects, so cannot be used in a theory of object-identity [Loux] |
| Full Idea: Any account of the identity of material objects which turns on the identity of places and times must face the objection that the identity of places and times depends, in turn, on the identities of the objects located at them. | |
| From: Michael J. Loux (Metaphysics: contemporary introduction [1998], p.56) | |
| A reaction: This may be a benign circle, in which we concede that there are two basic interdependent concepts of objects and space-time. If you want to define identity - in terms of what? |
| 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. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |