<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
    <title>The Prosblogion</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/" />
    <link rel="self" type="application/atom+xml" href="http://prosblogion.ektopos.com/atom.xml" />
    <id>tag:prosblogion.ektopos.com,2009-04-14:/3</id>
    <updated>2010-02-07T15:03:27Z</updated>
    <subtitle>A Philosophy of Religion Blog</subtitle>
    <generator uri="http://www.sixapart.com/movabletype/">Movable Type 4.32-en</generator>

<entry>
    <title>Social evils and the goodness of God</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/social-evils-an.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6310</id>

    <published>2010-02-07T15:00:39Z</published>
    <updated>2010-02-07T15:03:27Z</updated>

    <summary>I was talking to Norman Daniels the other day about healthcare reform and he had some interesting observations about the history of healthcare reform in the US. He remarked that Roosevelt could have easily provided healthcare in a workers protection bill because healthcare at that time was cheap. Evidently, other nations provided universal healthcare earlier on in the development of the healthcare system (with the exception of Canada which began universal healthcare in the 70&apos;s). Norman also mentioned that Ted Kennedy says in his memoirs that he wished he had made a deal with Nixon on healthcare. Evidently, Nixon had a healthcare bill that was much more just than current healthcare bills and Kennedy viewed his failure to work with Nixon as a major mistake. Now, what does this have to do with philosophy of religion? Let&apos;s assume Kennedy&apos;s lapse is a social evil. It is an omission that results in a much worse state of affairs that led to more suffering than would have otherwise resulted. I think there are some interesting features of social evils that aren&apos;t shared by moral evils or natural evils. First, social evils are different from moral evils because the evil that results isn&apos;t...</summary>
    <author>
        <name>Ted Poston</name>
        <uri>http://www.southalabama.edu/philosophy/poston/</uri>
    </author>
    
        <category term="Problem of Evil" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>I was talking to Norman Daniels the other day about healthcare reform and he had some interesting observations about the history of healthcare reform in the US.  He remarked that Roosevelt could have easily provided healthcare in a workers protection bill because healthcare at that time was cheap.  Evidently, other nations provided universal healthcare earlier on in the development of the healthcare system (with the exception of Canada which began universal healthcare in the 70's).  Norman also mentioned that Ted Kennedy says in his memoirs that he wished he had made a deal with Nixon on healthcare.  Evidently, Nixon had a healthcare bill that was much more just than current healthcare bills and Kennedy viewed his failure to work with Nixon as a major mistake.  Now, what does this have to do with philosophy of religion?  Let's assume Kennedy's lapse is a social evil.  It is an omission that results in a much worse state of affairs that led to more suffering than would have otherwise resulted.  I think there are some interesting features of social evils that aren't shared by moral evils or natural evils.  First, social evils are different from moral evils because the evil that results isn't a direct result of personal agency.  It's not as if Kennedy's omission directly caused Joe to be denied healthcare because of a preexisting condition.  Second, hindsight can be an important factor in social evils.  Kennedy's lapse provides an interesting case in which he seems to have knowledge of the relevant counterfactuals.  If he had worked with Nixon then a much more just healthcare system would have resulted.  The presence of knowledge of counterfactuals here seems relevantly different from the case of natural evil.   There's not to my knowledge a discussion of social evil in the POE literature, though I'd be happy to learn otherwise.  If the two differences I mentioned survive reflection then it's possible that reflection on social evil will shed new light on the POE.  What do you guys think?  I'm particularly interested in whether you think social evil is different in kind from moral evil and natural evil and also whether social evil poses a special problem not already posed by moral and natural evils.  <br />
</p>]]>
        
    </content>
</entry>

<entry>
    <title>Plantinga on Kim&apos;s Pairing Problem</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/plantinga-on-ki.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6308</id>

    <published>2010-02-06T23:23:17Z</published>
    <updated>2010-02-06T23:42:37Z</updated>

    <summary>Jaegwon Kim&apos;s well known Pairing Problem is supposed to show that it is impossible both that immaterial souls cannot have causal efficacy in the physical world as well as to other immaterial souls. The problem, in brief (super-brief) is that for event A to cause event B, there must be some further factor X in virtue of which A causes B. There is no such further factor X in the case of the mental events (willings, actings, intendings) of souls and physical events. So, souls cannot be causally related to the physical world. This argument is supposed to apply to ALL souls. I just finished (most of) Plantinga&apos;s really nice article &quot;Materialism and Christian Belief&quot; in Persons: Human and Divine, and he proposes that broadly logical necessity is that relation. He writes, According to classical theism, it&apos;s a necessary truth that whatever God wills, takes place. It&apos;s a necessary truth that if God says, &quot;Let there be light,&quot; then there is light. Necessarily, if God says, &quot;Let Adam come into existence,&quot; Adam comes into existence. So what is it that makes it the case that God&apos;s intentions cause what they cause? To ask that question is like asking, &quot;What is...</summary>
    <author>
        <name>Andrew Moon</name>
        <uri>http://web.missouri.edu/~aym3z8/</uri>
    </author>
    
        <category term="Christian Theology" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Concept of God" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>Jaegwon Kim's well known Pairing Problem is supposed to show that it is impossible both that immaterial souls cannot have causal efficacy in the physical world as well as to other immaterial souls.  The problem, in brief (super-brief) is that for event A to cause event B, there must be some further factor X in virtue of which A causes B.  There is no such further factor X in the case of the mental events (willings, actings, intendings) of souls and physical events.  So, souls cannot be causally related to the physical world.  This argument is supposed to apply to ALL souls.</p>

<p>I just finished (most of) Plantinga's <em>really</em> nice article "Materialism and Christian Belief" in <a href="http://www.amazon.com/Persons-Divine-Peter-van-Inwagen/dp/0199277516">Persons: Human and Divine</a>, and he proposes that broadly logical necessity is that relation.  He writes,</p>

<blockquote>According to classical theism, it's a necessary truth that whatever God wills, takes place.  It's a necessary truth that if God says, "Let there be light," then there is light.  Necessarily, if God says, "Let Adam come into existence," Adam comes into existence.  So what is it that makes it the case that God's intentions cause what they cause?  To ask that question is like asking, "What is it that makes an equiangular triangle equilateral?"  The answer is (broadly) logical necessity; it's necessary that whatever God wills comes to be just as it's necessary that every equiangular triangle be equilateral.  Accordingly there isn't a problem about that factor X in the divine case... (p. 133)</blockquote>

