{"id":7008,"date":"2015-09-06T15:43:31","date_gmt":"2015-09-06T15:43:31","guid":{"rendered":"https:\/\/maverickphilosopher.blog\/index.php\/2015\/09\/06\/vallicella-on-orilia-on-bradleys-regress\/"},"modified":"2015-09-06T15:43:31","modified_gmt":"2015-09-06T15:43:31","slug":"vallicella-on-orilia-on-bradleys-regress","status":"publish","type":"post","link":"https:\/\/maverickphilosopher.blog\/index.php\/2015\/09\/06\/vallicella-on-orilia-on-bradleys-regress\/","title":{"rendered":"Vallicella on Orilia on Bradley&#8217;s Regress"},"content":{"rendered":"<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">The other day I was pleased to receive an e-mail message from <a href=\"http:\/\/docenti.unimc.it\/francesco.orilia\/\" target=\"_self\">Francesco Orilia<\/a> whom I hadn&#39;t heard from in several years.&#0160; He inquired about some correspondence we engaged in back in the spring of 2004.&#0160; I thought it had evaporated into the aether, but the Wayback Machine came to the rescue.&#0160; I reproduce it below, warts and all.&#0160; But first a demonstration of how Italians speak with their hands.&#0160; This is from our meeting at a conference on Bradley&#39;s Regress in Geneva, Switzerland in December of 2008.&#0160; <\/span><\/p>\n<p style=\"text-align: left;\"><span style=\"font-family: georgia,palatino;\"> <a class=\"asset-img-link\" href=\"http:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01bb086e31ce970d-pi\" style=\"display: inline;\"><img decoding=\"async\" alt=\"Vallicella e Orilia\" border=\"0\" class=\"asset  asset-image at-xid-6a010535ce1cf6970c01bb086e31ce970d image-full img-responsive\" src=\"https:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01bb086e31ce970d-800wi\" title=\"Vallicella e Orilia\" \/><\/a><\/span><\/p>\n<p style=\"text-align: left;\">&#0160;<\/p>\n<p style=\"text-align: left;\"><span style=\"font-family: georgia,palatino;\">More proof:<\/span><\/p>\n<p style=\"text-align: left;\"><span style=\"font-family: georgia,palatino;\"> <a class=\"asset-img-link\" href=\"http:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01b8d153d008970c-pi\" style=\"display: inline;\"><img decoding=\"async\" alt=\"Patrizia Pedrini, Francesco Armezzani, Francesco Orilia\" border=\"0\" class=\"asset  asset-image at-xid-6a010535ce1cf6970c01b8d153d008970c image-full img-responsive\" src=\"https:\/\/maverickphilosopher.typepad.com\/.a\/6a010535ce1cf6970c01b8d153d008970c-800wi\" title=\"Patrizia Pedrini, Francesco Armezzani, Francesco Orilia\" \/><\/a><\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Also relevant to the topic below are two entries from November 2008,<a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2008\/11\/francesco-orili.html\" target=\"_self\"> Francesco Orilia on Facts and Bradley&#39;s Regress Part I<\/a>, and <a href=\"http:\/\/maverickphilosopher.typepad.com\/maverick_philosopher\/2008\/11\/francesco-ori-1.html\" target=\"_self\">Francesco Orilia on Facts and Bradley&#39;s Regress Part II<\/a>.&#0160; Professore Orilia enters the ComBox of the second post to respond.<\/span><\/p>\n<p><!--more--><\/p>\n<p style=\"text-align: center;\"><span style=\"font-family: georgia,palatino;\">Vallicella on Orilia on Bradley&#39;s Regress<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"font-family: georgia,palatino;\">March 2004<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">Professore Francesco Orilia, Universita di Macerata, Italia sent me an excellent paper entitled \u201cStates of Affairs and Bradley\u2019s Regress: Armstrong versus Fact Infinitism.\u201d&#0160; To read the paper, click <span style=\"text-decoration: underline;\"> <a href=\"http:\/\/web.archive.org\/web\/20050421035038\/http:\/\/www.independentphilosopher.org\/states_of_affairs_and_bradleys_regress.htm\"> <span style=\"color: #0000ff;\">here<\/span><\/a><\/span>.&#0160;&#0160; I thank him for sending the paper, and for carefully attending to my own work on this topic in my book, <em>A Paradigm Theory of Existence: Onto-Theology Vindicated<\/em> as well as in my <em>Nous<\/em> and <em> Dialectica<\/em> articles.&#0160; It is in the crucible of dialectic that one refines one\u2019s ideas.&#0160; It will come as no surprise that Orilia disagrees with me on some key points. What follows are some comments on Orilia\u2019s paper.<\/span><\/p>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">1.&#0160; Some of us posit states of affairs (STOAs) as truth-makers of (some) contingent truths.&#0160; Bradley\u2019s regress, however, poses a threat to the existence of STOAs.&#0160; Suppose individual <em>a<\/em> stands in relation R to individual <em>b<\/em>.&#0160; Suppose further that R is an external relation such as <em>next to<\/em>&#0160; and that R is a universal (as opposed to a relation-instance, or relational trope).&#0160; The STOA<em> Rab<\/em>&#0160; is a complex consisting of three constituents in which one of the constituents, R, connects the other two.&#0160; Since each of the constituents can exist without the others, the Bradleyan question arises as to what connects R to <em>a<\/em> and to <em>b<\/em>.&#0160; It seems a further relation is needed, namely, a triadic instantiation relation.&#0160; Thus is engendered the STOA <em> I(3)Rab<\/em>, where \u2018I(3)\u2019 denotes the triadic instantiation relation.&#0160; (In the monadic case, where <em>a<\/em> instantiates F-ness, we have <em>I(2)Fa.)<\/em>&#0160; But if a triadic instantiation relation is needed to connect R, <em>a<\/em>, and <em>b<\/em>, then (given that I(3) is both external to its relata and a universal) it would appear that a tetradic instantiation relation is needed to connect I(3), R, <em>a<\/em>, and <em>b<\/em>.&#0160; And so on ad infinitum.&#0160; Of course, not every infinite regress is vicious.&#0160; The Bradleyan idea, however, is that this regress is vicious, and threatens the existence (in ultimate reality) of both external relations and STOAs.&#0160; (Since a relation that does not relate anything is arguably no relation at all, it seems clear that external universal relations and STOAs stand and fall together.)<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">2. There are several responses to the Bradleyan threat.&#0160; A nearly exhaustive catalog and critique of them is provided in my <em>A Paradigm Theory of Existence<\/em>, ch. 7.&#0160; One of D. M. Armstrong\u2019s proposals &#8212; his main proposal &#8212; is that STOAs are a special type of complex: a STOA is a complex that holds its constituents together.&#0160; Thus there is no need for instantiation relations to secure this togetherness.&#0160; More generally, there is no need for anything internal to a STOA &#8212; whether an instantiation relation or an ordinary relation or a Bergmannian nexus &#8212; to secure the togetherness of the STOA\u2019s constituents.&#0160; If Armstrong is right, the regress cannot begin.&#0160; Orilia favors a different approach, which he calls \u201cfact infinitism,\u201d an \u201cunjustly neglected alternative\u201d according to which&#0160; \u201cthe infinity of distinct relations and facts . . .\u201d is unproblematic or non-vicious.&#0160; At this point we may insert a minor criticism.&#0160; Something like the alternative Orilia calls \u201cunjustly neglected\u201d is proposed by Richard Gaskin in \u201cBradley\u2019s Regress, the Copula and the Unity of the Proposition,\u201d <em>The Philosophical Quarterly<\/em> (April 1995), pp. 161-180.&#0160; Nevertheless, Orilia\u2019s contribution is substantially different and contains several new insights.&#0160;&#0160; &#0160;&#0160;&#0160;&#0160;&#0160;&#0160;&#0160;&#0160; &#0160;&#0160;&#0160;&#0160;<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">3. The general problem before us is that of the unity of a complex.&#0160; If we take \u2018complex\u2019 broadly enough, we should be able to agree that some complexes are such that their existence follows immediately from the existence of their members or constituents.&#0160; I have in mind sets and the sums or fusions of unrestricted mereology.&#0160; But I mention those types of complex only to set them aside.&#0160; The unity problem begins in full earnest with complexes whose constituents are only <em>contingently<\/em> united.&#0160; Since the unity of the constituents of a complex <em>c<\/em> is equivalent (and perhaps identical) to <em>c<\/em>\u2019s existence, we may refer to these complexes as contingent complexes.&#0160; <em>Prima<\/em> <em>facie<\/em>, four types of contingent complexes should be distinguished: <em>(A) ordinary physical complexes<\/em>, whether natural or artificial; <em>(B) truth-makers<\/em>, which I am here assuming (on the basis of arguments in my <em>PTE<\/em>) are STOAs; <em> (C) truth-bearers<\/em>, whether these are contents of judgments, declarative sentences uttered assertively, or whatever; and <em>(D) unities of consciousness\/self-consciousness<\/em>, whether synchronic or diachronic.&#0160;&#0160; <\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">4. <em>Ad<\/em> (A).&#0160; If a tree stump and a board exist, it does not follow that a primitive table T consisting of a board B on top of a tree stump S exists.&#0160; There is a difference between the set {B, S} and T just as there is a difference between the sum (B + S) and T.&#0160; In response to some Orilian pressure emanating from p. 11 of his article, however, I can make the point without assuming the existence of sets and sums.&#0160; Clearly, there is a difference between B and S taken collectively and T.&#0160; T is not identical to B; T is not identical to S; T is not identical to B and S taken (in thought) together; and of course T is not identical to something wholly distinct from B and S, the <em>atman<\/em> of the table, if you will.&#0160; The problem here is essentially that of the Chariot in Milinda\u2019s dialogue with Nagasena.&#0160; (Click on my Buddhism link to read about chariots and how far they can take us into the land of <em>anatta <\/em>\/ <em>anatman<\/em>.)&#0160;&#0160;&#0160;&#0160;&#0160;&#0160;&#0160;&#0160;&#0160; <\/span><\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">What then is T?&#0160; T is the <em>unity<\/em> of its parts, their connectedness.&#0160; This unity is not nothing, but it is also not something.&#0160; It is not nothing, because it is what makes the difference between B + S and T.&#0160; But it is not something that can be found by analysis of&#0160; T. Unless we are willing to embrace the contradiction of saying that the unity of T\u2019s constituents is both something and nothing, we must find a way to remove this (apparent) contradiction.&#0160; As I see it, this is the correct statement of the problem of the unity of a complex.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">Thus I am saying that there is something unintelligible about contingent complexes.&#0160; T is more than B + S, and so is not identical to B + S.&#0160; Yet T is identical to B + S since there is nothing in T to distinguish T from B + S.&#0160; The same goes for STOAs.&#0160; A STOA <em>is not<\/em> identical to its constituents, since it is their unity; yet <em>it is<\/em> identical to them, since there is nothing in it to distinguish it from them.&#0160; Orilia does not accept that there is any (apparent) contradiction here.&#0160; To him, it is obvious that there is no contradiction, and that the situation is \u201cperfectly intelligible.\u201d&#0160; To my claim that <em>a<\/em><em>\u2019s being F<\/em> is identical to <em>a<\/em> + F-ness (because there is nothing to distinguish the STOA from its constituents), Orilia\u2019s response is that the difference \u201cconsists in the fact that we have three entities in the one case,&#0160; Fx, F and x, and only two in the other one, namely F and x.\u201d&#0160; (p. 11)<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">This simply begs the question against me.&#0160; I am saying that there is a problem about admitting into our ontology such contingent complexes as STOAs.&#0160; The problem is that they appear to be self-contradictory structures in that a STOA is distinct from its constituents, but without there being anything that distinguishes a STOA from its constituents.&#0160; To respond to this by saying that a STOA consists of three entities while its constituents (taken collectively) consist of only two is equivalent to saying that what distinguishes a STOA from its constituents is the STOA itself.&#0160; But Orilia has no right to assume that there any STOAs unless he can explain how <em>Fa<\/em>, which is composed of F-ness and <em>a<\/em>, is more than F-ness and <em>a<\/em>.&#0160; He has already admitted, on p. 1 of his paper, that STOAs are \u201ctheoretical entities\u201d whose existence can be denied if their postulation leads to a contradiction.&#0160; In short, if I argue that STOAs cannot exist because they are self-contradictory, but Orilia presupposes that they do exist and so cannot be self-contradictory, then Orilia begs the question against me, and we have a stand-off.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">But not only does Orilia beg the question against me, it appears that his suggestion leads to the untenable&#0160; result that a STOA is wholly distinct from its constituents. It is clear that F-ness and <em>a<\/em> are wholly distinct from each other in that neither is a proper or improper part of the other.&#0160; But <em>a<\/em><em>\u2019s being F<\/em> cannot be wholly distinct from its constituents, since it is composed of them.&#0160; Orilia, however,&#0160; must hold that STOAs are wholly distinct from their constituents.&#0160; For if what distinguishes a STOA from its constituents is the STOA itself, then<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">a) The STOA = that which unifies its constituents (the unifier).&#0160; But,<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">b) The STOA = <em>a<\/em> + F-ness + unifier.&#0160; This implies that<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">c) The STOA = <em>a<\/em> + F-ness + the STOA.&#0160; (From a, b) But,<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">d) The unifier (= the STOA) cannot be a proper constituent of the STOA. Therefore,<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">e) The STOA is wholly distinct from its own proper constituents.<\/span><\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">Suppose a big fish swallows two smaller&#0160; fishes. How many fish do we have? We have three fish.&#0160; So in this case, the difference between the big fish with two fish-constituents and the two fish-constituents is the difference between three fish and two fish.&#0160; But a STOA does not contain its constituents in the way the big fish contains the two smaller fishes.&#0160; Now compare a wall constructed from 1000 stones with a stone vault containing 1000 stones.&#0160; In the second case, there are clearly 1001 stone objects.&#0160; But in the first case, it is not clear that there are 1001 stone objects.&#0160; The stone wall is obviously not wholly distinct from its stone constituents, whether taken distributively (one by one) or collectively.&#0160; The stone wall is also not wholly identical to its constituents.&#0160; The truth seems to be that the wall is partially identical to and partially different from its constituents.&#0160; The partial difference is due to the stacking or arrangement of the stones.&#0160; The arrangement \u2013 which also accounts for why the wall is a wall rather than a heap \u2013 is obviously not a further constituent of the wall, nor is it the wall itself.&#0160; The arrangement is real, but cannot be found in or at the wall; hence, if we restrict ourselves to the wall, we get a contradiction: the arrangement is both real and unreal.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">On p. 11, Orilia gives the example of a bicycle with <em>n<\/em> parts. He says that when the bicycle is unassembled, there are <em>n<\/em> objects.&#0160; But when it is assembled, there are <em>n + 1<\/em> objects.&#0160; But this strikes me as mistaken.&#0160; Suppose I start counting the bicycle\u2019s <em>proper<\/em> parts and arrive at the number <em>n<\/em>.&#0160; I cannot add the bicycle itself to the arithmetical sum for the simple reason that the bicycle is not a <em>proper<\/em> part of itself.&#0160; It is at most an improper part of itself.&#0160; The bicycle is just the proper parts assembled; it is not a further proper part, which, when added to the \u2018canonical\u2019 proper parts, results in the bicycle.&#0160; Orilia is treating the bicycle as if it were wholly external to its proper parts.&#0160; Furthermore, if I could count the bicycle as a proper part, why could I not count the front tire-cum-tube as a proper part of the bicycle? The list of proper parts would then look like this: tire, tube, tire-cum-tube, tire-cum-tube-cum-rim, etc.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">As for my idea that the unifier of a contingent complex must be external to it, Orilia has this to say: \u201cto appeal to an assembler to describe the difference [between the unassembled and assembled bicycle] is to illicitly move from the ontological level to the level of causal explanation.\u201d (p. 11) But since I have refuted Orilia\u2019s suggestion that the difference is that between <em>n<\/em> objects on the one hand, and <em>n + 1<\/em> objects on the other, we need some explanation of the real difference between an unassembled bicycle \u2013 which of course is not a bicycle <em>stricto sensu <\/em>\u2013 and the same bicycle assembled.&#0160; We cannot invoke the connectedness of the parts,&#0160; if this is taken to be a further part, nor can we invoke the connectedness if this is taken to be the bicycle itself.&#0160; We must think of the connectedness as the effect of a cause.&#0160; In this way we remove the contradiction of saying that the connectedness is both something and nothing.&#0160; It is something in that it derives from a cause.&#0160; It is nothing in that it is no independent entity in or at the bicycle.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">There is the wider question of causal\/ontological level-confusion.&#0160; It is not obvious that there cannot be a causal explanation of an ontological difference.&#0160; John Searle holds, with some plausibility, that brain events cause mental events despite the fact that the two sorts of events differ ontologically, i.e., in their mode of existence.&#0160; I believe he speaks of a 3<sup>rd<\/sup> person and a 1<sup>st<\/sup> person mode of existence. (See his <em>The Mystery of Consciousness<\/em>, 1997) But this is a large issue that cannot be adequately addressed on this occasion.<\/span><\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">5.&#0160; <em>Ad<\/em> (B)&#0160; The (apparent) contradiction therefore remains in force on Orilia\u2019s approach.&#0160; The contradiction, once more, is that the unity of a complex is not nothing, but it is also not something either isolable in experience \u2013 it cannot be empirically detected \u2013 or discoverable by analysis.&#0160; Before we consider how Orilia removes it, if he does remove it, let\u2019s \u2018up the ante\u2019 as they say by noting that a STOA is not just any old complex, the unity of whose constituents is contingent, but a complex the unity of whose constituents equips it to function as a truth-maker.&#0160; The unity of a bicycle\u2019s parts gives those parts \u2018bicycle-functionality,\u2019 a property not possessed by the parts taken distributively \u2013 one by one \u2013 or collectively (as a mere collection or sum).&#0160; But the unity of a bicycle\u2019s parts does not in any obvious sense confer upon the bicycle the property of being a truth-maker.&#0160; So STOAs possess a peculiar type of unity.&#0160; For one thing, the unity of a STOA such as <em>a<\/em><em>\u2019s being F<\/em> is not a symmetrical togetherness like we find in T: S is together with B iff B is together with A.&#0160; It is rather the asymmetrical togetherness of instantiation or exemplification: if <em>a<\/em> instantiates F-ness, then F-ness does <em>not<\/em> instantiate <em>a<\/em>.&#0160; Since STOAs possess a type of unity not found in ordinary physical complexes, we should not expect that a solution to the unity problem for the latter will also solve the unity problem for the former.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">6.&#0160; It appears that Orilia understands the problem of the unity of a complex differently than I do.&#0160; As he puts it, \u201cThe question is, given that a generic complex c is assumed to exist, why is it true that c exists. . .?\u201d&#0160; He goes on to say that the answer should provide a \u201cunification proposition\u201d P that asserts that the constituents of c are unified.&#0160; Hence, the explanation of why it is true that c exists should be of the form, \u201cit is true that c exists in virtue of P\u2019s being true.\u201d (p. 5) One of the positive features of Orilia\u2019s paper is that, unlike many philosophers, he carefully explains the \u2018in virtue of\u2019 relation, marking it off&#0160; from the entailment relation.&#0160; Whereas entailment is reflexive in that every proposition entails itself, \u2018in virtue of\u2019 is irreflexive: no proposition is true in virtue of itself.&#0160; A minor criticism: Orilia use \u2018anti-reflexive\u2019 when the standard term is \u2018irreflexive.\u2019&#0160; A more serious problem, however, is that Orilia appears to confuse asymmetry with anti-symmetry. (Of course, it may be that he is simply unfamiliar with the standard English term.)&#0160;&#0160; \u2018In virtue of\u2019 is asymmetric in that, if P is true in virtue of Q\u2019s being true, then it is not the case that Q is true in virtue of P\u2019s being true.&#0160; To say that \u2018in virtue of\u2019 is anti-symmetric, however, would be to say that if&#0160; P\u2019s being true is true in virtue of Q\u2019s being true, and Q\u2019s being true is true in virtue of P\u2019s being true, then P = Q.&#0160; Asymmetry and anti-symmetry are distinct properties.<\/span><\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">7.&#0160; These technical quibbles aside, I have two main philosophical criticisms.&#0160; First of all, if the problem is to account for the unity of a STOA, it is not clear how bringing propositions into the picture can help.&#0160; For a proposition is itself a contingent unity of constituents.&#0160; (Of course, much depends on how exactly propositions are conceived, and Orilia does not say anything about this in the paper in question.) Note that, for Orilia, the relata of the \u2018in virtue of\u2019 relation are propositions.&#0160; Thus the <em>explanandum<\/em> proposition <em>c exists<\/em> is said to be true in virtue of the \u201cunification proposition\u201d P asserting that the constituents of <em>c<\/em> are unified.&#0160; But this assumes that the unity of propositions is unproblematic.&#0160; It seems to me, however, that the proposition that <em>a is F<\/em> is just as problematic as the STOA <em>a<\/em><em>\u2019s being F<\/em>.&#0160; The proposition is problematic because it apparently both is and is not its constituents.&#0160; It is not identical to its constituents because it is their unity, a unity that is not nothing.&#0160; It is identical to its constituents because there is nothing in the proposition that could be called its unity.&#0160; A proposition is obviously not a list, set, or sum of its constituents.&#0160; It is a peculiar unity of constituents that equips the proposition to serve as a truth-bearer.&#0160; But this unity cannot be identified with any constituent of it, not even a special constituent posited to play a unifying role. Thus there is an apparent contradiction that needs to be removed.&#0160; We are in the same predicament we were in with STOAs: they are apparently self-contradictory structures.&#0160; Invoking them to explain STOAs, if not a case of <em>obscurum per obscurios<\/em>, seems to be a case of explaining the obscure in terms of the equally obscure.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">8.&#0160; More fundamentally, however, Orilia simply helps himself to the existence of contingent complexes when he writes, \u201cgiven that a generic complex c is assumed to exist . . .\u201d (p. 5) This cannot be legitimate, since the precise problem bequeathed to us by Mr. Bradley is to explain how it is possible that there be any contingent complexes in the first place.&#0160; In effect, Bradley\u2019s message is that a STOA cannot exist in ultimate reality because it involves a contradiction.&#0160; If Orilia simply assumes that there are STOAs in ultimate reality, then he begs the question against Bradley and me.&#0160; Since Orilia admits, on p. 1, that STOAs are \u201ctheoretical entities,\u201d he cannot take the existence of STOAs to be obvious or \u2018datanic.\u2019 In plain English, it is not a datum, a given, that there are STOAs.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">Now if A accuses B of begging the question, it is often the case that B, with equal right, can accuse A of begging the question.&#0160; We then enter the dreaded circle of mutual question-begging.&#0160; Thus if I say to Orilia, \u201cYou beg the question against me by simply assuming that STOAs are non-contradictory,\u201d he can reply, \u201cBut you beg the question against <em>me<\/em> by assuming that STOAs are contradictory.\u201d&#0160; It seems to me, however, that this reply is not effective, since I have argued in painful and mind-numbing detail for the contradiction in question.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">9. Now for some comments on Orilia\u2019s reconstruction of Bradley\u2019s regress.&#0160; On p. 9, we read: \u201cFor any c, if c is a complex, then the proposition that c exists initiates an infinite vicious regress.\u201d&#0160; This is true at most for contingent complexes.&#0160; Sets and sums do not ignite a regress.&#0160; But this is a minor quibble.&#0160; My real problem is Orilia\u2019s claim on p. 9 that&#0160; \u201c&#8230;that a complex c exists is true in virtue of a proposition E!(Ux1 &#8230; xn) &#8230;.\u201d&#0160;&#0160; For example, the proposition P that <em>a<\/em><em>\u2019s being F<\/em> exists is true in virtue of the truth of the proposition P* that <em>a<\/em><em>\u2019s exemplifying of&#0160; F-ness<\/em> exists, which in turn is true in virtue of the truth of the proposition P** that <em>a, F-ness, and dyadic exemplification<\/em><em>\u2019s exemplification of triadic exemplification<\/em> exists, ad infinitum.&#0160; I simply deny this.&#0160;&#0160; P is true in virtue of the existence of&#0160; <em>a<\/em><em>\u2019s being F<\/em>, not in virtue of the truth of<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">P*.&#0160; It appears that Orilia has it precisely backwards: it is the STOA, which is not a proposition (though it is proposition-like as Armstrong points out), that makes P true. Thus P is true in virtue of the STOA\u2019s existence and not in virtue of P*\u2019s truth.&#0160; Part of the problem here is that Orilia defines \u2018in virtue of\u2019 as a relation on propositions.&#0160; But truth-making is not a relation between propositions, but between something extra- or sub-propositional and a proposition.&#0160; Another part of the problem is that Orilia \u2013 as I said above \u2013 just helps himself to the existence of STOAs, when their existence is precisely what is in question.&#0160; He therefore shifts the problem to the level of propositions when it is at the level of STOAs.&#0160; In other words, the vicious regress occurs within the STOA, not among propositions.<\/span><\/p>\n<\/div>\n<div style=\"text-align: justify;\">\n<p><span style=\"font-family: georgia,palatino;\">On p. 10, Orilia makes a perceptive observation.&#0160; He says that his \u201cfact infinitism\u201d \u201c&#8230;is compatible with the main conclusion that Vallicella (2000, etc.) reaches after his thorough investigation of states of affairs, namely, that the \u2018unifier\u2019 of a state of affairs, as he puts it, is external to the state of affairs in question, i.e., is neither a constituent of it, nor the state of affairs itself.\u201d&#0160; This is correct: we both hold that the unifier of a STOA\u2019s constituents must be external to it.&#0160; Orilia\u2019s idea seems to be that the unifier of a given STOA is another higher-order STOA, and so on ad infinitum.&#0160; Orilia\u2019s idea could perhaps be interpreted as follows: the unifier of a STOA\u2019s constituents is the entire actually infinite sequence of propositions beginning with the first \u201cunification proposition\u201d P, and proceeding to P*, P**, etc.&#0160; This seems close to R. Gaskin\u2019s view that \u201cBradley\u2019s regress is the metaphysical ground of the unity of the proposition.\u201d (p. 176)&#0160; If so, Bradley\u2019s regress would be positively virtuous and not merely benign.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">But I detect a confusion in Orilia between STOAs and propositions.&#0160; Or does he identify the two?&#0160; He uses \u2018state\u2019 and \u2018proposition\u2019 \u2013 two different terms \u2013 and this suggests a distinction.&#0160; Is it the proposition that <em>Fa<\/em> exists that is the unifier of <em> Fa<\/em>\u2019s constituents?&#0160; This seems to be Orilia\u2019s idea especially from p. 5.&#0160; But I find this notion incoherent.&#0160; The proposition that <em>Fa<\/em> exists merely REFLECTS or RECORDS the unity of <em>Fa<\/em>\u2019s constituents, it does not GROUND that unity.&#0160; The unifier is an ontological ground of unity; it is not a mere proposition that states that the constituents of a STOA form a unity. &#0160;To be honest, I cannot understand how a proposition could function as the unifier of a STOA\u2019s constituents.&#0160; Suppose I have two boards and some glue.&#0160; The proposition that the boards are glued together does not bring it about that they are glued together.&#0160; And if the boards <em>are<\/em> glued together, then the proposition that states this is true because the boards are glued together, and not vice versa..&#0160; The ground of the difference between the glued and the unglued boards cannot be either the glue \u2013 since a dab of glue can exist without gluing anything \u2013 or the glued boards, for reasons I have already belabored.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">To help clarify my critique of Orilia, let us distinguish among vicious, benign, and virtuous regresses.&#0160; We already know what a vicious regress is.&#0160; Here is a benign regress: p; it is true that p; it is true that it is true that p, and so on ad infinitum.&#0160; This is benign because p\u2019s truth is not explained by the truth of \u2018It is true that p,\u2019; rather, p\u2019s truth is explained by p\u2019s truth-maker, which is something extra-propositional, namely, a STOA.&#0160; Note that, in the benign truth regress,&#0160; there is a sense in which the members beyond p are merely \u2018along for the ride\u2019 and \u2018do no real work.\u2019&#0160; A positively virtuous regress, therefore, is one in which all the members of the infinite sequence \u2018do real work.\u2019&#0160;&#0160;&#0160; Suppose that every state of the universe is caused by an earlier state, and that there is no first state.&#0160; It follows that every state is caused.&#0160; This may be an example of a virtuous regress.&#0160; So it looks like Orilia\u2019s \u201cfact infinitism\u201d amounts to the embracing of such a virtuous regress, a regress that is positively necessary to secure the unity of a STOA\u2019s constituents.<\/span><\/p>\n<p><span style=\"font-family: georgia,palatino;\">On p. 10, Orilia states that \u201cVallicella neglects infinitism&#8230;.\u201d&#0160; I believe this is false.&#0160; In my PTE, pp. 209-211, I discuss and refute a position that derives from McTaggart which is essentially that of fact infinitism.<\/span><\/p>\n<\/div>\n<div>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">10.&#0160; On p. 13, Orilia discusses the question of tropes and how they may or may not provide a solution to the Bradley problem about unity.&#0160; Here I would refer Orilia to my forthcoming paper, \u201cBradley\u2019s Regress and Relation-Instances.\u201d He&#0160; should also consult Anna-Sofia Maurin\u2019s discussion of Bradley in her bizarrely titled book, <em>If Tropes<\/em> (Kluwer, 2002), pp. 134-163.<\/span><\/p>\n<p style=\"text-align: justify;\"><span style=\"font-family: georgia,palatino;\">11.&#0160; To conclude these comments, I cannot see that Orilia has successfully defended the \u2018brute fact\u2019 view according to which it is the STOA itself that holds its constituents together.&#0160; And I cannot see what his fact infinitism comes to, inasmuch as it appears to rest on a confusion of STOAs and propositions, and thus a confusion of the benign truth regress with some kind of virtuous STOA regress.&#0160; To the extent that I understand fact infinitism, I have already refuted it in my discussion of McTaggart in PTE.&#0160; But Orilia\u2019s paper is a preliminary draft, and it may be that I will come to understand his view when he explains it more clearly.&#0160; His paper is needlessly technical \u2013 given his desire for complete generality at every step \u2013 and needs to be better organized.&#0160; That being said, there is much excellent material here about the \u2018in virtue of\u2019 relation and the various types of regress.&#0160; I thank Orilia for giving me the opportunity to study his paper and learn from it.&#0160; I look forward to future exchanges with him.<\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>The other day I was pleased to receive an e-mail message from Francesco Orilia whom I hadn&#39;t heard from in several years.&#0160; He inquired about some correspondence we engaged in back in the spring of 2004.&#0160; I thought it had evaporated into the aether, but the Wayback Machine came to the rescue.&#0160; I reproduce it &hellip; <a href=\"https:\/\/maverickphilosopher.blog\/index.php\/2015\/09\/06\/vallicella-on-orilia-on-bradleys-regress\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Vallicella on Orilia on Bradley&#8217;s Regress&#8221;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[555],"tags":[],"class_list":["post-7008","post","type-post","status-publish","format-standard","hentry","category-bradley-and-his-regress"],"_links":{"self":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/7008","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=7008"}],"version-history":[{"count":0,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/posts\/7008\/revisions"}],"wp:attachment":[{"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/media?parent=7008"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/categories?post=7008"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/maverickphilosopher.blog\/index.php\/wp-json\/wp\/v2\/tags?post=7008"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}