22 ideas
| 10653 | Maybe set theory need not be well-founded [Varzi] |
| Full Idea: There are some proposals for non-well-founded set theory (tolerating cases of self-membership and membership circularities). | |
| From: Achille Varzi (Mereology [2003], 2.1) | |
| A reaction: [He cites Aczel 1988, and Barwise and Moss 1996] |
| 10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
| Full Idea: While mereology was originally offered with a nominalist viewpoint, resulting in a conception of mereology as an ontologically parsimonious alternative to set theory, there is no necessary link between analysis of parthood and nominalism. | |
| From: Achille Varzi (Mereology [2003], 1) | |
| A reaction: He cites Lesniewski and Leonard-and-Goodman. Do you allow something called a 'whole' into your ontology, as well as the parts? He observes that while 'wholes' can be concrete, they can also be abstract, if the parts are abstract. |
| 10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
| Full Idea: It is an open question whether there are any mereological atoms (with no proper parts), and also whether every object is ultimately made up of atoms. | |
| From: Achille Varzi (Mereology [2003], 3) | |
| A reaction: Such a view would have to presuppose (metaphysically) that the divisibility of matter has limits. If one follows this route, then are there only 'natural' wholes, or are we 'unrestricted' in our view of how the atoms combine? I favour the natural route. |
| 10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
| Full Idea: It is common in mereology to hold that there is something of which everything is part, but few hold that there is a 'null entity' that is part of everything. | |
| From: Achille Varzi (Mereology [2003], 4.1) | |
| A reaction: This comes out as roughly the opposite of set theory, which cannot do without the null set, but is not keen on the set of everything. |
| 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) |
| 10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
| Full Idea: The thesis known as 'composition is identity' is that identity is mereological composition; a fusion is just the parts counted loosely, but it is strictly a multitude and loosely a single thing. | |
| From: Achille Varzi (Mereology [2003], 4.3) | |
| A reaction: [He cites D.Baxter 1988, in Mind] It is not clear, from this simple statement, what the difference is between multitudes that are parts of a thing, and multitudes that are not. A heavy weight seems to hang on the notion of 'composed of'. |
| 10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
| Full Idea: The word 'part' can used whether it is attached, or arbitrarily demarcated, or gerrymandered, or immaterial, or unextended, or spatial, or temporal. | |
| From: Achille Varzi (Mereology [2003], 1) |
| 10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
| Full Idea: Taking reflexivity as constitutive of the meaning of 'part' amounts to regarding identity as a limit case of parthood. | |
| From: Achille Varzi (Mereology [2003], 2.1) | |
| A reaction: A nice thought, but it is horribly 'philosophical', and a long way from ordinary usage and common sense (which is, I'm sorry to say, a BAD thing). |
| 10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
| Full Idea: It seems obvious that 'part' stands for a partial ordering, a reflexive ('everything is part of itself'), antisymmetic ('two things cannot be part of each other'), and transitive (a part of a part of a thing is part of that thing) relation. | |
| From: Achille Varzi (Mereology [2003], 2.1) | |
| A reaction: I'm never clear why the reflexive bit of the relation should be taken as 'obvious', since it seems to defy normal usage and common sense. It would be absurd to say 'I'll give you part of the cake' and hand you the whole of it. See Idea 10651. |
| 10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
| Full Idea: With a basic parthood relation, we can formally define various mereological predicates, such as overlap, underlap, proper part, over-crossing, under-crossing, proper overlap, and proper underlap. | |
| From: Achille Varzi (Mereology [2003], 2.2) | |
| A reaction: [Varzi offers some diagrams, but they need interpretation] |
| 10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
| Full Idea: We might say that sameness of parts is not sufficient for identity, as some entities may differ exclusively with respect to the arrangement of the parts, as when we compare 'John loves Mary' with 'Mary loves John'. | |
| From: Achille Varzi (Mereology [2003], 3.2) | |
| A reaction: Presumably wide dispersal should also prevent parts from fixing wholes, but there is so much vagueness here that it is tempting to go for unrestricted composition, and then work back to the common sense position. |
| 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 |
| 10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
| Full Idea: Conceivability may well be a guide to possibility, but literary fantasy is by itself no evidence of conceivability. | |
| From: Achille Varzi (Mereology [2003], 2.1) | |
| A reaction: Very nice. People who cite 'conceivability' in this context often have a disgracefully loose usage for the word. Really, really conceivable is probably our only guide to possibility. |
| 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. |
| 22098 | Socrates neglects the gap between knowing what is good and doing good [Kierkegaard, by Carlisle] |
| Full Idea: There is a fundamental weakness in Socrates, that he does not take into account the gap between knowing what is good and actually putting this into action. | |
| From: report of Søren Kierkegaard (The Concept of Dread (/Anxiety) [1844]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 5 | |
| A reaction: This rejects Socrates's intellectualism about weakness of will. It is perhaps a better criticism that Aristotle's view that desires sometimes overcome the will. It is also the problem of motivation in Kantian deontology. Or utilitarianism. |
| 22096 | Anxiety is not a passing mood, but a response to human freedom [Kierkegaard, by Carlisle] |
| Full Idea: For Kierkegaard anxiety is not simply a mood or an emotion that certain people experience at certain times, but a basic response to freedom that is part of the human condition. | |
| From: report of Søren Kierkegaard (The Concept of Dread (/Anxiety) [1844]) by Clare Carlisle - Kierkegaard: a guide for the perplexed 5 | |
| A reaction: Outside of Christianity, this may be Kierkegaard's most influential idea - since existential individualism is floating around in the romantic movement. But the Byronic hero experiences a sort of anxiety. If you can't face anxiety, become a monk or nun. |
| 22097 | The ultimate in life is learning to be anxious in the right way [Kierkegaard] |
| Full Idea: Every human being must learn to be anxious in order that he might not perish either by never having been in anxiety or by succumbing in anxiety. Whoever has learned to be anxious in the right way has learnt the ultimate. | |
| From: Søren Kierkegaard (The Concept of Dread (/Anxiety) [1844], p.154), quoted by Clare Carlisle - Kierkegaard: a guide for the perplexed 5 | |
| A reaction: I think this is the most existentialist quotation I have found in Kierkegaard. It sounds circular. You must be in anxiety because otherwise you won't be able to cope with anxiety? I suppose anxiety is facing up to his concept of truth. |
| 21909 | Ultimate knowledge is being anxious in the right way [Kierkegaard] |
| Full Idea: Whoever learns to be anxious in the right way has learned the ultimate. | |
| From: Søren Kierkegaard (The Concept of Dread (/Anxiety) [1844], p.187), quoted by Alastair Hannay - Kierkegaard 06 | |
| A reaction: This shows us that Kierkegaard had a rather bizarre mental life which the rest of us have little chance of penetrating. I'll have a go at cataloguing my types of anxiety, but I'm not hopeful. |
| 20758 | Anxiety is staring into the yawning abyss of freedom [Kierkegaard] |
| Full Idea: One may liken anxiety to dizziness. He whose eyes chance to look down into a yawning abyss becomes dizzy. Anxiety is the dizziness of freedom which is when freedom gazes down into its own possibility, grasping at finiteness to sustain itself. | |
| From: Søren Kierkegaard (The Concept of Dread (/Anxiety) [1844], p.55), quoted by Kevin Aho - Existentialism: an introduction 6 'Moods' | |
| A reaction: Most of us rapidly retreat from the thought of the infinity of things we might choose. Choosing bizarrely merely to assert one's freedom is simple stupidity. |