<p>So Kim's Pairing Problem that it is impossible that souls be causally related to the world fails.  Plantinga goes on to show that once you have theism, there is no problem for human souls having causal interaction in the world as well.</p>

<p>This seems compelling to me.  Anybody see any problems with it?</p>]]>
        
    </content>
</entry>

<entry>
    <title>Royal Institute of Philosophy Birmingham Branch: Philosophy of Religion Seminars</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/royal-institute.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6307</id>

    <published>2010-02-06T17:36:49Z</published>
    <updated>2010-02-07T16:55:23Z</updated>

    <summary>The Royal Instiute of Philosophy Birmingham Branch Philosophy of Religion Seminars All meetings: 4:15pm-6:00pm, Room 104 Arts Building, University of Birmingham All Welcome 8 March Kelly James Clark (Calvin College) God, Chance and Religion 15 March Tim Chappell (Open University) Glory as an Ethical Idea 22 March David Efird (University of York) The Body of Christ and the the Metaphysics of the Church...</summary>
    <author>
        <name>Yujin Nagasawa</name>
        <uri>http://www.philosophy.bham.ac.uk/staff/nagasawa.shtml</uri>
    </author>
    
        <category term="News" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>The Royal Instiute of Philosophy Birmingham Branch<br />
Philosophy of Religion Seminars</p>

<p>All meetings: 4:15pm-6:00pm, Room 104 Arts Building, University of Birmingham<br />
All Welcome</p>

<p><strong>8 March</strong><br />
<a href="http://www.calvin.edu/academic/philosophy/china/summerseminar/clark/">Kelly James Clark</a> (Calvin College)<br />
God, Chance and Religion</p>

<p><strong>15 March</strong><br />
<a href="http://www.open.ac.uk/Arts/philos/chappell.htm">Tim Chappell</a> (Open University)<br />
Glory as an Ethical Idea</p>

<p><strong>22 March</strong><br />
<a href="http://www.york.ac.uk/depts/phil/about/staff/efird.htm">David Efird</a> (University of York)<br />
The Body of Christ and the the Metaphysics of the Church<br />
</p>]]>
        
    </content>
</entry>

<entry>
    <title>ALVIN PLANTINGA RETIREMENT CONFERENCE</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/alvin-plantinga-1.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6305</id>

    <published>2010-02-05T13:13:57Z</published>
    <updated>2010-02-06T23:51:02Z</updated>

    <summary>May 20-22, 2010 University of Notre Dame Registration is now open for the Alvin Plantinga Retirement Celebration Conference. You can register online by starting here and following the &quot;Plantinga Retirement&quot; links. You can find complete conference details here....</summary>
    <author>
        <name>Michael Rea</name>
        <uri>http://www.nd.edu/~mrea/</uri>
    </author>
    
        <category term="News" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>May 20-22, 2010 <br />
University of Notre Dame <br />
  <br />
Registration is now open for the Alvin Plantinga Retirement Celebration Conference. You can register online by starting <a href="http://cce.nd.edu/attend.shtml">here</a> and following the "Plantinga Retirement" links.   You can find complete conference details <a href="http://www.nd.edu/~cprelig/events/PlantingaRetirement.shtml">here.</a> <br />
</p>]]>
        
    </content>
</entry>

<entry>
    <title>Postgraduate Scholarships at the University of Birmingham</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/postgraduate-sc.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6303</id>

    <published>2010-02-04T12:51:46Z</published>
    <updated>2010-02-04T17:19:19Z</updated>

    <summary>The School of Philosophy, Theology and Religion at the University of Birmingham offers the following scholarships: For Prospective Doctoral Students (A) 1 AHRC Doctoral Award in Philosophy (B) 1 AHRC Doctoral Award in Religious Studies For Prospective MA/MPhil Students (A) Dinshaw Bursary (£1000; Theology/Inter-religious studies) (B) 1 fee-remission Scholarship (overseas) in any Masters/MPhil programme in the School (C) 3 fees-remission Scholarships in any Masters/MPhil programme in the School (D) 1 fee-remission Scholarship in Philosophy of Religion and Ethics (E) 1 fee-reduction Scholarship Application forms may be downloaded from http://www.as.bham.ac.uk/study/support/admin/pgr/PGScholarships-CAL.shtml See also: http://www.alpg.bham.ac.uk/funding/ Completed applications are due by 4 p.m. (16.00), Friday, 26 February 2010 to ahrcapplication@contacts.bham.ac.uk...</summary>
    <author>
        <name>Yujin Nagasawa</name>
        <uri>http://www.philosophy.bham.ac.uk/staff/nagasawa.shtml</uri>
    </author>
    
        <category term="News" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>The School of Philosophy, Theology and Religion at the University of Birmingham offers the following scholarships:</p>

<p><strong>For Prospective Doctoral Students</strong><br />
(A) 1 AHRC Doctoral Award in Philosophy<br />
(B) 1 AHRC Doctoral Award in Religious Studies</p>

<p><strong>For Prospective MA/MPhil Students</strong><br />
(A) Dinshaw Bursary (£1000; Theology/Inter-religious studies)<br />
(B) 1 fee-remission Scholarship (overseas) in any Masters/MPhil programme in the School <br />
(C) 3 fees-remission Scholarships in any Masters/MPhil programme in the School<br />
(D) 1 fee-remission Scholarship in Philosophy of Religion and Ethics<br />
(E) 1 fee-reduction Scholarship</p>

<p>Application forms may be downloaded from <a href="http://www.as.bham.ac.uk/study/support/admin/pgr/PGScholarships-CAL.shtml">http://www.as.bham.ac.uk/study/support/admin/pgr/PGScholarships-CAL.shtml</a></p>

<p>See also: <a href="http://www.alpg.bham.ac.uk/funding/">http://www.alpg.bham.ac.uk/funding/</a></p>

<p>Completed applications are due by <strong>4 p.m. (16.00), Friday, 26 February 2010</strong> to ahrcapplication@contacts.bham.ac.uk</p>]]>
        
    </content>
</entry>

