{"id":3067,"date":"2020-06-28T17:47:12","date_gmt":"2020-06-28T17:47:12","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2020\/06\/28\/some-responses-to-tim-mosteller-re-existence\/"},"modified":"2020-06-28T17:47:12","modified_gmt":"2020-06-28T17:47:12","slug":"some-responses-to-tim-mosteller-re-existence","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2020\/06\/28\/some-responses-to-tim-mosteller-re-existence\/","title":{"rendered":"Some Responses to Tim Mosteller re: Existence"},"content":{"rendered":"<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">The following is from a work in progress by Tim Mosteller, posted with his permission.&#0160; I thank him for his critical engagement with my work. Here are some responses.&#0160; My corrections in red; my comments in blue.<br \/><\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><\/span><\/p>\n<p><!--more--><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[A]<\/strong>2.3 The Bradleyen Regress Objection to Essential Exemplification<a class=\"sdfootnoteanc\" href=\"#sdfootnote1sym\" name=\"sdfootnote1anc\"><sup>1<\/sup><\/a><\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> So far, I have argued [<span style=\"color: #ff0000;\">in the sections above<\/span>] that existence is essential, and that our knowledge of it is derived from common sense experiences <span style=\"text-decoration: line-through;\">in the sections above.<\/span> Yet, the very idea that existence is essential exemplification is not without its challenges. I would like to consider one such challenge here, namely the challenge of the Bradleyen [<span style=\"color: #ff0000;\">Bradleyan<\/span>] regress regarding relations. If existence is essential exemplification, then there is a distinction between essence and existence and a relation involved.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> The argument <span style=\"text-decoration: line-through;\">against<\/span> [<span style=\"color: #ff0000;\">for<\/span>] the idea that existence exists has been <span style=\"text-decoration: line-through;\">argued<\/span> [<span style=\"color: #ff0000;\">presented<\/span>] by several recent philosophers. Two of them, William Vallicella and J.P. Moreland are realists about existence. They think that existence exists, and we can know it. Moreland\u2019s view is similar (although derived differently) from my view that existence is essential exemplification. Vallicella, although he agrees with Moreland\u2019s realism about existence, disagrees with Moreland (and me) that existence involves any sort of relation. Let me first sketch both Vallicella and Moreland\u2019s approaches to existence, and then show how Vallicella tries to argue against the idea that existence is essential exemplification by raising an argument against relations from <span style=\"text-decoration: line-through;\">William<\/span> [<span style=\"color: #ff0000;\">F. H<\/span>.] Bradley. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.3.1 Moreland\u2019s Desideratic Approach<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> This book is dedicated to J.P. Moreland. I\u2019ve learned a great deal about existence (and many other areas of metaphysics) from Moreland. His view of existence is essentially the same as the one I advocate in this book. However, Moreland does not derive his view of existence from common sense experience in the way that Klubertanz does. Moreland\u2019s approach starts from theoretical desiderata and builds the theory from there. Moreland\u2019s approach to understanding existence is derived from the following theoretical desiderata. A theory of existence must be:<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">1) Consistent with and explain what actually does and does not exist.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">2) Consistent with and explain what could have existed but either does not exist or is not believed to exist.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">3) Allow for the fact that existence itself exists (not be self-refuting).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">4) Not violate the fundamental laws of logic.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">5) Allow for the existence of acts of knowing (Moreland and Craig 2003, pp. 188-189). <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Moreland elaborates on these desiderata for a theory of existence, in a response to the question of whether existence is a property and following Kant\u2019s argument that existence is not a property, Moreland claims that to assert \u2018x is real\u2019 \u201cdoes add something to x because there is, in fact, a real difference between existence and nonexistence\u201d (p. 190). <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><span style=\"color: #0000ff;\">BV: This is a point of Moreland&#39;s&#0160; I agree with, although I don&#39;t read Kant as denying it. Kant does not say that being or existence (<em>Sein<\/em>) is not a property; what he says is that it is not a real predicate (<em>reales Praedikat<\/em>), and what he means is that existence is a not a property that adds anything to the <em>realitas<\/em> or <em>quidditas<\/em> or whatness of&#0160; a thing.&#0160; Moreland and I agree that existence makes all the difference in the world; it is just that the difference it makes is not a quidditative one.<\/span> <span style=\"color: #0000ff;\">&quot;To be or not to be; that is the question!&quot;<\/span><\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Moreland then proceeds by considering an existential <em>statement<\/em> \u201cTigers exist.\u201d And from this derives a distinction between the property of being a tiger and the belonging of that property to an individual, e.g. Tony. From this, he concludes, \u201cThe claim that tigers exist is the claim that the essence of being a tiger (the what of being a tiger) is actually exemplified by or belongs to something (the that or fact of an individual tiger existing)\u201d (p. 190), and then generalizes to the claim that existence is \u201cthe entering into the nexus of exemplification.\u201d Moreland then shows that this view fits the five desiderata of a theory of existence. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: This is not a clear way of putting it because that which actually exemplifies the property of being a tiger is not the fact of an individual tiger existing, but a particular which, when it exemplifies the property in question, constitutes the fact of an individual tiger existing. <\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.3.2 Vallicella\u2019s Paradigmatic Approach<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella develops his theory in two parts. First, he claims that a theory of existence \u201cbe anchored in an actual existent so that the theory of existence is at the same time both a theory of existence and a theory of an actual existent\u201d (p. 8). <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: That is a conclusion I arrive at, not a starting point of the theory.&#0160; What animates my inquiry is the following question. Given that existence belongs to individuals and can be predicated of them, how are we to understand the existence of a concrete individual? <em>What is it for an individual to exist?&#0160;<\/em> To motivate this question, I argue against four theories of existence. For example, I argue that existence cannot be a property of individuals (a first-level property) if properties are defined as instantiable entities. That is to say: no individual exists in virtue of instantiating existence.&#0160; I also argue against the dominant Frego-Russellian positition that existence is not a second-level property, a property of properties.&#0160; I show, for example, that the existence of Socrates cannot be understood as some property&#39;s having the second-level property of being instantiated. <br \/><\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Second, he proceeds to show the failure of several attempts at a theory of existence (e.g. First Level Property, \u2018No Difference\u2019, Property of Property, and Mondial Attribute Theories). Upon offering arguments against each of these views, (Vallicella calls this a <em>via negativa<\/em>), he begins by asking the reader to \u201cthink of ordinary individuals as concrete states of affairs <span style=\"text-decoration: line-through;\">of<\/span> [<span style=\"color: #ff0000;\">or<\/span>] facts\u201d (p. 160), which are contingent unities of their constituents. For example, he states \u201cthe fact of <em>a\u2019s being F<\/em> is plausibly taken to have three constituents, <em>a<\/em>, <em>F-ness<\/em> and the asymmetrical tie of instantiation\u201d (p. 160). He then proceeds to present arguments to the conclusion of a paradigm theory of existence which is understood as: <\/span><\/p>\n<p style=\"margin-left: 0.5in; margin-right: 0.5in; margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">(PT) Necessarily, for any contingent individual x, x exists if and only if (i) there is a necessary y such that y is the paradigm existent, and (ii) y, as the external unifier of x&#39;s ontological constituents, directly produces the unity\/existence of x.\u201d (p. 2). <\/span><\/p>\n<p style=\"margin-left: 0.5in; margin-right: 0.5in; margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><span style=\"color: #0000ff;\">BV: Roughly, I answer the question <em>What is it for an individual to exist?<\/em> by arguing that the existence of a contingent individual is the contingent unity of its ontological constituents. For an individual to exist is for its constituents to be unified. This answer rests upon a preliminary, and hardly self-evident, assay of an ordinary or &#39;thick&#39; particular as a a concrete state of affairs or fact in a sense very close to Gustav Bergmann and David Armstrong.&#0160;&#0160; Such states of affairs are of course <em>toto caelo<\/em> different from Chisholmian-Plantingian abstract state of affairs.&#0160; One cannot literally stumble over one of these, but one can stumble of over a rock which, on my ontological assay, is a concrete state of affairs, roughly, a particular-instantiating-properties.&#0160; Among ontological constituents are such items as <em>thin<\/em> particulars, the instantiation nexus, and properties, which could be assayed as either universals or tropes.<\/span> <\/span><\/p>\n<p style=\"margin-left: 0.5in; margin-right: 0.5in; margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><span style=\"color: #0000ff;\">Then what I argue via complicated (and perhaps less-than-perfectly-pellucid) arguments, arguments that none of the reviewers or commentators had the stomach to penetrate and evaluate, is that nothing internal to a concrete individual (a concrete state of affairs) can secure the unity which is what its existence consists in.&#0160; There is no internal unifier on pain of Bradley&#39;s regress, a regress I take to be both infinite and vicious. This points us in the direction of an external unifier of a concrete individual&#39;s ontological constituents. But for the external unifier to be more than a posit for explanatory purposes, I tried to show that a concrete fact both is and is not the sum of its constituents. <em>It is<\/em> because there in nothing in the fact beyond its constituents, say, thin particular, instantiation nexus, and properties. <em>It is not<\/em> because a fact is more than the sum of its constituents.&#0160; The sum can exist without the fact existing; ergo, the fact is more than the sum. But the ground of this &#39;more&#39; cannot be located within the fact.&#0160; So if we remain on the level of facts, we are stuck with a contradiction: a fact is and is not the sum of its constituents. Since this contradiction cannot be allowed to stand, it must be removed. That is the office of the external unifier. This by way of a sketch of how I arrive at (PT) above.&#0160; <em>Es ist nicht aus der Pistole geschossen<\/em>, to cop a line from Hegel. I didn&#39;t just shoot (PT) out a pistol.<\/span><br \/><\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.3.3. A Brief Evaluation of Moreland and Vallicella\u2019s Approaches.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Moreland\u2019s approach to a theory of existence has the following strengths. 1) It gives us clear desiderata for any theory of existence. 2) It draws from a consideration of ordinary language statements by means of which we refer to things in ordinary experience. 3) It connects directly to an overall realism about properties\/universals. Similarly, Vallicella\u2019s approach to existence is logically rigorous, carefully argued and extremely thorough. It also points to something \u201cthe paradigm\u201d which might be consistent with Christian theism. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #4040ff;\">BV: It is consistent with Christian theism.<br \/><\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> However, neither Vallicella nor Moreland\u2019s approach begin with the ordinary data of sense experience. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #4040ff;\">BV: Tim misrepresents me here. I begin with a pre-theoretical datum, namely, that things exist, and I hold that that, contrary to what the Frege-Russell and the mondial attribute theories maintain,&#0160; existence belongs to these individuals given in sense perception, where &#39;belongs&#39; is a pre-theoretical term&#0160; that gives rise to the question, <em>What is it for a concrete individual given in sense perception to exist?<\/em><\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">This need not count against the conclusions in their arguments, which should stand or fall on their own merits. However, it might count against a robust theory of existence if that theory does not consider the data of ordinary sense experience as a contributing feature to what we know about the nature of existence. In other words, it is theoretically possible to have a coherent and logically rigorous account of existence but fail to connect that theory with the data that is derived from our experience of existence. While neither Vallicella nor Moreland explicitly reject the \u201cexterior route\u201d from Klubertanz, discussed above, the omission of such an approach in an account of existence from two thinkers whose views of existence is nearly identical to this approach seems puzzling to me. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: I am sympathetic to Tim&#39;s puzzlement,&#0160; but I might never have finished the book had I delved into, rather than side-stepped, two important sides of the whole problematic of existence. One is how we know existence; the other is the interplay of existence and time.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Although Moreland and Vallicella are both realists about existence, Vallicella maintains that the idea of existence as essential exemplification (Moreland\u2019s view and the one that I defend here) falls prey to a \u201cBradleyen [<span style=\"color: #ff0000;\">Bradleyan<\/span>] regress\u201d argument against relations. Let us look at that argument and offer some rejoinders to it.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[A]<\/strong>2.4 Existence\u2019s Regress?<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.4.1. Agreement with Moreland<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Although Vallicella offers a strong criticism of Moreland\u2019s and my view of existence, there is a great deal of agreement about existence. First, Vallicella agrees with Moreland that existence is not a property of individuals. This was a view held by Frege and <span style=\"text-decoration: line-through;\">Russel<\/span> [<span style=\"color: #ff0000;\">Russell<\/span>] claiming that \u201cexistence is a second-order property . . . based on the idea that seemingly singular existential and negative existential sentence [<span style=\"color: #ff0000;\">s<\/span>] like \u2018Bill Gates exists\u2019 and \u2018Ronald McDonald does not exist\u2019 are, in their deeper logical form, general existential and negative existential claims&quot; (Nelson, 2012). Vallicella calls this view &quot;Fressell\u2019s&quot; view. He claims that Fressell &quot;Holds that existence cannot be a property of individuals any more than numerousness can be&quot; (Vallicella 2004, p. 28). <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Second, Vallicella also agrees with Moreland that existence cannot be an ordinary property of individuals <em>pace<\/em> Kant. Kant made a distinction between two sorts of predicates:<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">i. real or descriptive predicates which describe what a thing is, e.g. hard, sweet, round, heavy, etc . . . , and<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">ii. modal predicates or non-descriptive predicates which describe the &quot;mode&quot; or manner of a thing&#39;s being, e.g. existence, possible, necessary, etc.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Kant held that for any concept (C) of object (O) one does not enlarge one&#39;s understanding of O through C by saying that O exists. Both Moreland and Vallicella agree with Kant here. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Third, Vallicella and Moreland agree that existence is not a classificatory property.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Vallicella states, &quot;Existence cannot be a property that classifies or sorts objects into the existent and the nonexistent&quot; (p. 29).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Fourth, they both agree that existence makes a real, indeed an &quot;abysmal,&quot; difference to a thing that exists (p. 29). Vallicella claims that &quot;existence does not contribute to the whatness of a thing&quot; (p. 29) but adds &quot;the thatnesss without which the whatness would be nothing at all&quot; (p. 29): &quot;a veritable abyss separates being and nonbeing&quot; (p. 29). Vallicella quotes Moreland &quot;It follows that &#39;[t]here is a fundamental difference between essence (whatness) and existence (thatness)&quot; (Moreland 137). This implies that a (contingent) individual cannot be identified with its existence. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Fifth, finally they both agree that existence itself exists. Quoting Moreland again, Vallicella writes, &quot;[i]f existence itself does not exist, then nothing else could exist in virtue of having existence&quot; (Moreland, 135). Moreland is following Reinhardt Grossman whom Vallicella also quotes as saying: &quot;If existence did not exist, then nothing would exist&quot; (Grossman, 1983 p. 405).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.4.2 Disagreement with Moreland<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> To recap, in his book <em>Universals<\/em>, Moreland states, &quot;i) existence is the &quot;having of a property&quot; or ii) &quot;being had by a property&quot; (Moreland 2001, p. 157). Here in this book I have offered a view similar to Moreland\u2019s but based on common sense experiences to the conclusion that existence is essential exemplification. Vallicella criticizes this understanding of existence as essential exemplification by focusing on Moreland\u2019s disjunction that existence is the:<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">i) &quot;having of a property&quot; <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">or <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">ii) &quot;being had by a property.&quot;<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Vallicella claims that i) is clear, and ii) is unclear. He claims that ii) should read &quot;being had of a property&quot; (Vallicella p. 30) to make explicit the relational nature of existence on Moreland&#39;s view. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> In another place Moreland says, &quot;existence is either the belonging of some property or the being belonged to by a property or, more simply, the entering into the nexus of exemplification&quot; (Moreland and Craig 2003, p. 191). This seems to make more explicit Vallicella&#39;s interpretation of Moreland&#39;s view of existence and the relation of exemplification. Vallicella states that according to Moreland, existence is &quot;the relation of exemplification&quot; (Vallicella 2004, p. 30) and &quot;existence itself exists because existence itself is the universal exemplification relation which is itself exemplified&quot; (p. 30-31). Having established that according to Moreland existence is a relation of exemplification (what I have been calling \u201cessential exemplification), Vallicella proceeds to offer of a criticism of this relation. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><span style=\"color: #0000ff;\">BV: It is not clear to me why Mosteller speaks of essential exemplification. What works does &#39;essential&#39; do here?&#0160; Presumably he does not think that all properties are had essentially as opposed to accidentally. In fact, on an ontological scheme involving bare\/thin particulars, such as Moreland&#39;s, then all first-level properties are had accidentally. What makes a bare particular bare is not its having no properties, but its having no properties essentially.&#0160; The bareness of a bare particular is its lacking a nature: such particulars are purely particular!<\/span> <\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.4.3. The Bradleyan Objection<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella&#39;s &quot;Bradleyan Objection&quot; is this: if existence is the universal\/essential exemplification relation (EX) (p. 32), then for any particular existing thing, for example: Tony-the-tiger (T-t-t) will equal the following: <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">i. bare particular (individuator), plus<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">ii. EX (exemplification relation), plus<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">iii. property of being a tiger. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">The problem Vallicella sees is that i + ii + iii &quot;do not add up to Tony-the-tiger.&quot; This conclusion follows because of these reasons: <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">1. T-t-t is not a sum but a unity.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">2. EX unifies i and iii together.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">3. EX unifies itself with i and iii.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">4. If EX unifies i and ii, then EX unifies itself with i and ii.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">5. Given 4, the view &quot;succumbs to Bradley&#39;s famous regress argument against external relations\u201d (p. 31): an infinite regress of relations will follow.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">6. Thus, &quot;EX is a relation external to its terms&quot; (p. 31). <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">7. Thus, &quot;Each of the three ontological constituents [i, ii and iii] can exist without the other two even if none of them can exist apart from all the others.&quot; (p. 31)<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[A]<\/strong>2.5 Rejoinders to the Bradleyen [<span style=\"color: #ff0000;\">Bradleyan<\/span>] Objection<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.5.1 Is EX an internal or an external relation?<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella&#39;s understanding of Moreland&#39;s concept of existence as a relation need not be one that is external to its terms, given the distinction between external and internal relations. [<span style=\"color: #ff0000;\">Awkward sentence. Rewrite. It is not V&#39;s understanding that is exter nal to its terms . . . .<\/span>] The exemplification relation (EX) need not be an <em>external<\/em> relation. It is possible that it could be understood as an <em>internal<\/em> relation. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> A relation is an <em>internal<\/em> relation (IR) just in case: if x is IR to y, then x cannot exist without y.&#0160; Or to put it another way, if x does not stand in IR to y, then x no longer exists as x (or is not at all). For example, Aristotle pointed out that a hand separated from a man is no longer a hand.<a class=\"sdfootnoteanc\" href=\"#sdfootnote2sym\" name=\"sdfootnote2anc\"><sup>2<\/sup><\/a> Being a hand is internally related to the whole man. The relata in an internal relation depend for their existence on their relation to the whole, or on the existence of the relation itself. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> On the contrary, a relation is an external relation (ER) just in case: if x is ER to y, then x can exist without y. Or to put it another way, if x does not stand in ER to y, then x can still exist as x. For example, consider an eraser removed from a pencil, it can still be what it is without its relation to the whole. The parts can of the pencil can exist without their dependence on the whole. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Moreland&#39;s view of existence could be interpreted as seeing the exemplification relation, EX, as an internal relation to the whole. EX would not exist without being in the relation to the other two. If EX is exemplified, then EX exists. A proponent of existence as \u201cessential exemplification\u201d could simply say that if anything exists, then EX is exemplified. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV:&#0160; EX cannot be an internal relation since if a exemplifies F-ness, this is merely contingently the case: a can exist without exemplifying F-ness, and F-ness can exist without being exemplified by a. Don&#39;t forget: a is a bare particular.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">There also seems to be a confusion between EX as a universal relation and a particular instance of this relation.&#0160; It is true that if EX is exemplified, then EX exists. But there is no necessity that EX be exemplified in any particular case.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.5.2 Is EX necessarily an external relation?<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella seems to be claiming that the relationship of i, ii and iii can be contingent and thus EX must be related externally. But why must this follow? T-t-t can be a contingent being even if it is necessary that existence involves i, ii and iii. So, even though it is true that EX doesn&#39;t necessitate that T-t-t exist, this does not mean that necessarily EX is external to the other terms. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><span style=\"color: #0000ff;\">BV: What makes a contingent thick particular contingent is the contingent unity of its constituents. If EX were an internal relation, then every thick particular would be a necessary being.<\/span><br \/><\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Some internal relations are necessarily had by contingent beings. It might be necessary that if a hand is to be a hand, it must stand in an internal relation to a man, but it is not necessary that the man (or the hand) exist. The man (or hand) can be contingent, even if it is necessary that if the man is exemplified, his parts stand in an internal relation to him as a whole. So, it might be necessary that if EX is to be EX, it must stand in an internal relation to the other two relata (an indivuduator\/bare particular and some property\/universal\/essence), but that does not mean that the whole complex is necessary. So, while it is true that &quot;there is no necessity that <em>a<\/em> exemplify <em>F-ness<\/em>&quot; this simply implies that <em>a<\/em> exemplifying <em>F-ness <\/em>is contingent, but it <em>doesn&#39;t<\/em> imply that the relation of exemplification between <em>a<\/em> and <em>F-ness <\/em>is external or necessary. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: Unfortunately, this makes no sense to me: &quot;external or necessary&quot;?&#0160; Again, there seems to be a confusion between the universal exemplification relation and a particular relatedness brought about by EX&#39;s relating of <em>a<\/em> and F-ness, say.&#0160; There is no necessity that EX relate <em>a<\/em> and F-ness. It is external to both of these terms.&#0160; But one could say that the particular relatedness which is the fact of <em>a&#39;s being F<\/em> would not be what it is without a, F-ness, and their particular relatedness.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[B]<\/strong>2.5.3 How should we understand Bare Particulars and the EX relation?<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> There is a second way that Vallicella offers a summary and critique of the essential exemplification (EE) view of existence and the regress problem which misunderstands bare particulars. If Moreland&#39;s view is correct, this may militate against the regress problem. Here is Vallicella&#39;s argument. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella claims that on the EE view, for a particular being, say Tony-the-tiger (T-t-t), exists then three things are present: <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">i. bare particular, <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">ii. EX (the exemplification relation), and <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">iii. the property of being a tiger (which Vallicella calls F-ness).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Vallicella adds that i, ii and iii are externally related, and this will generate the Bradleyan regress problem. Here is why.<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> We can imagine a possible world (W1) where only one particular exists: Tony-the-tiger. This will entail: i. a (bare particular) ii. EX (exemplification relation) and iii. F-ness (property of being a tiger). But, we can also imagine a second possible world, W2: with two particulars: <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">p1. Bugs Bunny: Bare particular <em>a<\/em> exemplifies <em>G <\/em>(being a bunny).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">p2. Joanie the tigress: <em>F-ness <\/em>(being a tiger) exemplified by <em>b<\/em> (with a &quot;different&quot; bare particular than the one had by <em>a<\/em>).<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> According to Vallicella, the following can be considered. If W1 has <em>a<\/em>, <em>EX<\/em> and <em>F-ness<\/em>, and W2 has <em>a<\/em>, <em>EX<\/em> and <em>F-ness<\/em> (but separated), it follows that <em>a<\/em>, <em>EX<\/em> and <em>F-ness<\/em> are related externally (or at least EX is related externally to <em>a<\/em> and <em>F-ne<\/em>ss). This external relation will therefore fall prey to the Bradleyan regress raised above. <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Does this follow? Consider the following objection to this version of Vallicella&#39;s Bradleyen regress argument based on how we should understand bare particulars.<a class=\"sdfootnoteanc\" href=\"#sdfootnote3sym\" name=\"sdfootnote3anc\"><sup>3<\/sup><\/a> One can understand bare particulars as simples which are numerically, but not intrinsically distinct. Therefore, in W2, <em>F-ness<\/em> exemplified by <em>b<\/em> is not intrinsically distinct from <em>F-ne<\/em>ss exemplified by <em>a<\/em> in W1. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: This is confused. We were first told that in W2, we have a, EX, and F-ness, &quot;but separated.&quot;&#0160; We are now told that b is in W2.&#0160; I don&#39; understand this.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">If there is merely numerical difference but not intrinsic difference between bare particulars <em>a<\/em> and <em>b<\/em> then the exemplification of <em>F-ness<\/em> in b in W2 is not intrinsically different than the exemplification of <em>F-ness<\/em> in W1. Thus, EX need not be understood as an external relation. Thus, to say that in W2, <em>a<\/em>, EX and <em>F-ness<\/em> exist but separately seems to beg some questions about bare particulars. Here is one such question. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: Sorry, but this is confused. It follows directly from he fact that <em>a<\/em> is a bare particular that <em>a<\/em> is externally related to any property it exemplifies.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Does Vallicella understand bare particulars in the same way that Moreland does? <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: Yes, he does.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Moreland\u2019s view of existence seems to be operating from the notion of bare particulars found in Gustav Bergmann, as Moreland quotes Bergmann, &quot;Bare particulars neither are nor have natures. Any two of them are not intrinsically but only numerically different. That is their bareness. It is impossible for a bare particular to be &quot;in&quot; more than one ordinary thing &#8230; a bare particular is a mere individuator &#8230; it does nothing else&quot; (Moreland 2001, p. 148). <\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"> Vallicella seems to be treating bare particulars &quot;as wholes, namely states of affairs with properties as constituents within them&quot; (p. 155) as Moreland points out in a rejoinder to critics of his notion of bare particulars. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: That is a TOTAL misunderstanding.&#0160;&#0160; It shows a complete failure to understand what I have very clearly stated.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">If bare particulars are, as Moreland argues, &quot;simples with properties tied to them&quot; (p. 155) and are &quot;not intrinsically but only numerically different&quot; as Bergmann claims, then to assert that <em>F-ness<\/em> is tied to bare particular <em>a<\/em> in W1 and <em>F-ness<\/em> is tied to bare particular <em>b<\/em> in W2 is to assert that <em>a<\/em> and <em>b<\/em> are merely numerically distinct but not intrinsically different. This would seem to imply that <em>a<\/em> and <em>b<\/em> could be swapped out with no resulting difference to Tony-the-tiger being Tony-the-tiger in W1 and Joanie-the-tigress being Joanie-the-tigress in W2. <\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: What are you saying? I have no idea.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\">Simply put, Moreland&#39;s understanding of bare particulars does not entail the kind of externality between i, ii and iii that Vallicella claims.<\/span><\/p>\n<blockquote>\n<p style=\"margin-bottom: 0in; line-height: 200%; text-align: justify;\"><span style=\"font-family: georgia, palatino; font-size: 12pt; color: #0000ff;\">BV: The problem is not with Moreland&#39;s understanding of bare particulars, but with yours. Moreover, Moreland does not say what you are attributing to him. If you think that a bare particular and its properties are internally related, then you simply haven&#39;t grasped the notion of a bare particular.<\/span><\/p>\n<\/blockquote>\n<p style=\"margin-left: 0.5in; text-indent: -0.5in; margin-bottom: 0in; line-height: 200%;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><strong>[A]<\/strong>3.0 From the Inside and Out?<\/span><\/p>\n<div id=\"sdfootnote1\">\n<p style=\"margin-bottom: 0in; line-height: 200%; page-break-before: always;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><a class=\"sdfootnotesym\" href=\"#sdfootnote1anc\" name=\"sdfootnote1sym\">1<\/a><sup>\u0002<\/sup> Logic Alert! These next sections are difficult. If you are content with the understanding of existence as essential exemplification, then proceed to chapter 3. If you love really detailed, nitty gritty metaphysical arguments, then enjoy!<\/span><\/p>\n<p style=\"margin-bottom: 0in; line-height: 200%;\">&#0160;<\/p>\n<\/div>\n<div id=\"sdfootnote2\">\n<p style=\"margin-bottom: 0in; line-height: 200%; page-break-before: always;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><a class=\"sdfootnotesym\" href=\"#sdfootnote2anc\" name=\"sdfootnote2sym\">2<\/a><sup>\u0002<\/sup> \u201c&quot;For they cannot even exist if severed from the whole; for it is not a finger in any and every state that is the finger of a living thing, but a dead finger is a finger only in name \u2026 For it is not a hand in any and every state that is a part of man, but only when it can fulfil its work, and therefore only when it is alive; if it is not alive it is not a part&quot; (Aristotle 1941, p. 799, 1035b25 <em>Metaphysics<\/em> Bk. 7).<\/span><\/p>\n<\/div>\n<div id=\"sdfootnote3\">\n<p style=\"margin-top: 0.07in; margin-bottom: 0.07in; line-height: 200%; page-break-before: always;\"><span style=\"font-family: georgia, palatino; font-size: 12pt;\"><a class=\"sdfootnotesym\" href=\"#sdfootnote3anc\" name=\"sdfootnote3sym\">3<\/a><sup>\u0002<\/sup> See also Moreland 2001, pp. 14, 93-94, 102 and 155 for his discussion of the natures of bare particulars and their relations to universals.<\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The following is from a work in progress by Tim Mosteller, posted with his permission.&#0160; I thank him for his critical engagement with my work. Here are some responses.&#0160; My corrections in red; my comments in blue.<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[487,142],"tags":[],"class_list":["post-3067","post","type-post","status-publish","format-standard","hentry","category-constituent-ontology","category-existence"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/3067","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/comments?post=3067"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/3067\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=3067"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=3067"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=3067"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}