I don't *think* it does. It might make the third way pretty similar to the Leibnizian argument (since they both deal with contingent beings), but even then, it's not clear to me that they're identical. And of course, the first and second ways are totally different, since they begin with different data. (One might argue that the second way as I describe it is similar to Samuel Clarke's cosmological argument, since his is about dependent beings. But I'd have to do a more in-depth comparison.)
In any case, I'm more concerned with whether the arguments are sound than with whether they make Aquinas sufficiently different from Leibniz!
I agree with you that soundess is important, but I think the typology is relevant here, because if you've managed to avoid the issues that plague classical Thomistic arguments (existential inertia, quantifier shifts, gap problems, analogical language, etc) by subsumming the argument under a Leibnizian structure, then it seems that your new argumentative schema inherents all the problems that plague LCAs: defeaters to the PSR, Modal Collapse, Naturalistic PSRs, Infinite Explanatory Chains/Hume-Edwards Arguments, Problems with Necessary Existence, Naturalistic foundations of reality, etc.
I don't think all of those problems will carry over to the aggregative five ways. The modal collapse objection doesn't get off the ground, since the relevant causal principle is different. This also means that one can accept the aggregative causal principle even if one denies the more general PSR.
It's also going to be very hard to come up with a naturalistically acceptable candidate for the first way's unchanged changer. Ditto for the second way's uncaused cause, at least if we take that argument as being about essence-existence composites.
People who are sympathetic to the HEP might just deny the aggregative causal principle. But I'm not too worried about that: the HEP is very implausible when applied to causal explanation (Oberle's defenses of it only apply to grounding explanation, as far as I can tell).
I think modal collapse issues are still going to be in play; especially if we take Sobel's arguments that any contrastive or contingent fact is still going to lead to bruteness and it's going to be unclear how Theism can provide a superior explanation on this front.
I lean towards Aristotelianism, so I would just ground the relevant datum in the powers, dispositions, and effects of natural objects. See Jason Beyer's brief discussion of this on the section on teleological arguments in his "Comparison of Judeo-Christian Theism and Philosophical Naturalism as Explanatory Worldviews".
I point you here to the excellent work of Sebastian Montesinos who discusses causal defenses of the HEP and offers some good responses to Pruss's Cannonball argument.
I don't see how the causal principles employed in the aggregative five ways could possibly lead to modal collapse. Why would the plurality of all changes having a cause entail that everything is necessary? The argument for modal collapse (as given by people like van Inwagen) requires a strong PSR, which Thomists need not accept (Ed Feser's Five Proofs book actually has a useful discussion of this issue; his response is just to deny the relevant version of the PSR, since he doesn't need it for his arguments).
I'm also an Aristotelian (and, of course, so was St. Thomas). But I don't see how that's relevant to the aggregative five ways: there's nothing about Aristotelianism which implies that contingent beings don't need causes, or that the aggregative causal principle is false. Indeed, it's precisely because of his Aristotelianism that Aquinas believes that all changes need a cause (since every change is the actualization of a potentiality).
It isn't clear to me how Montesinos' defense of the HEP is meant to make trouble for the aggregative causal principle (ACP) His most important argument is that Pruss' "big conjunctive fact" is nothing over and above the individual facts which make it up. But this is consistent with the ACP: the whole point of plural reference is that it *doesn't* require us to say that the members of the plurality make up one single conjunction (Koons makes this point explicitly in his rendition of the argument). The ACP just says that if every member of the plurality has a cause, then there is a joint cause for the whole plurality (i.e. something outside of the plurality which is causally prior to every member of the plurality).
Montesinos also tries to draw distinctions between different notions of explanation, which we supposedly employ in scientific vs. everyday contexts. But this strikes me as very weak: there are good, principled reasons to expect all of the data in the five ways to have causal explanations (both individually and plurally), and given Aristotelianism, we have a pretty good grasp on what it is we're asking for. There's no ambiguity here, of the sort which Montesinos wants to appeal to. It's not like Aquinas only wanted to causally explain change because he was illicitly importing his everyday notion of explanation into a scientific context; rather, he had good *philosophical* grounds for thinking that there had to be a cause!
This nicely gets to the core of the arguments, as well as the heart of my worries. I am quite convinced that (at least most of) the aggregates mentioned above are subject to set-theoretical paradoxes and I don’t know if this can be resolved by plural quantification. I would love to be able to endorse these arguments though
Why do you think the relevant aggregates are subject to set-theoretic paradoxes? As long as we're careful to ensure that the pluralities themselves don't meet their own membership criteria, I think we should be fine. And the pluralities here clearly don't: the plurality of all actualizations-of-potency is not an actualization of potency, the plurality of all caused substances is not a caused substance, and the plurality of all contingent substances is not a contingent substance! (I've rephrased some things in the post itself to make this clearer.)
It seems to me that in order for the principle(s) to be plausible, they would have to be about facts, not substances. It’s easy to move from each contingent fact has a cause to the total contingent fact has a cause since both are facts. Moving from substances needing causes to a non-substance needing a cause is more suspicious. But, if we keep it to facts, then the set of all contingent facts is formally equivalent to the set of all facts (as proven by Oppy and Tomaszewski), so that’s a no-go.
So, that’s the dilemma I find myself in. Either this is a principle about facts, in which case I think we will end up with a set of sets, or we do substances and the aggregation principle loses a lot of its plausibility.
I think even if you take the argument to be about facts, you can avoid the set-theoretic worries. The explananda of the arguments (on a fact-based reading) aren't big conjunctive facts or sets of facts: they're *pluralities* of facts, which don't run into the sorts of worries raised by Oppy and Tomaszewski. Now, you say you don't know if your worries can be resolved by plural quantification, but it seems very likely to me that they can. At least, we'd better *hope* that they can; after all, we want some way to talk about totality of all true propositions without saying that those true propositions comprise a set (which, as Grim showed, they don't).
Also, you can have some worries about plural quantification while still (at least tenatively) endorsing these arguments. Pruss and Rasmussen are two of the most notable advocates of these sorts of arguments, and they wrote a whole paper ("Problems with Plurals") about difficulties with plural quantification.
I meant that I am skeptical of plural quantification as a thing. I don’t doubt that plural quantification would solve the problem. I just don’t know if plural quantification itself should be accepted.
Ah, that clarifies things. I'm obviously sympathetic to plural quantification, but I understand how rejecting it would make one skeptical about these arguments. What makes you hesitant to accept plural quantification?
Plural quantification strikes me as too easy. The solutions seem too cheap. Other times, plural quantification just looks like higher-order logic by another name, and I have better reasons to reject higher-order logics. And, admittedly, I was never trained in plural systems, so they’re still foreign to me. If I actually took the time to learn the systems, I could become more open to them. That’s just a me problem.
This is an interesting interpretation of the arguments, but I don't really see any reason to believe in Premise 1. Dependent things can add up to an independent whole if they're only dependent on each other, rather than some external factor. The argument seems to assume that pluralities of dependent things are finite, such that you can trace back the causes of each element to things that aren't causally dependent on any member of the plurality.
So I don't see why Premise 1 would be any less controversial than the other premises used in cosmological arguments. And of course, Premise 2 is also going to be controversial in most cases, aside from the tautological ones.
Hi there! The first premise doesn't assume that the pluralities are finite; we can use plural quantification to pick out an infinite plurality, and then demand an explanation for that plurality. The first premise just says that if you can legitimately demand a cause for each x, then you can demand a cause for the whole series. That holds whether or not there are infinitely many x's.
Here's a reason (aside from its intuitive appeal) to believe premise 1. (This argument was suggested to me by Matthew Adelstein.) Suppose we think that an infinite chain of x's can still count as fully explained, so long as each individual x has a cause. Then we can take two hypotheses: #1 says that things will carry on as normal, #2 says that an infinite chain of fairies will pop into existence in the next moment. Since (plausibly) only unexplained posits add to a theory's complexity, these two theories are equally simple, and so (seemingly) equally probable. This threatens to undermine induction.
Things get even worse if we accept Pruss' argument that one cannot assign probabilities to uncaused events: in that case, we can't say anything about the probability of an infinite chain of dependent things popping into existence. That seems like a serious problem for science, induction, etc.
The reason I considered the argument to rely on the pluralities being finite is because I interpreted the intuition behind it to be the following: For any collection of caused things, you can trace back the causes of each thing until you get something that doesn't depend causally on any other member of the collection. Then the plurality of these traced-back causes can be said to have caused the first plurality to exist, assuming transitivity of causes and assuming that, if each member of a plurality is caused by something independent of the plurality, then the plurality of independent causes caused the original plurality.
That argument is valid if you assume that the plurality is finite and that circular causation doesn't exist, but it's invalid if the plurality is infinite. So that was my reasoning for thinking that Premise 1 assumes that the plurality is finite. Of course, it doesn't *entail* that the plurality is finite, but it seems hard to motivate otherwise, and I don't even think it's intuitive otherwise (since I think whatever intuitive force it has above and beyond other proposed causal principles comes from the intuitive understanding of the above argument).
I agree that an infinite causal chain is not explained by the causal relations between the elements of the chain, but that doesn't get us to Premise 1 unless we accept the PSR (which I think there are very good reasons to reject). And if you already accept the PSR, Premise 1 is not really necessary. You can, for example, just make the contingency argument directly from the PSR.
I agree with you that the particular argument you mention only works for finite chains. When it comes to infinite chains, I think there are two motivations for accepting the aggregative causal principle:
(1) I find it highly intuitive, and I *think* this intuition is fairly widely shared (see e.g. the quoted passages from Rasmussen and Clarke). Suppose Aristotle had been right, and all of the species existed unchanged throughout an infinite past. This means that for any given dog, there would always be some prior dogs that caused it. But it still seems obvious that we could legitimately ask why there are any dogs at all!
(2) The argument about infinite chains popping into existence, which I mentioned in my previous comment. Either you think that infinite causal chains are sufficiently explained by their internal causal relations, or not. If so, then you face the induction problem that I mentioned. If not, then you face the problem that Pruss discusses, based on the impossibility of assigning probabilities to uncaused events. Either way, the supposition that there can be an infinite uncaused chain is problematic. (You might wonder whether we get a similar problem for theists, since we think that God is uncaused. But I'm a Thomist, and I think there are principled reasons for saying that it's metaphysically impossible for there to be more than one God. In addition, God is timeless, so we don't have the problem of a new God "popping into existence.")
I'm sensitive to the worry that this turns the five ways into the standard contingency argument (another commenter made that same suggestion). I think the main thing to say here is that the first and second ways deal with different data from the contingency argument (i.e. change and efficient causality, respectively). So even if the third way ends up being like the Leibnizian argument, the first two are substantively different. The aggregative five ways also don't assume a strong PSR: all you need is the claim that various sorts of things (i.e. changes, effects, and contingent things) need efficient causes, and that aggregates of caused things are also caused. This allows for the possibility of brute facts in various domains (e.g. you couldn't run Della Rocca's Parmenidean argument using these causal principles).
Eh. That's not the problem. The problem with philosophical theism is that are they actually talking about Yahwe? Consider the doctrine of divine simplicity, that god does not contain of parts and does not change. Does not get angry over your sins and does not forgive as those are changes. Is that really Yahwe?
After giving the five ways, Aquinas spends the next batch of articles arguing that the first cause must have the traditional divine attributes, including intellect and will. He also discusses analogical prediction, which explains how we truthfully say things like "God is angry" while also accepting divine simplicity. Hope that helps!
The ACP is using plural reference: in addition to individual facts/substances/events, we can also refer to pluralities of facts/substances/events, and ask for explanations of those pluralities. The papers by Koons and Pruss in the second footnote will likely be of some assistance here. See also the SEP article on plural quantification: https://plato.stanford.edu/entries/plural-quant/
Doesn't this basically shift all the five ways into a Leibnizian-De-Ente style argument?
I don't *think* it does. It might make the third way pretty similar to the Leibnizian argument (since they both deal with contingent beings), but even then, it's not clear to me that they're identical. And of course, the first and second ways are totally different, since they begin with different data. (One might argue that the second way as I describe it is similar to Samuel Clarke's cosmological argument, since his is about dependent beings. But I'd have to do a more in-depth comparison.)
In any case, I'm more concerned with whether the arguments are sound than with whether they make Aquinas sufficiently different from Leibniz!
I agree with you that soundess is important, but I think the typology is relevant here, because if you've managed to avoid the issues that plague classical Thomistic arguments (existential inertia, quantifier shifts, gap problems, analogical language, etc) by subsumming the argument under a Leibnizian structure, then it seems that your new argumentative schema inherents all the problems that plague LCAs: defeaters to the PSR, Modal Collapse, Naturalistic PSRs, Infinite Explanatory Chains/Hume-Edwards Arguments, Problems with Necessary Existence, Naturalistic foundations of reality, etc.
I don't think all of those problems will carry over to the aggregative five ways. The modal collapse objection doesn't get off the ground, since the relevant causal principle is different. This also means that one can accept the aggregative causal principle even if one denies the more general PSR.
It's also going to be very hard to come up with a naturalistically acceptable candidate for the first way's unchanged changer. Ditto for the second way's uncaused cause, at least if we take that argument as being about essence-existence composites.
People who are sympathetic to the HEP might just deny the aggregative causal principle. But I'm not too worried about that: the HEP is very implausible when applied to causal explanation (Oberle's defenses of it only apply to grounding explanation, as far as I can tell).
I think modal collapse issues are still going to be in play; especially if we take Sobel's arguments that any contrastive or contingent fact is still going to lead to bruteness and it's going to be unclear how Theism can provide a superior explanation on this front.
I lean towards Aristotelianism, so I would just ground the relevant datum in the powers, dispositions, and effects of natural objects. See Jason Beyer's brief discussion of this on the section on teleological arguments in his "Comparison of Judeo-Christian Theism and Philosophical Naturalism as Explanatory Worldviews".
I point you here to the excellent work of Sebastian Montesinos who discusses causal defenses of the HEP and offers some good responses to Pruss's Cannonball argument.
https://www.youtube.com/watch?v=tKwtCxjF3HY
I don't see how the causal principles employed in the aggregative five ways could possibly lead to modal collapse. Why would the plurality of all changes having a cause entail that everything is necessary? The argument for modal collapse (as given by people like van Inwagen) requires a strong PSR, which Thomists need not accept (Ed Feser's Five Proofs book actually has a useful discussion of this issue; his response is just to deny the relevant version of the PSR, since he doesn't need it for his arguments).
I'm also an Aristotelian (and, of course, so was St. Thomas). But I don't see how that's relevant to the aggregative five ways: there's nothing about Aristotelianism which implies that contingent beings don't need causes, or that the aggregative causal principle is false. Indeed, it's precisely because of his Aristotelianism that Aquinas believes that all changes need a cause (since every change is the actualization of a potentiality).
It isn't clear to me how Montesinos' defense of the HEP is meant to make trouble for the aggregative causal principle (ACP) His most important argument is that Pruss' "big conjunctive fact" is nothing over and above the individual facts which make it up. But this is consistent with the ACP: the whole point of plural reference is that it *doesn't* require us to say that the members of the plurality make up one single conjunction (Koons makes this point explicitly in his rendition of the argument). The ACP just says that if every member of the plurality has a cause, then there is a joint cause for the whole plurality (i.e. something outside of the plurality which is causally prior to every member of the plurality).
Montesinos also tries to draw distinctions between different notions of explanation, which we supposedly employ in scientific vs. everyday contexts. But this strikes me as very weak: there are good, principled reasons to expect all of the data in the five ways to have causal explanations (both individually and plurally), and given Aristotelianism, we have a pretty good grasp on what it is we're asking for. There's no ambiguity here, of the sort which Montesinos wants to appeal to. It's not like Aquinas only wanted to causally explain change because he was illicitly importing his everyday notion of explanation into a scientific context; rather, he had good *philosophical* grounds for thinking that there had to be a cause!
This nicely gets to the core of the arguments, as well as the heart of my worries. I am quite convinced that (at least most of) the aggregates mentioned above are subject to set-theoretical paradoxes and I don’t know if this can be resolved by plural quantification. I would love to be able to endorse these arguments though
Why do you think the relevant aggregates are subject to set-theoretic paradoxes? As long as we're careful to ensure that the pluralities themselves don't meet their own membership criteria, I think we should be fine. And the pluralities here clearly don't: the plurality of all actualizations-of-potency is not an actualization of potency, the plurality of all caused substances is not a caused substance, and the plurality of all contingent substances is not a contingent substance! (I've rephrased some things in the post itself to make this clearer.)
It seems to me that in order for the principle(s) to be plausible, they would have to be about facts, not substances. It’s easy to move from each contingent fact has a cause to the total contingent fact has a cause since both are facts. Moving from substances needing causes to a non-substance needing a cause is more suspicious. But, if we keep it to facts, then the set of all contingent facts is formally equivalent to the set of all facts (as proven by Oppy and Tomaszewski), so that’s a no-go.
So, that’s the dilemma I find myself in. Either this is a principle about facts, in which case I think we will end up with a set of sets, or we do substances and the aggregation principle loses a lot of its plausibility.
I think even if you take the argument to be about facts, you can avoid the set-theoretic worries. The explananda of the arguments (on a fact-based reading) aren't big conjunctive facts or sets of facts: they're *pluralities* of facts, which don't run into the sorts of worries raised by Oppy and Tomaszewski. Now, you say you don't know if your worries can be resolved by plural quantification, but it seems very likely to me that they can. At least, we'd better *hope* that they can; after all, we want some way to talk about totality of all true propositions without saying that those true propositions comprise a set (which, as Grim showed, they don't).
Also, you can have some worries about plural quantification while still (at least tenatively) endorsing these arguments. Pruss and Rasmussen are two of the most notable advocates of these sorts of arguments, and they wrote a whole paper ("Problems with Plurals") about difficulties with plural quantification.
I meant that I am skeptical of plural quantification as a thing. I don’t doubt that plural quantification would solve the problem. I just don’t know if plural quantification itself should be accepted.
Ah, that clarifies things. I'm obviously sympathetic to plural quantification, but I understand how rejecting it would make one skeptical about these arguments. What makes you hesitant to accept plural quantification?
Plural quantification strikes me as too easy. The solutions seem too cheap. Other times, plural quantification just looks like higher-order logic by another name, and I have better reasons to reject higher-order logics. And, admittedly, I was never trained in plural systems, so they’re still foreign to me. If I actually took the time to learn the systems, I could become more open to them. That’s just a me problem.
This is an interesting interpretation of the arguments, but I don't really see any reason to believe in Premise 1. Dependent things can add up to an independent whole if they're only dependent on each other, rather than some external factor. The argument seems to assume that pluralities of dependent things are finite, such that you can trace back the causes of each element to things that aren't causally dependent on any member of the plurality.
So I don't see why Premise 1 would be any less controversial than the other premises used in cosmological arguments. And of course, Premise 2 is also going to be controversial in most cases, aside from the tautological ones.
Hi there! The first premise doesn't assume that the pluralities are finite; we can use plural quantification to pick out an infinite plurality, and then demand an explanation for that plurality. The first premise just says that if you can legitimately demand a cause for each x, then you can demand a cause for the whole series. That holds whether or not there are infinitely many x's.
Here's a reason (aside from its intuitive appeal) to believe premise 1. (This argument was suggested to me by Matthew Adelstein.) Suppose we think that an infinite chain of x's can still count as fully explained, so long as each individual x has a cause. Then we can take two hypotheses: #1 says that things will carry on as normal, #2 says that an infinite chain of fairies will pop into existence in the next moment. Since (plausibly) only unexplained posits add to a theory's complexity, these two theories are equally simple, and so (seemingly) equally probable. This threatens to undermine induction.
Things get even worse if we accept Pruss' argument that one cannot assign probabilities to uncaused events: in that case, we can't say anything about the probability of an infinite chain of dependent things popping into existence. That seems like a serious problem for science, induction, etc.
The reason I considered the argument to rely on the pluralities being finite is because I interpreted the intuition behind it to be the following: For any collection of caused things, you can trace back the causes of each thing until you get something that doesn't depend causally on any other member of the collection. Then the plurality of these traced-back causes can be said to have caused the first plurality to exist, assuming transitivity of causes and assuming that, if each member of a plurality is caused by something independent of the plurality, then the plurality of independent causes caused the original plurality.
That argument is valid if you assume that the plurality is finite and that circular causation doesn't exist, but it's invalid if the plurality is infinite. So that was my reasoning for thinking that Premise 1 assumes that the plurality is finite. Of course, it doesn't *entail* that the plurality is finite, but it seems hard to motivate otherwise, and I don't even think it's intuitive otherwise (since I think whatever intuitive force it has above and beyond other proposed causal principles comes from the intuitive understanding of the above argument).
I agree that an infinite causal chain is not explained by the causal relations between the elements of the chain, but that doesn't get us to Premise 1 unless we accept the PSR (which I think there are very good reasons to reject). And if you already accept the PSR, Premise 1 is not really necessary. You can, for example, just make the contingency argument directly from the PSR.
I agree with you that the particular argument you mention only works for finite chains. When it comes to infinite chains, I think there are two motivations for accepting the aggregative causal principle:
(1) I find it highly intuitive, and I *think* this intuition is fairly widely shared (see e.g. the quoted passages from Rasmussen and Clarke). Suppose Aristotle had been right, and all of the species existed unchanged throughout an infinite past. This means that for any given dog, there would always be some prior dogs that caused it. But it still seems obvious that we could legitimately ask why there are any dogs at all!
(2) The argument about infinite chains popping into existence, which I mentioned in my previous comment. Either you think that infinite causal chains are sufficiently explained by their internal causal relations, or not. If so, then you face the induction problem that I mentioned. If not, then you face the problem that Pruss discusses, based on the impossibility of assigning probabilities to uncaused events. Either way, the supposition that there can be an infinite uncaused chain is problematic. (You might wonder whether we get a similar problem for theists, since we think that God is uncaused. But I'm a Thomist, and I think there are principled reasons for saying that it's metaphysically impossible for there to be more than one God. In addition, God is timeless, so we don't have the problem of a new God "popping into existence.")
I'm sensitive to the worry that this turns the five ways into the standard contingency argument (another commenter made that same suggestion). I think the main thing to say here is that the first and second ways deal with different data from the contingency argument (i.e. change and efficient causality, respectively). So even if the third way ends up being like the Leibnizian argument, the first two are substantively different. The aggregative five ways also don't assume a strong PSR: all you need is the claim that various sorts of things (i.e. changes, effects, and contingent things) need efficient causes, and that aggregates of caused things are also caused. This allows for the possibility of brute facts in various domains (e.g. you couldn't run Della Rocca's Parmenidean argument using these causal principles).
Eh. That's not the problem. The problem with philosophical theism is that are they actually talking about Yahwe? Consider the doctrine of divine simplicity, that god does not contain of parts and does not change. Does not get angry over your sins and does not forgive as those are changes. Is that really Yahwe?
After giving the five ways, Aquinas spends the next batch of articles arguing that the first cause must have the traditional divine attributes, including intellect and will. He also discusses analogical prediction, which explains how we truthfully say things like "God is angry" while also accepting divine simplicity. Hope that helps!
Is the word plurality being used in some technical sense here? because I'm having trouble grokking what exactly the ACP involves
The ACP is using plural reference: in addition to individual facts/substances/events, we can also refer to pluralities of facts/substances/events, and ask for explanations of those pluralities. The papers by Koons and Pruss in the second footnote will likely be of some assistance here. See also the SEP article on plural quantification: https://plato.stanford.edu/entries/plural-quant/
Thank you!