<entry>
    <title>A Concise and Valid Ontological Argument</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/02/a-concise-ontol.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6293</id>

    <published>2010-02-02T07:50:37Z</published>
    <updated>2010-02-03T14:26:22Z</updated>

    <summary>According to most Anselmians&#8212;and most theists&#8212;God has a special set of essential properties. Those essential properties include omniscience, omnipotence, perfect goodness and necessary existence. But how do we know this? There are just two possibilities: either we know that God has those essential properties apriori or we know aposteriori. Again, almost no theist maintains that we know the essential properties of God aposteriori. The reason this is rejected is because it entails that we might have discovered that God was less than essentially perfectly good, etc. But almost no theist thinks that&#8217;s a possible discovery. So, most Anselmians&#8212;I&#8217;d again say most theists&#8212;maintain that (A) is true. A. A being x = God only if (i) for most essential properties P of x, it is primarily necessary (i.e., apriori) that x has P, and (ii) the essential properties of x include omnipotence, omniscience, perfect goodness, and necessary existence There is a concise and valid apriori demonstration based on (A) and some well-known logical relations holding between primary necessity (aprioricity) and secondary necessity (metaphysical necessity). Let M be restricted to essential properties understood as properties objects have in every world in which they exist. Here&#8217;s a concise ontological argument....</summary>
    <author>
        <name>Mike Almeida</name>
        <uri>http://colfa.utsa.edu/pc/people/</uri>
    </author>
    
        <category term="Christian Theology" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Concept of God" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Existence of God" scheme="http://www.sixapart.com/ns/types#category" />
    
    <category term="ontologicalargument" label="ontological argument" scheme="http://www.sixapart.com/ns/types#tag" />
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>According to most Anselmians&#8212;and most theists&#8212;God has a special set of essential properties.  Those essential properties include omniscience, omnipotence, perfect goodness and necessary existence. But how do we know this? There are just two possibilities: either we know that God has those essential properties apriori or we know aposteriori. Again, almost no theist maintains that we know the essential properties of God aposteriori. The reason this is rejected is because it entails that we might have discovered that God was less than essentially perfectly good, etc. But almost no theist thinks that&#8217;s a possible discovery. So, most Anselmians&#8212;I&#8217;d again say most theists&#8212;maintain that (A) is true.</p>

<p>A.     A being x = God only if (i) for most essential properties P of x, it is 
        primarily necessary (i.e., apriori) that x has P, and (ii) the essential properties of x 
        include omnipotence, omniscience, perfect goodness, and necessary existence</p>

<p>There is a concise and valid apriori demonstration based on (A) and some well-known logical relations holding between primary necessity (aprioricity) and secondary necessity (metaphysical necessity). Let M be restricted to essential properties understood as properties objects have in every world in which they exist. Here&#8217;s a concise ontological argument. </p>
]]>
        <![CDATA[<p>1.0.  □1∀x(□1Mx ⊃ □2Mx)</p>

<p>(1.0) states that, it is apriori that x instantiates essential property M, only if it is metaphysically necessary that x instantiates essential property M. For instance, if it is apriori true that the empty set instantiates the essential property of being non-membered, then it is metaphysically necessary that the empty set instantiates the essential property of being non-membered. Now instantiate (1.0).</p>

<p>1.1.  □1(□1MG ⊃ □2MG)</p>

<p>(1.1) says that If it is apriori that God has essential property M, then it is metaphysically necessary that God essential property M. But we know from (A) that (1.2) is true.</p>

<p>1.2.  □1MG</p>

<p>It is an apriori known conceptual truth, based on (A), that God has the essential properties of omniscience, omnipotence, perfect goodness and necessary existence. But then, obviously, (1.3).</p>

<p>1.3. □2MG</p>

<p>It is metaphysically necessary that God has the essential properties of omniscience, omnipotence, perfect goodness and necessary existence.</p>

<p>The argument is valid. And it makes no mistakes in moving from conceivability to necessity. The principle in (1.0) properly licenses that inference. And it would be sound if (A) were true. But I&#8217;m not sure (A) is true. Is it an apriori knowable conceptual truth that God instantiates the divine essential properties? Norman Malcolm thought so, and so did Anselm of <i>Proslogion</i> 3. Suppose it isn&#8217;t apriori knowable. Then it can be <i>no more than aposteriori knowable</i> that God instantiates the divine essential properties. That&#8217;s a pretty startling conclusion that is contrary to what most theists and certainly most Anselmians believe. It entails that we might have discovered that God had quite a different set of properties.</p>
]]>
    </content>
</entry>

<entry>
    <title>An argument against the possibility of transworld depravity</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/an-argument-aga.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6300</id>

    <published>2010-02-01T03:36:31Z</published>
    <updated>2010-02-01T16:00:12Z</updated>

    <summary><![CDATA[Transworld Depravity (TWD) is the thesis that possibly every feasible world with significantly free agents contains moral evil. I will offer an argument, assuming Molinism, that TWD is necessarily false. I don't think the argument is all that strong, but I hope it will push Molinists to think about a certain interesting (to me) issue. In order to get Adams to accept some counterfactuals of creaturely freedom (CCFs, denoted with &rarr;), Plantinga offered this example. Actually Curley takes a bribe of a certain amount. Surely, then, it is true that were Curley to have been offered a larger bribe, he would have taken that, too. Adams agrees. One might not unreasonably take Plantinga's example to support the following thesis: (*) Necessarily: If x actually freely chooses A in circumstances C, then had x instead been in circumstances C* instead of C such that D(C*,C,x,A), then x would still have freely chosen A. Here, D(C*,C,A) says that circumstances C* are a variation on C (this minimally implies that they occur in the same spatiotemporal location, but more may need to be added), and they dominate circumstances C for x in respect of A in the following sense: (a) the agent is...]]></summary>
    <author>
        <name>Alexander Pruss</name>
        <uri>http://alexanderpruss.blogspot.com</uri>
    </author>
    
        <category term="Molinism" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>Transworld Depravity (TWD) is the thesis that possibly every feasible world with significantly free agents contains moral evil.  I will offer an argument, assuming Molinism, that TWD is necessarily false.  I don't think the argument is all that strong, but I hope it will push Molinists to think about a certain interesting (to me) issue.</p>
