### Substance Dualism is True Only if Classical Theism is False

(Draft. Revised in light of Chris' and Jeffery's comments. Further revisions and developments -- esp. fleshing out support for the premises -- to come.)

So here's a sketch of another argument in the same vein as several others I've blogged about recently:

The basic idea is that classical theism entails that if there are any created minds, then at least one such mind was created without prior materials. Now if substance dualism is true, then minds are concrete objects. But no concrete object can be created without prior things or stuff(s). Therefore, if substance dualism is true, then classical theism is false.

To make the reasoning more concrete, let's just focus on one mind -- one from the actual world. In particular, let 'Adam's mind' denote the first finite, human mind to come into existence.  Then we can put the reasoning in standard form as follows:

1. If substance dualism is true, then all finite minds are finite concrete objects.
2. Adam's mind is a finite mind.
------------------------------------------------------------------------------------------------
3. Therefore, if substance dualism is true, then Adam's mind is a finite concrete object.
------------------------------------------------------------------------------------------------
5. Therefore, if substance dualism is true, then Adam's mind was ultimately created
from prior things or stuff.
6. Classical theism is true only if Adam's finite mind was not ultimately created
from prior things or stuff.
------------------------------------------------------------------------------------------------

7. Therefore, substance dualism is true only if classical theism is false.[1]

[1] Proof: Let: ‘D’=”substance dualism is true”; ‘Mx’ = ‘x is a finite mind; ‘Ox’ = ‘x is a finite concrete object’; ‘Cx’ = ‘x is ultimately created from prior things or stuff’; ‘T’ = ‘classical theism is true’; and let ‘a’ denote Adam’s mind – the first finite human mind. Then we have:

1. D -> (x)(Mx -> Ox)  Premise
2. Ma    Premise
3. (x)(Ox -> Cx)   Premise
4. T -> ~Ca   Premise
5.              D     Assumption
6.              (x)(Mx -> Ox)   1,5 MP
7.              Ma -> Oa   6 UQE
8.              Oa -> Ca    3 UQE
9.              Ma -> Ca    7,8 HS
10.            Ca    2,9 MP
11.            ~T v ~Ca  4 IMPL
12.            ~~Ca   10 DN
13.            ~T      , 12 DS
14. D -> ~T      5-13 CP

Hi Ex-Apologist--

I don't understand why you write this:

The basic idea is that classical theism entails that if there are any created minds, then at least one such mind was created without prior materials.

Could you please spell out how you derived that entailment>?
Chris King said…
Quick question: why, on classical theism, must at least one finite mind be created without prior things or stuff? It's not initially clear to me why that has to be the case.
I see you expanded your post. I don't know if the logical form was provided in order to my question and Chris King's question. If it was, I now have a revised version of my question. What is the justification for (4)?

It seems to me that, with respect to minds, all that theism entails is the existence of one unembodied mind (God). I don't understand why you think theism also entails the creation of at least one finite mind.

For example, why is (4) true rather than (4')?

4'. IF there is at least one finite mind, then classical theism is true only if that finite mind was created from prior things or stuff.
exapologist said…
Whoops -- sorry for the sloppy construction, Jeffery and Chris! By "at least one finite mind", I meant to denote "at least one of the actual finite minds. I was thus holding fixed the actual world. I'll fix the argument in a bit. I'll also elaborate on the premises when I get a chance.

Best,
EA

### Epicurean Cosmological Arguments for Matter's Necessity

One can find, through the writings of Lucretius, a powerful yet simple Epicurean argument for matter's (factual or metaphysical) necessity. In simplest terms, the argument is that since matter exists, and since nothing can come from nothing, matter is eternal and uncreated, and is therefore at least a factually necessary being.
A stronger version of Epicurus' core argument can be developed by adding an appeal to something in the neighborhood of origin essentialism. The basic line of reasoning here is that being uncreated is an essential property of matter, and thus that the matter at the actual world is essentially uncreated.
Yet stronger versions of the argument could go on from there by appealing to the principle of sufficient reason to argue that whatever plays the role of being eternal and essentially uncreated does not vary from world to world, and thus that matter is a metaphysically necessary being.
It seems to me that this broadly Epicurean line of reasoning is a co…

### Notes on Mackie's "Evil and Omnipotence"

0. Introduction
0.1 Mackie argues that the problem of evil proves that either no god exists, or at least that the god of Orthodox Judaism, Christianity, and Islam, does not exist. His argument is roughly the same version of the problem of evil that we’ve been considering.
0.2 Mackie thinks that one can avoid the conclusion that God does not exist only if one admits that either God is not omnipotent (i.e., not all-powerful), or that God is not perfectly good. 0.3 However, he thinks that hardly anyone will be willing to take this route. For doing so leaves one with a conception of a god that isn’t worthy of worship, and therefore not religiously significant.
0.4 After his brief discussion of his version of the problem of evil, he considers most of the main responses to the problem of evil, and concludes that none of them work.

1. First Response and Mackie's Reply
1.1 Response: Good can’t exist without evil; evil is a necessary counterpart to good.
1.2.1 this see…

### Notes on Swinburne, "On Why God Allows Evil"

Notes on Swinburne’s “Why God Allows Evil”

1. The kinds of goods a theistic god would provide: deeper goods than just “thrills of pleasure and times of contentment” (p. 90). For example:
1.1 Significant freedom and responsibility
1.1.1 for ourselves
1.1.2 for others
1.1.3 for the world in which they live
1.2 Valuable lives
1.2.1 being of significant use to ourselves
1.2.2 being of significant use to each other

2. Kinds of evil
2.1 Moral evil: all the evil caused or permitted by human beings, whether intentionally or through negligence (e.g., murder, theft, etc.)
2.2 Natural evil: all the rest: evil not caused or permitted by human beings (e.g., suffering caused by hurricanes, forest fires, diseases, animal suffering, etc.)

3. The gist of Swinburne’s answer to the problem of evil: God cannot – logically cannot -- give us the goods of significant freedom, responsibility and usefulness without thereby allowing for the possibility of lots of moral and natural evil. This is why he has al…