42 ideas
| 20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
| Full Idea: Cleanthes says there are six parts: dialectic, rhetoric, ethics, politics, physics, and theology. | |
| From: report of Cleanthes (fragments/reports [c.270 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.41 | |
| A reaction: This was a minority view, as most stoics agreed with Zeno and Chrysippus that there are three main topics. Nowadays there is little discussion of the 'parts' of philosophy, but the recent revival of meta-philosophy should encourage it. |
| 5750 | Consistency is modal, saying propositions are consistent if they could be true together [Melia] |
| Full Idea: Consistency is a modal notion: a set of propositions is consistent iff all the members of the set could be true together. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: This shows why Kantian ethics, for example, needs a metaphysical underpinning. Maybe Kant should have believed in the reality of Leibnizian possible worlds? An account of reason requires an account of necessity and possibility. |
| 14480 | Maybe analytic truths do not require truth-makers, as they place no demands on the world [Thomasson] |
| Full Idea: It is a venerable view that analytic claims do not require truth-makers, as they place no demands on the world, but this claim has often been challenged. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.4) | |
| A reaction: She offers two challenges (bottom p.68), but I would have thought that the best response is that the meanings of the words themselves constitute truthmakers - perhaps via the essence of each word, as Fine suggests. |
| 5737 | Predicate logic has connectives, quantifiers, variables, predicates, equality, names and brackets [Melia] |
| Full Idea: First-order predicate language has four connectives, two quantifiers, variables, predicates, equality, names, and brackets. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Look up the reference for the details! The spirit of logic is seen in this basic framework, and the main interest is in the ontological commitment of the items on the list. The list is either known a priori, or it is merely conventional. |
| 5744 | First-order predicate calculus is extensional logic, but quantified modal logic is intensional (hence dubious) [Melia] |
| Full Idea: First-order predicate calculus is an extensional logic, while quantified modal logic is intensional (which has grave problems of interpretation, according to Quine). | |
| From: Joseph Melia (Modality [2003], Ch.3) | |
| A reaction: The battle is over ontology. Quine wants the ontology to stick with the values of the variables (i.e. the items in the real world that are quantified over in the extension). The rival view arises from attempts to explain necessity and counterfactuals. |
| 14471 | Analytical entailments arise from combinations of meanings and inference rules [Thomasson] |
| Full Idea: 'Analytically entail' means entail in virtue of the meanings of the expressions involved and rules of inference. So 'Jones bought a house' analytically entails 'Jones bought a building'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 01.2) | |
| A reaction: Quine wouldn't like this, but it sounds OK to me. Thomasson uses this as a key tool in her claim that common sense objects must exist. |
| 5740 | Second-order logic needs second-order variables and quantification into predicate position [Melia] |
| Full Idea: Permitting quantification into predicate position and adding second-order variables leads to second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: Often expressed by saying that we now quantify over predicates and relations, rather than just objects. Depends on your metaphysical commitments. |
| 5741 | If every model that makes premises true also makes conclusion true, the argument is valid [Melia] |
| Full Idea: In first-order predicate calculus validity is defined thus: an argument is valid iff every model that makes the premises of the argument true also makes the conclusion of the argument true. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: See Melia Ch. 2 for an explanation of a 'model'. Traditional views of validity tend to say that if the premises are true the conclusion has to be true (necessarily), but this introduces the modal term 'necessarily', which is controversial. |
| 14493 | Existence might require playing a role in explanation, or in a causal story, or being composed in some way [Thomasson] |
| Full Idea: A higher standard for saying that entities exist might require that they play an essential role in explanation, or must figure in any complete causal story, or exist according to some uniform and nonarbitrary principle of composition. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 11.2) | |
| A reaction: I am struck by the first of these three. If I am defending the notion that essence depends on Aristotle's account of explanation, then if we add that existence also depends on explanation, we get a criterion for the existence of essences. Yay. |
| 5735 | Maybe names and predicates can capture any fact [Melia] |
| Full Idea: Some philosophers think that any fact can be captured in a language containing only names and predicates. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: The problem case Melia is discussing is modal facts, such as 'x is possible'. It is hard to see how 'possible' could be an ordinary predicate, but then McGinn claims that 'existence' is, and that there are some predicates with unusual characters. |
| 5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
| Full Idea: Some philosophers say that modal facts cannot be expressed either by name/predicate language, or by first-order predicate calculus, or even by second-order logic. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: If 'possible' were a predicate, none of this paraphernalia would be needed. If possible worlds are accepted, then the quantifiers of first-order predicate calculus will do the job. If neither of these will do, there seems to be a problem. |
| 14491 | Rival ontological claims can both be true, if there are analytic relationships between them [Thomasson] |
| Full Idea: Where there are analytic interrelations among our claims, distinct ontological claims may be true without rivalry, redundancy, or reduction. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 10) | |
| A reaction: Thus we might, I suppose, that it is analytically necessary that a lump of clay has a shape, and that a statue be made of something. Interesting. |
| 14489 | Theories do not avoid commitment to entities by avoiding certain terms or concepts [Thomasson] |
| Full Idea: A theory does not avoid commitment to any entities by avoiding use of certain terms or concepts. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This is a salutary warning to those who apply the notion of ontological commitment rather naively. |
| 14485 | Ordinary objects may be not indispensable, but they are nearly unavoidable [Thomasson] |
| Full Idea: I do not argue that ordinary objects are indispensable, but rather that they are (nearly) unavoidable. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09) | |
| A reaction: Disappointing, given the blurb and title of the book, but put in those terms it will be hard to disagree. Clearly ordinary objects figure in the most useful way for us to talk. I wonder whether we have a clear ontology of 'simples' in which they vanish. |
| 14487 | The simple existence conditions for objects are established by our practices, and are met [Thomasson] |
| Full Idea: The existence conditions for ordinary objects are established by our practices, and they are quite minimal, so it is rather obvious that they are fulfilled, and so there are such things. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: This is one of her main arguments. The same argument would have worked for witches or ghosts in certain cultures. |
| 21651 | It is analytic that if simples are arranged chair-wise, then there is a chair [Thomasson, by Hofweber] |
| Full Idea: Thomasson argues that the existence of ordinary objects follows analytically from the distribution of simples, assuming that there are any simples. It is an analytic truth that if there are simples arranged chair-wise, then there is a chair. | |
| From: report of Amie L. Thomasson (Ordinary Objects [2007]) by Thomas Hofweber - Ontology and the Ambitions of Metaphysics 07.3 | |
| A reaction: But how do you distinguish when simples are arranged nearly chair-wise from the point where they click into place as actually chair-wise? What is the criterion? |
| 14486 | Eliminativists haven't found existence conditions for chairs, beyond those of the word 'chair' [Thomasson] |
| Full Idea: The eliminativist cannot claim to have 'discovered' some real existence conditions for chairs beyond those entailed by the semantic rules associated with ordinary use of the word 'chair'. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.3) | |
| A reaction: It is difficult to understand atoms arranged 'chairwise' or 'baseballwise' if you don't already know what a chair or a baseball are. |
| 14467 | Ordinary objects are rejected, to avoid contradictions, or for greater economy in thought [Thomasson] |
| Full Idea: Objections to ordinary objects are the Causal Redundancy claim (objects lack causal powers), the Anti-Colocation view (statues and lumps overlap), Sorites arguments, a more economical ontology, or a more scientific ontology. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: [my summary of two paragraphs] The chief exponents of these views are Van Inwagen and Merricks. Before you glibly accept ordinary objects, you must focus on producing a really strict ontology. These arguments all have real force. |
| 14479 | To individuate people we need conventions, but conventions are made up by people [Thomasson] |
| Full Idea: The conventionalist faces paradox if they hold that conventions are logically prior to people (since this plurality requires conventions of individuation), and people are logically prior to conventions (if they make up the conventions). | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.3) | |
| A reaction: [Sidelle is the spokesman for conventionalism] The best defence would be to deny the second part, and say that conventions emerge from whatever is there, but only conventions can individuate the bits of what is there. |
| 14481 | Wherever an object exists, there are intrinsic properties instantiating every modal profile [Thomasson] |
| Full Idea: In a 'modally plenitudinous' ontology, wherever there is an object at all, there are objects with intrinsic modal properties instantiating every consistent modal profile. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.5) | |
| A reaction: [She cites K.Bennett, Hawley, Rea, Sidelle] I love this. At last a label for the view I have been espousing. I am a Modal Plenitudinist. I must get a badge made. |
| 14482 | If the statue and the lump are two objects, they require separate properties, so we could add their masses [Thomasson] |
| Full Idea: An objection to the idea that statues are not identical to material lumps of stuff is the proliferation of instances of properties shared by those objects. If the mass of the statue is 500kg, and the mass of the lump is 500kg, do we have 1000kg? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.3) | |
| A reaction: [compressed; she cites Rea 1997 and Zimmerman 1995] To wriggle out of this we would have to understand 'object' rather differently, so that an independent mass is not intrinsic to it. I leave this as an exercise for the reader. |
| 14483 | Given the similarity of statue and lump, what could possibly ground their modal properties? [Thomasson] |
| Full Idea: The 'grounding problem' is that given all that the statue and the lump have in common, what could possibly ground their different modal properties? | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 04.4) | |
| A reaction: Their modal properties are, of course, different, because only one of them could survive squashing. Thomasson suggests their difference of sort, but I'm not sure what that means, separately from what they actually are. |
| 14476 | Identity claims between objects are only well-formed if the categories are specified [Thomasson] |
| Full Idea: Identity claims are only well-formed and truth-evaluable if the terms flanking the statement are associated with a certain category of entity each is to refer to, which disambiguates the reference and identity-criteria. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: The first of her two criteria for identity. She is buying the full Wiggins package. |
| 14477 | Identical entities must be of the same category, and meet the criteria for the category [Thomasson] |
| Full Idea: Identity claims are only true if the entities referred to are of the same category, and meet the criteria of identity appropriate for things of that category. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03) | |
| A reaction: This may be a little too optimistic about having a set of clear-cut and reasonably objective categories to work with, but attempts at establishing metaphysical categories have not gone especially well. |
| 5746 | The Identity of Indiscernibles is contentious for qualities, and trivial for non-qualities [Melia] |
| Full Idea: If the Identity of Indiscernibles is referring to qualitative properties, such as 'being red' or 'having mass', it is contentious; if it is referring to non-qualitative properties, such as 'member of set s' or 'brother of a', it is true but trivial. | |
| From: Joseph Melia (Modality [2003], Ch.3 n 11) | |
| A reaction: I would say 'false' rather than 'contentious'. No one has ever offered a way of distinguishing two electrons, but that doesn't mean there is just one (very busy) electron. The problem is that 'indiscernible' is only an epistemological concept. |
| 5738 | We may be sure that P is necessary, but is it necessarily necessary? [Melia] |
| Full Idea: We may have fairly firm beliefs as to whether or not P is necessary, but many of us find ourselves at a complete loss when wondering whether or not P is necessarily necessary. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: I think it is questions like this which are pushing philosophy back towards some sort of rationalism. See Idea 3651, for example. A regress of necessities would be mad, so necessity must be taken as self-evident (in itself, though maybe not to us). |
| 5732 | 'De re' modality is about things themselves, 'de dicto' modality is about propositions [Melia] |
| Full Idea: In cases of 'de re' modality, it is a particular thing that has the property essentially or accidentally; where the modality attaches to the proposition, it is 'de dicto' - it is the whole truth that all bachelors are unmarried that is necessary. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: This seems to me one of the most important distinctions in metaphysics (as practised by analytical philosophers, who like distinctions). The first type leads off into the ontology, the second type veers towards epistemology. |
| 5739 | Sometimes we want to specify in what ways a thing is possible [Melia] |
| Full Idea: Sometimes we want to count the ways in which something is possible, or say that there are many ways in which a certain thing is possible. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This is a basic fact about talk of 'possibility'. It is not an all-or-nothing property of a situation. There can be 'faint' possibilities of things. The proximity of some possible worlds, especially those sharing our natural laws, is one answer. |
| 14478 | Modal Conventionalism says modality is analytic, not intrinsic to the world, and linguistic [Thomasson] |
| Full Idea: Modal Conventionalism has at least three theses: 1) modal truths are either analytic truths, or combine analytic and empirical truths, 2) modal properties are not intrinsic features of the world, 3) modal propositions depend on linguistic conventions. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 03.2) | |
| A reaction: [She cites Alan Sidelle 1989 for this view] I disagree mainly with number 2), since I take dispositions to be key intrinsic features of nature, and I interpret dispositions as modal properties. |
| 5734 | Possible worlds make it possible to define necessity and counterfactuals without new primitives [Melia] |
| Full Idea: In modal logic the concepts of necessity and counterfactuals are not interdefinable, so the language needs two primitives to represent them, but with the machinery of possible worlds they are defined by what is the case in all worlds, or close worlds. | |
| From: Joseph Melia (Modality [2003], Ch.1) | |
| A reaction: If your motivation is to reduce ontology to the barest of minimums (which it was for David Lewis) then it is paradoxical that the existence of possible worlds may be the way to achieve it. I doubt, though, whether a commitment to their reality is needed. |
| 5742 | In possible worlds semantics the modal operators are treated as quantifiers [Melia] |
| Full Idea: The central idea in possible worlds semantics is that the modal operators are treated as quantifiers. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: It seems an essential requirement of metaphysics that an account be given of possibility and necessity, and it is also a good dream to keep the ontology simple. Commitment to possible worlds is the bizarre outcome of this dream. |
| 5743 | If possible worlds semantics is not realist about possible worlds, logic becomes merely formal [Melia] |
| Full Idea: It has proved difficult to justify possible worlds semantics without accepting possible worlds. Without a secure metaphysical underpinning, the results in logic are in danger of having nothing more than a formal significance. | |
| From: Joseph Melia (Modality [2003], Ch.2) | |
| A reaction: This makes nicely clear why Lewis's controversial modal realism has to be taken seriously. It appears that the key problem is truth, because that is needed to define validity, but you can't have truth without some sort of metaphysics. |
| 5749 | Possible worlds could be real as mathematics, propositions, properties, or like books [Melia] |
| Full Idea: One can be a realist about possible worlds without adopting Lewis's extreme views; they might be abstract or mathematical entities; they might be sets of propositions or maximal uninstantiated properties; they might be like books or pictures. | |
| From: Joseph Melia (Modality [2003], Ch.6) | |
| A reaction: My intuition is that once you go down the road of realism about possible worlds, Lewis's full concrete realism looks at least as attractive as any of these options. You can discuss the 'average man' in an economic theory without realism. |
| 5751 | The truth of propositions at possible worlds are implied by the world, just as in books [Melia] |
| Full Idea: Propositions are true at possible worlds in much the same way as they are true at books: by being implied by the book. | |
| From: Joseph Melia (Modality [2003], Ch.7) | |
| A reaction: An intriguing way to introduce the view that possible worlds should be seen as like books. The truth-makers of propositions about the actual world are items in it, but the truth-makers in novels (say) are the conditions of the whole work as united. |
| 14466 | A chief task of philosophy is making reflective sense of our common sense worldview [Thomasson] |
| Full Idea: Showing how, reflectively, we can make sense of our unreflective common sense worldview is arguably one of the chief tasks of philosophy. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], Intro) | |
| A reaction: Maybe. The obvious problem is that when you look at weird and remote cultures like the Aztecs, what counts as 'common sense' might be a bit different. She is talking of ordinary objects, though, where her point is reasonable. |
| 6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
| Full Idea: Cleanthes says no incorporeal interacts with a body, but one body interacts with another body; the soul interacts with the body when it is sick and being cut, and the body feels shame and fear, and turns red or pale, so the soul is a body. | |
| From: report of Cleanthes (fragments/reports [c.270 BCE]) by Nemesius - De Natura Hominis 78,7 | |
| A reaction: This is precisely the interaction problem with dualism, or, as we might now say, the problem of mental causation. The standard Stoic view is that the soul is a sort of rarefied fire, which disperses at death. |
| 20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
| Full Idea: Nothing incorporeal shares an experience with a body …but the soul suffers with the body when it is ill and when it is cut, and the body suffers with the soul - when the soul is ashamed the body turns red, and pale when the soul is frightened. | |
| From: Cleanthes (fragments/reports [c.270 BCE]), quoted by Nemesius - De Natura Hominis 2 | |
| A reaction: Aha - my favourite example of the corporeal nature of the mind - blushing! It is the conscious content of the thought which brings blood to the cheeks. |
| 5748 | We accept unverifiable propositions because of simplicity, utility, explanation and plausibility [Melia] |
| Full Idea: Many philosophers now concede that it is rational to accept a proposition not because we can directly verify it but because it is supported by considerations of simplicity, theoretical utility, explanatory power and/or intuitive plausibility. | |
| From: Joseph Melia (Modality [2003], Ch.5) | |
| A reaction: This suggests how the weakness of logical positivism may have led us to the concept of epistemic virtues (such as those listed), which are, of course, largely a matter of community consensus, just as the moral virtues are. |
| 14475 | How can causal theories of reference handle nonexistence claims? [Thomasson] |
| Full Idea: Pure causal theories of reference have problems in handling nonexistence claims | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: This is a very sound reason for shifting from a direct causal baptism view to one in which the baptism takes place by a social consensus. So there is a consensus about 'unicorns', but obviously no baptism. See Evans's 'Madagascar' example. |
| 14474 | Pure causal theories of reference have the 'qua problem', of what sort of things is being referred to [Thomasson] |
| Full Idea: Pure causal theories of reference face the 'qua problem' - that it may be radically indeterminate what the term refers to unless there is some very basic concept of what sort of thing is being referred to. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 02.3) | |
| A reaction: She cites Dummett and Wiggins on this. There is an obvious problem that when I say 'look at that!' there are all sorts of conventions at work if my reference is to succeed. |
| 14488 | Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson] |
| Full Idea: The analytic interrelations among elements of language become evident through redundancy. It is redundant to utter 'He bought a house and a building', since buying a house analytically entails that he bought a building. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This appears to concern necessary class membership. It is only linguistically redundant if the class membership is obvious. Houses are familiar, uranium samples are not. |
| 5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |
| Full Idea: Cleanthes tried to prove the existence of God, arguing that the ascending scale of living creatures requires there to be a perfect being. | |
| From: report of Cleanthes (fragments/reports [c.270 BCE]) by Teun L. Tieleman - Cleanthes | |
| A reaction: Not a very good argument. Even if you accept its basic claim, it is not clear what has to exist. A perfect tree? If the being transcends the physical (in order to achieve perfection), does it cease to be a 'being'? |