<p>In order to get Adams to accept some counterfactuals of creaturely freedom (CCFs, denoted with &rarr;), Plantinga offered this example.  Actually Curley takes a bribe of a certain amount.  Surely, then, it is true that were Curley to have been offered a larger bribe, he would have taken that, too.  Adams agrees.</p>
<p>One might not unreasonably take Plantinga's example to support the following thesis:<br/>
(*) Necessarily: If x actually freely chooses A in circumstances C, then had x instead been in circumstances C* instead of C such that D(C*,C,x,A), then x would still have freely chosen A.<br/>
Here, D(C*,C,A) says that circumstances C* are a variation on C (this minimally implies that they occur in the same spatiotemporal location, but more may need to be added), and they dominate circumstances C for x in respect of A in the following sense: (a) the agent is non-perverse and hence without the least inclination to act unreasonably for the sake of acting unreasonably, (b) any consideration operative for x in C in favor of A is also operative for x in C* in favor of A in at least as strong a form, and (c) any consideration operative for x in C* against A is operative in C against A in at least as strong a form.</p>
<p>One might then generalize (*) to:<br/>
(**) If C and C* are sufficiently determinate circumstances for a free choice, then (C &rarr; x freely does A) &amp; D(C*,C,x,A) entails C* &rarr; x freely does A.</p>
<p>Suppose (**) is true.  Imagine circumstances C where there is only one free agent, Eve, who makes only one free choice: whether to eat a yummy apple or to dance a merry jig (no other options are available, and it is not possible to do both), and this choice is significantly free because God forbade Eve to eat the apple.  Eve has no inclination to disobey God or act unreasonably <em>as such</em>.  Eve, however, has a desire to eat the apple on account of its yumminess or to dance the jig on account of its merriness.  Call these circumstances C.  Now, let C* be circumstances just like these, except that God instead forbade Eve to dance the jig.</p>
<p>Now, suppose TWD holds.  Then, C&rarr;(Eve freely eats apple) and C*&rarr;(Eve freely dances jig).  But this contradicts (**), since C* dominates C in respect of apple-eating for Eve.  Why does domination hold?  Well, any operative consideration in favor of apple-eating in C (namely the yumminess of the apple) is present in C*, and any operative consideration against apple-eating (namely the merriness of the jig) in C* is present in C.  The only difference is that the fact that God forbids the apple-eating in C but it is the jig-dancing that is forbidden in C*;  but given that Eve has no inclination to act unreasonably or disobediently as such, this does nothing to contradict C's being dominated by C* in respect of apple-eating (that God forbids apple-eating in C either counts for nothing or counts against apple-eating in C, etc.)</p>]]>
        <![CDATA[<p>The argument for (**) from (*) is, roughly, as follows.  Suppose C&rarr;A and ~(C*&rarr;A).  Then, were C to be actualized by God, it would still be the case that: C&rarr;A and ~(C*&rarr;A), since God is unable to affect the truth values of CCFs.  But by (*) it is impossible to have C and C&rarr;A and ~(C*&rarr;A), since it is not possible to have C and A and ~(C*&rarr;A).</p><p>So, the defender of the possibility of TWD needs to deny (*).  But I think (*) is pretty plausible.  In fact, it seems just to be a consequence of what "is operative for/against A in at least as strong a form" means.</p>
<p>Suppose, for simplicity, that C and C* differ only in respect of the fact that C* contains one or more additional considerations <em>in favor</em> of A.  (In fact, that is the only case my counterexample to the possibility of TWD needs: in C* there is an additional consideration in favor of apple-eating, namely that jig-dancing is forbidden by God.)  It is surely very plausible to say that, necessarily, given the above, if x had an additional reason <em>in favor</em> of A, she would (still) have chosen A, at least assuming the non-perversity condition that she has no inclination to act unreasonably for the sake of acting unreasonably.  (Some people think the non-perversity condition is always satisfied.  But that's controversial.)</p>
<p>So, the Molinist defender of the possibility of TWD needs to deny (*).  But the intuition in Plantinga's Curley example is pretty strong, as are, I think, the above arguments.  (I am thinking that the Molinist's best move here is to say that her counterfactuals are different in kind from the counterfactuals used to test what considerations are operative.)</p>
<p>What this points out is that the possibility of TWD is, basically, a sort of logical independence thesis for CCFs: Even if C and C* are related by domination, there are no entailments between C&rarr;(x does A) and C*&rarr;(x does A).</p>
<p>Here is another interesting result.  Even if (*) is false, the intuition about Curley is pretty plausible.  I think this means that if C&rarr;(x does A) and D(C*,C,x,A), then it is very probable that C*&rarr;(x does A).  But, if so, then my argument establishes that it is very probably that TWD is false, assuming Molinism.</p>]]>
    </content>
</entry>

<entry>
    <title>Metaphysics contest: Can a property be a person?</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/metaphysics-con.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6295</id>

    <published>2010-01-30T19:13:09Z</published>
    <updated>2010-02-01T15:34:11Z</updated>

    <summary>On one reading of the doctrine of divine simplicity, God is identical with divinity. If divinity is a property, this entails that at least one property is a person. A lot of people think this is absurd. I am holding an argument contest--with modest prizes ($50 amazon gift certificate for the best argument; $30 amazon gift certificate for a random entrant subject to some conditions)--for arguments against the thesis that at least one property is a person. See here for rules and how to enter. Comments should be placed there....</summary>
    <author>
        <name>Alexander Pruss</name>
        <uri>http://alexanderpruss.blogspot.com</uri>
    </author>
    
        <category term="Concept of God" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>On one reading of the doctrine of divine simplicity, God is identical with divinity.  If divinity is a property, this entails that at least one property is a person.  A lot of people think this is absurd.  I am holding an argument contest--with modest prizes ($50 amazon gift certificate for the best argument; $30 amazon gift certificate for a random entrant subject to some conditions)--for arguments against the thesis that at least one property is a person.  See <a href="http://substantialmatters.blogspot.com/2010/01/contest-can-property-be-person.html">here</a> for rules and how to enter.  Comments should be placed there.</p>]]>
        
    </content>
</entry>

<entry>
    <title>Ralph McInerny, resquiescat in pace</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/ralph-mcinerny.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6292</id>

    <published>2010-01-29T19:59:11Z</published>
    <updated>2010-01-29T20:11:52Z</updated>

    <summary>Noted Catholic philosopher Ralph McInerny died this morning. One present said &quot;It was, from what I can discern, a happy death, serene and full of he acceptance that comes from a sure and strong faith.&quot; I might try to organize some information on him but in the mean time here are some links. Bio from the Center for Ethics and Culture at Notre Dame Maritain Center Bio, Notre Dame Good summary from Gifford Lecture Website I have learned more than I can say from him on a variety of issues and life in general over the years. He was involved in one of the first book projects I ever worked on, and was a gracious interlocutor and teacher. He really was a living legend, a man from another time and world it seemed, but he still battled for the redemption of the culture he was a part of. Irreplaceable, he&apos;ll be missed....</summary>
    <author>
        <name>Trent Dougherty</name>
        <uri>http://sites.google.com/site/trentdougherty/</uri>
    </author>
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>Noted Catholic philosopher Ralph McInerny died this morning.  One present said "It was, from what I can discern, a happy death, serene and full of he acceptance that comes from a sure and strong faith."</p>

<p>I might try to organize some information on him but in the mean time here are some links.</p>

<p><a href="http://nd.edu/~ndethics/about/mcinerny.shtml">Bio from the Center for Ethics and Culture at Notre Dame</a></p>

<p><a href="http://www2.nd.edu/Departments/Maritain/cvrm0.htm">Maritain Center Bio, Notre Dame</a></p>

<p><a href="http://www.giffordlectures.org/Author.asp?AuthorID=243">Good summary from Gifford Lecture Website</a></p>

<p>I have learned more than I can say from him on a variety of issues and life in general over the years.  He was involved in one of the first book projects I ever worked on, and was a gracious interlocutor and teacher.  </p>

<p>He really was a living legend, a man from another time and world it seemed, but he still battled for the redemption of the culture he was a part of.  Irreplaceable, he'll be missed.  </p>]]>
        
    </content>
</entry>

<entry>
    <title>An Argument for Pantheism or Panentheism</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/an-argument-for-2.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6290</id>

    <published>2010-01-28T20:47:51Z</published>
    <updated>2010-01-28T21:47:07Z</updated>

    <summary>I&apos;ve been re-reading Book I of Spinoza&apos;s Ethics in preparation for teaching History of Modern Philosophy. He defines &apos;God&apos; as follows: (Book I, Def. 6) &quot;By God I mean an absolutely infinite being, that is, a substance consisting of infinite attributes, each of which expresses eternal and infinite essence.&quot; The two attributes he discusses are, of course, thought and extension. I started wondering why he would simply define &apos;God&apos; in such a way that God is extended. I came up with what seems to me to be an interesting argument. If the argument is correct, it&apos;s an argument for either pantheism or panentheism (the latter is the view that nature is a part of God). It&apos;s inspired by some brief comments Spinoza makes in the scholium to Proposition 10 of book 1 and, as far as I&apos;ve been able to tell in a brief scan of the literature, it hasn&apos;t shown up in the literature at all. I&apos;m interested to see what you all think about it. Here&apos;s the argument: 1. God is a perfect (i.e. the greatest possible) being. 2. A perfect being will have all property-kinds that are intrinsically good. 3. Being extended (or being physical/material) is an...</summary>
    <author>
        <name>Joshua Thurow</name>
        <uri>http://web.mac.com/jcthurow</uri>
    </author>
    
        <category term="Concept of God" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>I've been re-reading Book I of Spinoza's Ethics in preparation for teaching History of Modern Philosophy.  He defines 'God' as follows: (Book I, Def. 6) "By God I mean an absolutely infinite being, that is, a substance consisting of infinite attributes, each of which expresses eternal and infinite essence."  The two attributes he discusses are, of course, thought and extension.  I started wondering why he would simply define 'God' in such a way that God is extended.  I came up with what seems to me to be an interesting argument.  If the argument is correct, it's an argument for either pantheism or panentheism (the latter is the view that nature is a part of God).  It's inspired by some brief comments Spinoza makes in the scholium to Proposition 10 of book 1 and, as far as I've been able to tell in a brief scan of the literature, it hasn't shown up in the literature at all.  I'm interested to see what you all think about it.</p>

<p>Here's the argument:<br />
1. God is a perfect (i.e. the greatest possible) being.<br />
2. A perfect being will have all property-kinds that are intrinsically good.<br />
3. Being extended (or being physical/material) is an intrinsically good property-kind.<br />
--------<br />
C. God is extended (or physical/material).</p>]]>
        <![CDATA[<p>(1) sounds good (it's certainly an axiom of Anselmian theism).  (2) sounds plausible because if a being lacks an intrinsically good property-kind P, then that being would not be the greatest possible being because there could be a being that had it (along with all the other great-making properties), and that being would be more perfect than the being that lacked it.  Elucidating precisely the concept of a property-kind is probably a bit tricky, but I intend it to be a fairly broad notion.  Having a mind is one kind of property and being extended or material is another kind.  I leave it this broad because I suspect there will be problems with saying that a perfect being will have every intrinsically good property because some properties will be incompatible (e.g. having limited freedom and having maximal freedom, being four feet tall vs. being six feet tall).  Premise (3) also strikes me as plausible.  A rock and a plant have some intrinsic value/goodness to them; a universe with these things is to some degree better than a universe without them, and not just because of what these things can do for us.  I know there are people who deny (3), e.g. W.D. Ross, who wrote in <em>The Right and the Good</em>, "the value of material things appears to be purely instrumental, not intrinsic" (p. 141).  I guess I just don't share Ross's intuition, but I'm willing to grant that sufficient disagreement about (3) may well render it unjustified.  Christians, Jews, and Muslims would seem to have motivation to accept (3) from Genesis where, after each day of creation, God looked upon his creation and "saw that it was good" (NIV).  This sounds like an acknowledgement of intrinsic value in the creation (although I'm sure there are those who will make some fancy interpretive moves and try to read it as though God sees value in his creation simply in virtue of its being his creation).</p>

<p>If the argument works, it is neutral, considered in itself, about whether pantheism or panentheism is true.  Perhaps material reality (or some part of it) is only part of God (this is panentheism), or perhaps God is somehow identical to all (or part of) material reality (this would be pantheism).  God might even have the freedom to create his own material attributes, on this view, depending on whether God is the greatest possible being contingently or by necessity.  If God is necessarily the greatest possible being, then arguably he couldn't freely choose to not be material, and so being material would somehow flow necessarily out of his essence.  (I'm conceiving of freedom in the libertarian way; if we instead suppose that God is free only in the sense that he has no outside constraints, then of course matters would be different).</p>

<p>Although (1)-(3) sound pretty plausible, I don't believe the conclusion.  But, I can't identify a clear problem with the argument.  What do you all think?  Also, are any of you aware of an argument like this in the literature?</p>]]>
    </content>
</entry>

<entry>
    <title>A taxonomy of evils</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/a-taxonomy-of-e.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6288</id>

    <published>2010-01-27T17:28:57Z</published>
    <updated>2010-01-27T18:04:32Z</updated>

    <summary>For reasons of theodicy, I&apos;d like to have a nice taxonomy of intrinsic evils that an individual might (in the epistemic sense) suffer that would raise a problem of evil. Here is an unsystematic list. What am I missing? Is there a nice systematic way to generate such a list? Moral depravity Mere deprivation Suffering Mere permanent death...</summary>
    <author>
        <name>Alexander Pruss</name>
        <uri>http://alexanderpruss.blogspot.com</uri>
    </author>
    
        <category term="Problem of Evil" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>For reasons of theodicy, I'd like to have a nice taxonomy of intrinsic evils that an individual might (in the epistemic sense) suffer that would raise a problem of evil.  Here is an unsystematic list.  What am I missing?  Is there a nice systematic way to generate such a list?
<ol>
	<li>Moral depravity</li>
                <li>Mere deprivation</li>
                <li>Suffering</li>
                <li>Mere permanent death</li>
</ol></p>
]]>
        <![CDATA[<p>Mere deprivation is where one is deprived of a good, say sight or friendship or knowledge or the fulfillment of a goal, but considered intrinsically, bracketing any suffering and effects.  Some friendless people have a mere deprivation because they don't care whether they have friends and feel happy without them, but most have suffering in addition to the mere deprivation.</p>
<p>Mere permanent death is permanent death considered intrinsically.  It is a controversial question whether permanent death deserves a category of its own.  If, for instance, what is bad about death is that it leaves one's plans unfulfilled, then a bad death is just a species of the unfulfillment of one's plans, and hence a mere deprivation, and a death that fails to leave one's plans unfulfilled isn't an evil at all.  Moreover, it is a controversial question whether humans actually suffer permanent death--I think they don't..</p>
<p>Augustine will say that all evils are a species of deprivation, and if he is right, then I can simply stipulate that "mere deprivation" is "mere deprivation other than suffering".</p>
<p>A good question to ask is whether "moral depravity" includes vices and actions that one is not culpable for having.  I am inclined to count only vices and actions that one is culpable for, and to assimilate the others to mere deprivation.</p>
<p>I can make the taxonomy be exhaustive if I stipulate that mere deprivation is any evil that isn't a suffering or a depravity or permanent death in and of itself.  That, I think, is a cheat.</p>
<p>[If you ask me which of these is the most difficult to give a theodicy for, I'd say that permanent death would be--if it happened, but it doesn't happen.  The next most difficult is a special case of suffering, namely non-veridical suffering.  I think Bob Roberts is right about emotions being something like concern-based construals, and the same is true of suffering.  But a construal is intrinsically good if it is veridical, so veridical sufferings aren't an evil at all (this is counterintuitive to an extreme).  An example of non-veridical suffering is phantom pain in amputees, or envy in sinners like myself.  (As the envy example shows, some cases of non-veridical suffering are tied to moral depravity and can be handled by the same free will tools that will handle moral depravity.  But not all are tied to moral depravity, and the remainder is what is harder to handle.)  Depravity is handled by means of free will, and mere deprivation by something like <a href="http://alexanderpruss.blogspot.com/2010/01/theodicy-for-country-of-blind.html">this</a>.]</p>]]>
    </content>
</entry>

<entry>
    <title>TT Job at U St. Thomas (MN)</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/tt-job-at-u-st.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6287</id>

    <published>2010-01-27T16:27:52Z</published>
    <updated>2010-01-27T17:19:59Z</updated>

    <summary>The University of St. Thomas Philosophy Department was just approved to run a tenure-track search this Spring, for a job starting next fall (2010). The text for the ad is below. The ad will appear on the JFP within 48 hours. Our application site hasn&apos;t yet added this position, but within 48 hours we should be up and receiving applications. The job ad is now up on the UST website, so we can now receive applications ____ Philosophy position at the University of St. Thomas, St. Paul The University of St. Thomas Philosophy Department invites applications for at least one tenure-track position to begin Sept. 2010, at the rank of assistant professor or instructor. AOS and AOC are open, but we seek individuals with strengths and interests that complement those of the current department members (we have 23 tenured/tenure-track lines). Applicants should have outstanding reasoning, teaching, and writing skills, and the virtues of collegiality. Ph.D. prior to appointment is preferred but not required. The department is committed to sustaining and developing the Catholic intellectual tradition; in this we are guided by the principles of Ex Corde Ecclesiae and Fides et Ratio. We seek candidates who share these commitments. The teaching...</summary>
    <author>
        <name>Tim Pawl</name>
        <uri>http://timpawl.googlepages.com/home</uri>
    </author>
    
        <category term="General" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="News" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Teaching" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>The University of St. Thomas Philosophy Department was just approved to run a tenure-track search this Spring, for a job starting next fall (2010).  The text for the ad is below.  The ad will appear on the JFP within 48 hours.  <strike>Our application site hasn't yet added this position, but within 48 hours we should be up and receiving applications.</strike>  The job ad is now up on the UST website, so we can now receive applications<br />
____</p>

<p>Philosophy position at the University of St. Thomas, St. Paul </p>

<p>The University of St. Thomas Philosophy Department invites applications for at least one tenure-track position to begin Sept. 2010, at the rank of assistant professor or instructor. AOS and AOC are open, but we seek individuals with strengths and interests that complement those of the current department members (we have 23 tenured/tenure-track lines). Applicants should have outstanding reasoning, teaching, and writing skills, and the virtues of collegiality. Ph.D. prior to appointment is preferred but not required. The department is committed to sustaining and developing the Catholic intellectual tradition; in this we are guided by the principles of Ex Corde Ecclesiae and Fides et Ratio. We seek candidates who share these commitments. The teaching load is six courses per year (semester system); there are standard non-teaching duties. </p>

<p>Established in 1885, the University of St. Thomas is located in the major metropolitan area of Minneapolis-St. Paul, and is Minnesota's largest private university. Its 11,000 students pursue degrees in a wide range of liberal arts, professional, and graduate programs.</p>

<p>Inspired by Catholic intellectual tradition, the University of St. Thomas educates students to be morally responsible leaders who think critically, act wisely, and work skillfully to advance the common good, and seeks to develop individuals who combine career competency with cultural awareness and intellectual curiosity. The successful candidate will possess a commitment to the ideals of this mission.</p>

<p>The University of St. Thomas has a strong commitment to the principles of diversity and inclusion, to equal opportunity policies and practices, and to the principles and goals of affirmative action. In that spirit, the University welcomes nominations and applications from a broad and diverse applicant pool.</p>

<p>Applications should be submitted online at www.stthomas.edu/jobsatust, and include 1) a cover letter that includes discussion of the candidate's commitment to sustaining and developing the Catholic intellectual tradition, 2) a curriculum vitae, 3) a sample of philosophical writing, 4) evidence of teaching effectiveness, including data from student evaluations of recent courses if available, and 5) transcripts (unofficial versions are acceptable). In addition, candidates should arrange to have at least three letters of recommendation sent, either by email to philosophy@stthomas.edu (pdf format preferred) or by mail to: Philosophy Dept. Chair - JRC 241; University of St. Thomas, 2115 Summit Ave.; St. Paul, MN 55105-1096. To be guaranteed full consideration all application materials should be received by February 11. We expect to bring finalists to campus in early March. Review of applications will continue until the position is filled. Please direct any questions to philosophy@stthomas.edu.</p>]]>
        
    </content>
</entry>

<entry>
    <title>Parallelism and Mind-Body Law-like Relations</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/parallelism-and.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6286</id>

    <published>2010-01-27T06:03:44Z</published>
    <updated>2010-01-27T16:44:01Z</updated>

    <summary>I&apos;m going a bit out on a limb and talking about stuff I haven&apos;t read too much about. But if blogs are for learning and fun discussion, I guess I don&apos;t need to be an expert! Also, this post is directed more toward people who are theists, substance dualists, and deniers of open theism....</summary>
    <author>
        <name>Andrew Moon</name>
        <uri>http://web.missouri.edu/~aym3z8/</uri>
    </author>
    
        <category term="Christian Theology" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Concept of God" scheme="http://www.sixapart.com/ns/types#category" />
    
        <category term="Divine Providence" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>I'm going a bit out on a limb and talking about stuff I haven't read too much about.  But if blogs are for learning and fun discussion, I guess I don't need to be an expert!  Also, this post is directed more toward people who are theists, substance dualists, and deniers of open theism.</p>]]>
        <![CDATA[<p>Take Leibniz's theory of pre-established harmony (also called 'parallelism'), according to which the correlation between mental and physical states occurs by way of God's predestination.  Suppose I am pricked by a needle at t5.  God also determined from the beginning of time that I would feel a pain at t5 (or very shortly after t5).  When I will to move my arm at t8, God also determined from the beginning of time that my arm move at t8.  There is no direct causal relationship between the physical event and the mental event.  Through parallelism, Leibniz has a complete story of how the mental states and physical states are well correlated; there is a pre-established harmony between the two realms.  (We can see why the denier of open theism might not like parallelism; according to open theism, there are some acts of the will that God did not know would happen, and so God could not have predetermined which physical event should occur in certain instances of free mental acts.)</p>

<p>Take another view according to which God sets up some <em>fundamental laws</em> at the beginning of time which determine some mental states to follow from certain physical states and vice versa.  Whenever certain brain states enter events of type A, then the soul feels pain.  Whenever they are in type B, then the soul feels pleasure.  Whenever a soul enters into a state of willing X, then certain brain states enter a certain state.  There is genuine causal interaction on this view.  Since I can't think of a better word, I'll call this view 'nomologism'.</p>

<p>I suspect that most theistic dualists would accept something like nomologism.  (If not, then I'm curious what most theistic dualists would hold?)</p>

<p>But I wonder why nomologism is any better than parallelism, which is widely disregarded and even mocked?  One downside of parallelism is the rejection of real causal relationships, but I'm not sure if that's so bad.  The theories are still empirically identical.  For the theistic dualist who rejects open theism, I can't see a compelling reason to hold to nomologism over parallelism.</p>

<p>For those who find intuitions about causal relationships to obviously set nomologism over parallelism, I wonder if there's any reason to accept nomologism over parallelism in addition to intuitions about causal relationships.</p>

<p>In fact, nomologism [edit: I should have said 'parallelism' here; thanks Clayton] seems to be the simpler theory in that God need not set up <em>laws</em> at the beginning of the universe, which would require determining what happens in nearby possible worlds, but simply what <em>will</em> happen in the future, which would only require determining what will happen in the actual world.</p>

<p>Anyway, for those who are more well-versed in this subject than me, I look forward to learning from you!</p>]]>
    </content>
</entry>

<entry>
    <title>Another argument against Molinism</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/another-argumen-1.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6283</id>

    <published>2010-01-25T17:16:46Z</published>
    <updated>2010-01-25T17:49:34Z</updated>

    <summary>I shall use the phrase &quot;non-derivatively libertarian-free&quot; (NDLF) to describe a libertarian-free choice that does not inherit its freedom from earlier free actions. This corresponds to Kane&apos;s Self-Forming Actions. Now consider this plausible principle: Thesis 1: If x NDLF-ly chooses A in circumstances C, and p is a proposition explanatorily prior to x&apos;s choosing A, then were x not to have NDLF-ly chosen A in C, p would still have been true. A consequence of this is the following PAP: Thesis 2: If x NDLF-ly chooses A in C, then x&apos;s failing to NDLF-ly choose A in C is logically compatible with any proposition that is explanatorily prior to x&apos;s NDLF-ly choosing A in C. (The argument from Thesis 1 to Thesis 2 is this. Suppose Thesis 2 is false. Then we have a proposition p explanatorily prior to x&apos;s NDLF-ly choosing A in C such that p entails x&apos;s NDLF-ly choosing A in C. But then x&apos;s failing to NDLF-ly choose A in C entails ~p. It is obvious that if x NDLF-ly chooses A in C, then x&apos;s NDLF-ly choosing A in C is not logically necessary. But if u entails v, then at least if u is...</summary>
    <author>
        <name>Alexander Pruss</name>
        <uri>http://alexanderpruss.blogspot.com</uri>
    </author>
    
        <category term="Molinism" scheme="http://www.sixapart.com/ns/types#category" />
    
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>I shall use the phrase "non-derivatively libertarian-free" (NDLF) to describe a libertarian-free choice that does not inherit its freedom from earlier free actions.  This corresponds to Kane's Self-Forming Actions.  Now consider this plausible principle:<br/>
<b>Thesis 1:</b> If x NDLF-ly chooses A in circumstances C, and p is a proposition explanatorily prior to x's choosing A, then were x not to have NDLF-ly chosen A in C, p would still have been true.</p>
<p>A consequence of this is the following PAP:<br/>
<b>Thesis 2:</b> If x NDLF-ly chooses A in C, then x's failing to NDLF-ly choose A in C is logically compatible with any proposition that is explanatorily prior to x's NDLF-ly choosing A in C.</p>
<p>(The argument from Thesis 1 to Thesis 2 is this.  Suppose Thesis 2 is false.   Then we have a proposition p explanatorily prior to x's NDLF-ly choosing A in C such that p entails x's NDLF-ly choosing A in C.  But then x's failing to NDLF-ly choose A in C entails ~p.  It is obvious that if x NDLF-ly chooses A in C, then x's NDLF-ly choosing A in C is not logically necessary.  But if u entails v, then at least if u is contingent, were u to hold, v would hold.  So, were x to fail to NDLF-ly choose A in C, then ~p would hold.  But by Thesis 1, it follows that were x to fail to NDLF-ly choose A in C, then p would.  But these two conditionals cannot both be true if the antecedent is possible, as it is.  So Thesis 2 cannot be false.)</p>
<p>Now on to the argument.  If Molinism holds, then the following scenario is possible:<br/>
<b>Scenario 1</b>: God believes that were he to place agent x in circumstances C, the agent would NDLF-ly choose A in C, and for that reason God in fact places agent x in circumstances C.</p>
<p>Now, assume that if p and q are explanatorily prior to r, so is the conjunction p&amp;q.  Suppose Scenario 1 holds.  Let p be the proposition that x is in C, and let q be the proposition that God believes that were God to place x in C, x would NDLF-ly choose A in C.  Then p and q are explanatorily prior to x NDLF-ly choosing A in C.  Hence so is their conjunction.  Hence, their conjunction does not entail x's NDLF-ly choosing A in C (by Thesis 2).  But, necessarily, God believes only truths.  So, q entails that were God to place x in C, x would NDLF-ly choose A in C.  By modus ponens, p&amp;q entails that x NDLF-ly chooses A in C.  Hence, p&amp;q both does and does not entail that x NDLF-ly chooses A in C, which is a contradiction.</p>
<p>This is, of course, a version of Adams' circularity-in-the-order-of-explanation argument.  Strictly speaking, it doesn't show that God can't know conditionals of free will, but only that it is incoherent to suppose him to act on that knowledge in the way indicated in Scenario 1.  Thus, the argument is compatible with a weak Molinism on which God knows the conditionals but must bracket that knowledge when choosing to act.</p>
<p>I actually don't quite buy the argument because my current view of counterfactuals does not support Thesis 1 (but neither does it support Molinism).</p>]]>
        
    </content>
</entry>

<entry>
    <title>Possible Both</title>
    <link rel="alternate" type="text/html" href="http://prosblogion.ektopos.com/archives/2010/01/possible-both.html" />
    <id>tag:prosblogion.ektopos.com,2010://3.6280</id>

    <published>2010-01-23T14:23:27Z</published>
    <updated>2010-01-23T20:52:15Z</updated>

    <summary>Lots of people have the modal intuition that there are infinitely many better and better worlds. I have it, for what it&#8217;s worth. I also have the intuition that there is a best possible world. Both seem possible, so both seem true. The good news is that we can have our cake and eat it, too. We can satisfy both intuitions. Claim: If there are infinitely many better and better worlds, then there is (also) some best (unexceeded or unsurpassed) world. Some assumptions. Let the overall intrinsic value of a world W be the sum of the intrinsic values of each temporal stage S of W. Let the intrinsic value of any stage S depend exclusively on the intrinsic facts in S. Finally, assume that for any non-overlapping stages S, S&#8217; in any world W, the intrinsic facts in S do not logically entail the intrinsic facts in S&#8217;. Effectively, we are assuming&#8212;as seems reasonable&#8212;that God can terminate any world W at any temporal stage S of W. How would the argument go that, even if there are infinitely many improving worlds, there must be a best world? For any arbitrarily chosen world Wn in the infinite sequence, there is...</summary>
    <author>
        <name>Mike Almeida</name>
        <uri>http://colfa.utsa.edu/pc/people/</uri>
    </author>
    
    <category term="bestworlds" label="best worlds" scheme="http://www.sixapart.com/ns/types#tag" />
    <category term="infinitevalue" label="infinite value" scheme="http://www.sixapart.com/ns/types#tag" />
    
    <content type="html" xml:lang="en" xml:base="http://prosblogion.ektopos.com/">
        <![CDATA[<p>Lots of people have the modal intuition that there are infinitely many better and better worlds. I have it, for what it&#8217;s worth. I also have the intuition that there is a best possible world. Both seem possible, so both seem true. The good news is that we can have our cake and eat it, too. We can satisfy both intuitions. </p>

<p>Claim: If there are infinitely many better and better worlds, then there is (also) some best (unexceeded or unsurpassed) world.</p>

<p>Some assumptions. Let the overall intrinsic value of a world W be the sum of the intrinsic values of each temporal stage S of W. Let the intrinsic value of any stage S depend exclusively on the intrinsic facts in S. Finally, assume that for any non-overlapping stages S, S&#8217; in any world W, the intrinsic facts in S do not logically entail the intrinsic facts in S&#8217;. Effectively, we are assuming&#8212;as seems reasonable&#8212;that God can terminate any world W at any temporal stage S of W. </p>

<p>How would the argument go that, even if there are infinitely many improving worlds, there must be a best world? For any arbitrarily chosen world Wn in the infinite sequence, there is a most valuable temporal stage Sn+ of Wn. A best stage S+ in W is a stage whose intrinsic value is positive and unexceeded by any other (overlapping or non-overlapping) stage in W. There is then a set B+ of the best stages of each world in the infinite sequence. We know that no temporal stage S of any world W entails any (non-overlapping) stage (recall that God can terminate W at any S). So we know that there is a world W+ composed of the stages in B+. The intrinsic value of W+ is itself unexceeded by the value of any world W in the infinite sequence (recall that the intrinsic value of any world W is the sum of the intrinsic value of its temporal stages). That concludes the proof. </p>

<p>So, if there are infinitely many improving worlds, there must be some world that is unexceeded in intrinsic value. There is then some best possible world. </p>
]]>
        

    </content>
</entry>

</feed>
