Ibn Sīnā apresenta seus argumentos para a existência de Deus em vários de seus escritos, principalmente na Metafísica do Cura (Al-Ilāhiyāt al-Shifā‘), em O Livramento (Al-Najāh) e em As Indicações e os Lembretes (Al-Ishārāt wa al-tanbīhāt). Essas obras tratam também de muitos outros temas, como lógica, matemática e filosofia natural. Ibn Sīnā emprega uma variedade de argumentos diferentes nesses escritos: alguns argumentam a favor da existência de Deus a partir do movimento (inspirados em Aristóteles), outros a partir da causalidade, e ainda outros a partir da composição (que é um importante corolário dos argumentos que recorrem à causalidade). Neste capítulo, delinearei brevemente os argumentos de Ibn Sīnā extraídos dessas fontes, considerando tanto a relevância quanto a função de seus argumentos em relação aos debates contemporâneos entre ateus e teístas. O objetivo dos Capítulos 1 e 2 é demonstrar por que esta versão particular do argumento é especialmente valiosa nesses debates. A intenção é fornecer aos teístas um arsenal intelectual que atualmente está pouco desenvolvido ou completamente ausente tanto na literatura acadêmica das publicações de Filosofia da Religião quanto nos debates públicos mais famosos entre teístas e ateus no último século. Ao ler Ibn Sīnā, deve-se ter em mente que ele frequentemente alterna entre a escrita informativa e a escrita persuasiva. Por isso, é preciso ter cuidado para não confundir as taxonomias lógicas e metafísicas de Ibn Sīnā (que pretendem ser esclarecimentos objetivos) com seus argumentos formais. Como exemplo, o sexto capítulo da Metafísica do Cura de Ibn Sīnā foi interpretado equivocadamente como um argumento, quando a intenção de Ibn Sīnā era, muito provavelmente, apenas taxonômica. A esse respeito, Daniel De Haan afirma:

Ibn Sīnā presents his arguments for God’s existence in a number of his writings, mainly in Metaphysics of the Cure (Al-Ilāhiyāt al-Shifā‘), The Deliverance (Al-Najāh), and The Pointers and Reminders (Al-Ishārāt wa al-tanbīhāt). These works address many other topics as well, like logic, mathematics, and natural philosophy. Ibn Sīnā employs a range of different arguments in these writings: some of which argue for God’s existence from motion (inspired by Aristotle), others from causation, and even others from composition (which is an important corollary to arguments appealing to causation). In this chapter, I will briefly outline Ibn Sīnā’s arguments from these sources, referring to both the relevance and function of his arguments in relation to contemporary debates between atheists and theists. The aim of Chapters 1 and 2 is to demonstrate why this particular rendition of the argument is particularly valuable in these debates. The intention is to provide theists intellectual ammunition that is currently either under-developed or completely lacking in both academic literature found in Philosophy of Religion publications and the most famous public engagements between theists and atheists in the last century. When reading Ibn Sīnā, one must keep in mind that he often switches from informative to persuasive writing. Accordingly, one must be careful not to conflate Ibn Sīnā’s logical and metaphysical taxonomies (which are intended as matter-of-fact clarifications) and his formal arguments. As an example, the 6th chapter of Ibn Sīnā’s Metaphysics of the Cure has been misunderstood to be an argument, where Ibn Sīnā’s intention was most probably simply taxonomical. On this point, Daniel De Haan states:

A análise de Avicena sobre existência necessária e possível em Ilāhiyyāt I.6–7 não poderia ser uma demonstração formal da existência de Deus, uma vez que esses capítulos se orientam para fornecer-nos percepções sobre os verdadeiros primeiros princípios da metafísica.5

…Avicenna’s analysis of necessary and possible existence in Ilāhiyyāt I.6– 7 could not be a formal demonstration for God’s existence since these chapters are oriented towards providing us with insights into the proper first principles of metaphysics.5

Outros estudiosos de Ibn Sīnā, como Fazlur Rahman6

Other scholars of Ibn Sīnā, such as Fazlur Rahman6

e Parvis Morewedge7

and Parvis Morewedge7

considere este tipo de classificação um argumento por si só.8

regard this kind of classification as an argument in and of itself.8

Não há dúvida de que existe a existência. Tudo o que existe é ou contingente ou necessário. Se é necessário, então a busca pela existência necessária está completa. Se é contingente, esclarecerei que essa existência contingente acabará por remeter a uma existência necessária. Antes disso, apresentarei premissas (para provar esta tese). Entre essas premissas está [a afirmação de] que é impossível que uma regressão infinita de causas dê conta de uma existência contingente. Isso porque todas as existências contingentes ou existem todas ao mesmo tempo, ou não existem ao mesmo tempo. Se não existem todas ao mesmo tempo e são infinitas, uma precedendo a outra, trataremos desta questão em outra seção deste livro. Se estão todas juntas e não há existência necessária no conjunto, [descobrimos que] após uma análise exaustiva [e quer seja finito ou infinito] o conjunto [de coisas contingentes] pode ser composto ou de coisas contingentes ou de coisas necessárias. Se, no conjunto, há uma existência necessária e todas as demais coisas do conjunto são contingentes, será tal que a existência necessária prevalece sobre todas as existências contingentes. Se o conjunto é composto somente de existências contingentes, então exige aquilo que fornece a existência. Isso pode estar dentro do conjunto de existências contingentes ou fora dele. Se estiver dentro do conjunto, isso já foi elaborado. Ou [poderia ser] que seja uma existência contingente tal que seja a causa do conjunto, e a causa do conjunto é, por extensão, a causa de todas as suas partes constituintes. Se estiver dentro do conjunto [ou for o próprio conjunto] – ainda que isso seja impossível – esta linha de argumentação ainda poderia ser válida, de modo que, por uma perspectiva, terá cumprido o objetivo ao fazer esta conclusão (isto é, porque isso teria provado a existência do ser necessário). Isso porque tudo o que é autossuficiente (ou seja, o conjunto em questão) é uma existência necessária. E a existência necessária não pode ser isto; também é impossível que uma existência contingente possa existir fora do conjunto, já que o conjunto é, por definição, a reunião de todas as existências contingentes. Portanto, aquilo que fornece a existência deve estar fora dele, assim como ser necessário em essência. Assim, o conjunto de existências contingentes culmina na necessidade de uma existência necessária fora do conjunto para explicá-lo. Não é o caso de que todo efeito contingente tenha uma causa contingente, num regresso infinito.9

In what is perhaps the most comprehensive, yet concise passage written by the Persian philosopher demonstrating God’s existence, we find Ibn Sīnā state in The Deliverance: There is no doubt that there is existence. Everything that exists is either contingent or necessary. If it is necessary, then the pursuit of the necessary existence is complete. If it is contingent, I will make clear that this contingent existence will ultimately return back to a necessary existence. Before this, I will present premises (to prove this thesis). Among these premises is [the assertion] that it is impossible for an infinite regress of causes to account for a contingent existence. That is because all contingent existences either all exist at once or do not exist at once. If they do not all exist at once and they are infinite, one preceding another, we will deal with this matter in another section of this book. If they are all together and there is no necessary existence in the set, [we find that] upon exhaustive analysis [and whether or not it is finite or infinite] the set [of contingent things] can either be composed of contingent things or necessary things. If, in the set, there is a necessary existence and all other things in the set are contingent it will be such that the necessary existence overrides all of the contingent existences. If the set is composed of only contingent existences, then it requires that which supplies existence. This can either be in the set of contingent existences or outside of the set. If it is inside the set, then this has already been elaborated upon. Or, [it could be] that it is a contingent existence such that it is the cause of the set, and the cause of the set is by extension the cause of all of its constituent parts. If it is inside the set [or is the set itself] – even though this is impossible – this line of argumentation could still be valid, so from one perspective then one will have fulfilled the object in making this conclusion (i.e. because this would have proven the existence of the necessary existence). This is because anything that is self-sufficient (i.e. the set in question) is a necessary existence. And the necessary existence cannot be this; it is also impossible that a contingent existence can exist outside the set, as the set is by definition a collation of all contingent existences. Therefore, it (the supplier of existence) must be outside of it as well as necessary in essence. Thus, the set of contingent existences has culminated in the need for a necessary existence outside of the set in order to explain it. It is not the case that every contingent effect has a contingent cause as a matter of infinite regress.9

A primeira etapa do discurso de Ibn Sīnā consiste em estabelecer a "existência" como a categoria de análise mais fundamental, transcendental e universal. A primeira grande postulação que Ibn Sīnā faz é afirmar que "não é possível haver uma regressão infinita de causas para uma existência contingente".10 Para isso, Ibn Sīnā emprega um tipo de raciocínio semelhante à teoria dos conjuntos, reunindo todos os membros de uma descrição específica num único conjunto e analisando esse conjunto depois. Sobre este ponto relativo às existências "possíveis" ou "contingentes", Ibn Sīnā afirma:

The first stage of Ibn Sīnā’s discourse is to establish ‘existence’ as the most foundational, transcendental, and universal category of analysis. The first major postulation which Ibn Sīnā makes is to state that ‘it is not possible for there to be an infinite regress of causes for a contingent existence’.10 Ibn Sīnā employs a set theory type of reasoning for this, gathering together all members of a specific description in one set and analysing that set thereafter. On this point regarding ‘possible’ or ‘contingent’ existences, Ibn Sīnā states:

Se eles estão todos juntos e não há existência necessária no conjunto, [descobrimos que], após uma análise exaustiva [e quer seja finito ou infinito], o conjunto [de coisas contingentes] pode ser composto ou de coisas contingentes ou de coisas necessárias.11

If they are all together and there is no necessary existence in the set, [we find that] upon exhaustive analysis [and whether or not it is finite or infinite], the set [of contingent things] can either be composed of contingent things or necessary things.11

Em termos simples, um conjunto de um tipo de coisas exclui outros tipos. Por exemplo, um conjunto de cadeiras exclui mesas. Da mesma forma, um conjunto de canetas exclui lápis. Em última análise, isso significa que um conjunto de existências contingentes exclui existências necessárias, e vice-versa. Ibn Sīnā afirma que, se de algum modo uma existência necessária pudesse existir no conjunto de existências impossíveis (o que é logicamente impossível), isso seria uma proposição contraintuitiva para qualquer pessoa que pretenda negar tal existência necessária. Ibn Sīnā segue sugerindo que, assim como é impossível que uma existência necessária esteja representada num conjunto composto apenas de existências contingentes, também é impossível que uma existência contingente não esteja representada pelo conjunto de todas as existências contingentes. Estabelecido esse fundamento, Ibn Sīnā conclui que "o conjunto de existências contingentes culmina na necessidade de uma existência necessária fora do conjunto para explicá-lo".12 Resumindo ainda mais o argumento, Herbert Davidson menciona o argumento de Ibn Sīnā como apontando que "os seres possivelmente existentes são rastreáveis até uma existência necessária (em virtude de si mesma)… algo existe que é uma existência possível em virtude de si mesma; portanto, algo existe que é rastreável até um ser necessário em virtude de si mesmo".13

Simply put, a set of one type of things excludes other types. For example, a set of chairs excludes tables. Likewise, a set of pens excludes pencils. Ultimately, this means that a set of contingent existences excludes necessary existences and vice versa. Ibn Sīnā states that if somehow a necessary existence can exist in the set of impossible existence (though this is logically impossible), this would be a counterintuitive proposition to make for anyone who aims to deny such a necessary existence. Ibn Sīnā goes on to suggest that just as it is as impossible for a necessary existence to be represented in a set of only contingent existences, it is also impossible for a contingent existence not to be represented by the set of all contingent existences. With this groundwork put in place, Ibn Sīnā concludes that ‘the set of contingent existences has culminated in the need for a necessary existence outside of the set in order to explain it’.12 Summarising the argument further, Herbert Davidson mentions Ibn Sīnā’s argument as pointing that ‘possibly existent beings are traceable to a necessary existence (by virtue of itself)…something exists which is a possible existence by virtue of itself; therefore something exists which is traceable to a necessary being by virtue of itself’.13

Apesar disso, talvez seja um bom ponto de partida para compreender as divisões metafísicas e a forma como Ibn Sīnā categoriza a existência, pois isso efetivamente prepara o terreno para o seu argumento. A respeito desse assunto, Ibn Sīnā começa o 6º capítulo de Metafísica do Cura definindo o que constitui a 'existência necessária', afirmando:

Notwithstanding this, it is perhaps a good place to start understanding the metaphysical compartmentalisations and how Ibn Sīnā categorises existence, as this effectively lays the groundwork for his argument. Regarding this matter, Ibn Sīnā starts the 6th chapter of Metaphysics of the Cure by defining what constitutes ‘necessary existence’ by stating:

Dizemos que a existência necessária é não causada, ao passo que uma "existência contingente" é causada, e que a existência necessária é necessária em todos os modos e perspectivas concebíveis. A sua existência não pode ser resultado da existência de qualquer outra coisa. Se assim fosse, seria como se cada uma dessas duas coisas (ou seja, a suposta existência necessária em questão e aquilo de que ela resultaria) fosse igual em termos de existência e interdependente da outra. E não é racionalmente possível que a existência necessária seja resultado de muitas coisas. A existência necessária não pode, de modo coerente, ser "a realidade" que tenha qualquer aspecto em comum com aquilo que não é necessário. Assim, para ser classificada como "necessária", a existência necessária não pode ser acrescentada a algo, construída, mutável, divisível, nem um dos múltiplos contribuintes para a sua própria existência que lhe seja específico.14

So we say that the necessary existence is uncaused, whereas a ‘contingent existence’ is caused, and that the necessary existence is necessary in all possible ways and perspectives conceivable. Its existence cannot be a result of the existence of anything else. If that were so, it would be as if each of those two things (i.e. the supposed necessary existence in question and the thing which it results from) are equal in terms of existence and interdependent of each other. And it is not cogently possible for the necessary existence’s existence to be as a result of many things. The necessary existence cannot cogently be ‘the reality’ that has any common aspect of it (with that which is not necessary). Thus, in order to be classified as ‘necessary’, the necessary existence cannot be added upon, constructed, mutable, divisible, or one of multiple contributors to its own existence which is specific to it.14

Em *Al-Ishārāt wa al-Tanbīhāt*, Ibn Sīnā começa com uma classificação do que é possível ou ‘contingente’, do *muḥāl* ou ‘impossível’ (como um círculo quadrado) e do necessário.15 Num sentido semelhante, na sua *Metafísica*, Ibn Sīnā passa a falar diretamente das especificidades modais da existência necessária: Quanto à existência necessária, ela não tem causa. Isto porque, se tivesse uma causa, a sua existência seria por causa dela. Tudo o que é considerado essencialmente por si mesmo, e cuja existência não é necessária em si, não pode ser uma ‘existência necessária’… portanto, ficou claro que uma existência necessária é não causada. Como corolário disto, não é possível que uma coisa seja uma existência necessária em si mesma e também por causa de outra coisa… Além disso, [quanto a] tudo o que é uma existência contingente em essência, tanto a sua existência como a sua não existência aconteceriam por causa de uma causa. Isto porque, se a [coisa contingente] pode ser situada, então a sua existência pode ser discernida do nada (ou da falta da sua existência), e se ela não está em existência, então a sua não existência seria discernível da sua existência. Assim, uma enumeração exaustiva das opções sugere que a sua existência ou falta de existência seria causada por algo outro ou não. Se é por algo outro, então esse algo outro é a causa dela. E se não é por algo outro, então ela mesma é a existência necessária.16

In The Pointers and Reminders, Ibn Sīnā starts off with a classification of that which is possible or ‘contingent’, muḥāl or ‘impossible’ (like a square circle), and necessary.15 On a similar note, in his Metaphysics Ibn Sīnā moves on to speaking directly of the modal specialities of the necessary existence: As for the necessary existence, it has no cause. This is because, if it had a cause, its existence would be because of it. Anything which is considered essentially by itself and its existence is not necessary in itself cannot be a ‘necessary existence’…so it has been made clear that a necessary existence is uncaused. As a corollary to this, it is not possible that a thing is a necessary existence in and of itself and also because of another thing…Moreover, [regarding] anything that is a contingent existence in essence, both its existence or non-existence would come about because of a cause. This is because if the [contingent] thing can be located, then its existence can be discerned from nothingness (or lack of its existence), and if it is not in existence, then its non-existence would be discernible from its existence. So, an exhaustive rendering of the options would suggest that its existence or lack of existence would either be caused because of something else or not. If it is from something else, then that something else is the cause of it. And if it is not from something else, then it is itself the necessary existence.16

Em *The Pointers and Reminders*, Ibn Sīnā fala de uma jumlah (aproximadamente traduzida como sequência ou até conjunto) composta por um número infinito de coisas contingentes, argumentando por redução ao absurdo que tal conjunto não pode ser o existir necessário. Aplicando isto aos argumentos apresentados pelos Novos Ateus, esta parte do argumento é uma das provas mais poderosas e úteis contra a tese de um multiverso infinito. Esta tese é frequentemente empregada como substituto de um existir necessário ou de "Deus", um ponto que será expandido nos capítulos seguintes. Na *Metafísica*, Ibn Sīnā é mais explícito ao apresentar um argumento formal na maqālah (secção) 8, capítulos 1 a 3. Merece atenção que Ibn Sīnā termina efetivamente o seu livro com este argumento, e que, em muitos aspetos, os capítulos anteriores parecem conduzir a este ponto. Nesta secção, Ibn Sīnā argumenta por redução ao absurdo contra a possibilidade de uma regressão infinita, fazendo-o de duas formas inovadoras, destacadas abaixo: primeiro, argumentando que é impossível que todas as "causas intermédias" tenham o mesmo estatuto modal, e segundo, recorrendo a um argumento de composição. Como será explicado, este tipo de argumentos é talvez o mais adequado para responder às interrogações ateístas que pressupõem um multiverso infinito. Depois de conceber um conjunto de todas as coisas existentes (a já referida jumlah), Ibn Sīnā afirma que: [A] "causa última" não pode ser a última do conjunto de causas, nem pode estar no meio. Isso deve-se a que a causa intermédia no conjunto só pode causar um efeito. Além disso, o efeito não causa nada. E cada coisa dos três tipos em cada extremidade do conjunto [de coisas existentes] tem um estatuto modal especializado. Assim, o estatuto modal especializado da coisa no fim do conjunto é que não é causa de nada [por definição].17

In The Pointers and Reminders, Ibn Sīnā talks about a jumlah (roughly translated to a sequence or even a set) consisting of an infinite number of contingent things, arguing ad absurdum that such a set cannot be the necessary existence. Applying this to arguments posited by New Atheists, this part of the argument is one of the most potent and useful proofs in arguing against an infinite multiverse thesis. This thesis is often employed as a substitute for a necessary existence or ‘God’, a point that will be expanded on in following chapters. In the Metaphysics, Ibn Sīnā is most explicit in making a formal argument in maqālah (section) 8, chapters 1-3. It merits consideration that Ibn Sīnā effectively ends his book with this argument, and in many ways earlier chapters seem to build up to this point. In this section, Ibn Sīnā argues ad absurdum for the impossibility of an infinite regress, doing so in two novel ways highlighted below: first, arguing for the impossibility of all ‘middle causes’ having the same modal status, and second, employing an argument from composition. As will be explained, these types of arguments are perhaps best placed to deal with atheistic interrogations which stipulate an infinite multiverse. After conceptualising a set of all existent things (the aforementioned jumlah), Ibn Sīnā posits that: [The] ‘ultimate cause’ cannot be the last in the set of causes, nor can it be in the middle. That is because the middle cause in the set can only cause one effect. In addition, the effect does not cause anything. And each thing of the three types at each extremity in the set [of existent things] has a specialised modal status. Thus, the specialised modal status of the thing at the end of the set is that it is not a cause for anything [by definition].17

Para ilustrar este argumento, conceba um conjunto linear de P a P10. Ibn Sīnā está simplesmente afirmando que, por necessidade lógica, P5 só pode ser causa de P6 no conjunto, e não daquelas coisas que vêm antes dele. P10 não é causa de nada neste conjunto. Ele continua este raciocínio afirmando: na outra extremidade do conjunto (isto é, no seu início), a causa (por definição) é a causa de todas as outras coisas desse conjunto. O estatuto modal especializado da coisa que existe no meio do conjunto é que ela deve ser causada por uma coisa e ser causa de uma coisa.18

To illustrate this argument, conceptualise a linear set from P to P10. Ibn Sīnā is simply stating that by logical necessity P5 can only be a cause for P6 in the set, and not for those things which come before it. P10 is not the cause for anything in this set. He continues this line of reasoning by stating: At the other extremity of the set (i.e. at the beginning of it) the cause (by definition) is the cause for all other things in that set. The specialised modal status of the thing which exists at the middle of the set is that it must be caused by one thing and be the cause for one thing.18

Se o conjunto é finito e linear, P5 deve ser causado por P4 e deve ser a causa de P6; isto é assim mesmo que os elementos entre P1-10 sejam múltiplos, pois, como sugere Ibn Sīnā: Isso [vale] quer a(s) coisa(s) do meio seja uma só coisa ou mais de uma coisa. Se forem mais de uma coisa(s), então ou são finitas ou infinitas: se forem finitas, então o conjunto está entre dois extremos (isto é, a primeira causa e o efeito final). Portanto, cada uma das coisas entre esses dois extremos terá um estatuto especializado (que corresponde à finitude do conjunto).19

If the set is finite and linear, P5 must be caused by P4 and must be the cause of P6; this is the case even if the elements between P1-10 are multiple, for as Ibn Sīnā suggests: That is [the case] regardless of whether the thing(s) at the middle is one thing or more than one thing. If it is more than one thing(s), then it is either finite or infinite: if it is finite, then the set is between two extremities (i.e. the first cause and the final effect). Therefore, each of the things in between these two extremities will have a specialised status (which corresponds to the finitude of the set).19

Ibn Sīnā expande este argumento de um conjunto infinito tanto em *The Pointers* quanto em *The Deliverance*, considerando um conjunto finito circular. Herbert Davidson aborda este ponto em sua obra sobre o Kalām medieval (teologia escolástica), intitulada *Proofs for Eternity*: …um regresso circular autocontido é mostrado como absurdo por um argumento que se aplica apenas a ele. No regresso circular x y z, x seria uma causa distante de z, e z seria a causa imediata de x. Consequentemente, x seria uma causa distante de si mesmo, o que Avicena considera absurdo. Pelo mesmo raciocínio, x seria um efeito distante de si mesmo, o que é igualmente absurdo. E o ponto pode ser feito novamente de uma forma um pouco diferente, como segue: x dependeria para sua existência de algo, z, cuja existência é posterior a ela. Mas "quando a existência de algo depende da existência de outra coisa que é essencialmente posterior à primeira, a existência da primeira é impossível". Um regresso circular autocontido de causas não pode, portanto, existir.

Ibn Sīnā expands this argument of an infinite set in both The Pointers and The Deliverance by considering a circular finite set. Herbert Davidson addresses this point in his work on medieval Kalām (scholastic theology) entitled as Proofs for Eternity: …a self-contained circular regress is shown to be absurd by an argument applying only to it. In the circular regress x y z, x would be a distant cause of z, and z would be the immediate cause of x. x would consequently be a distant cause of itself, which Avicenna regards as absurd. By the same token, x would be a distant effect of itself, which is equally absurd. And the point can be made again in a slightly different way, as follows: x would be dependent for its existence upon something-z-whose existence is posterior to it. But “when the existence of something depends upon the existence of something else that is essentially posterior to the first, the existence of the first is impossible.” A self contained circular regress of causes cannot, therefore, exist.

Tendo tratado de um conjunto finito, Ibn Sīnā passa a abordar a objeção da regressão infinita, afirmando: Se o conjunto, por outro lado, for infinito, então tais extremidades (a primeira causa e o efeito final) não terão se realizado, e todas as coisas no conjunto terão o status [equivalente] das coisas entre os dois conjuntos (isto é, não serão primeiras causas nem efeitos finais).21

Having dealt with a finite set, Ibn Sīnā moves on to address the infinite regress objection, stating: If the set, on the other hand, is infinite, then such extremities (the first cause and final effect) will not have been realised, and all things in the set will have the [equivalent] status of the things between the two sets (i.e. they will not be first causes or final effects).21

Nesta tradução, e voltando ao nosso exemplo P1-P10, P1, P5 e P10 não têm sentido num conjunto infinito. Todos os Ps têm a mesma especificação modal, e não podem ser considerados "iniciadores", "pontos intermediários" ou "efeitos finais". Ibn Sīnā elabora este ponto afirmando: [Quanto a] este conjunto infinito, se lhe acrescentarmos ou subtrairmos algo, o seu estatuto de "infinito" permanecerá o mesmo. Neste caso [do conjunto infinito], não é possível que o conjunto das causas exista sem que haja uma causa que seja ela mesma não causada e originante. Consequentemente, todas as coisas do conjunto terão o estatuto de coisas intermediárias no conjunto (isto é, não sendo nem efeito final nem primeira causa), e isto é logicamente impossível.22

On this rendering – and returning back to our P1-P10 example – P1, P5, and P10 are meaningless in an infinite set. All Ps have the same modal specification, and they cannot possibly be considered ‘initiators’, ‘middle points’, or ‘final effects’. Ibn Sīnā elaborates on this point by stating: [Regarding] this infinite set, if you add or subtract from it, its status as ‘infinite’ will remain the same. In this case [of the infinite set], it is not possible for the set of causes to exist without having a cause that is itself uncaused and originating. Accordingly, all of the things in the set will have the status of the middle things in the set (i.e. being neither final effect or first cause), and this is logically impossible.22

Ibn Sīnā, assim como Aristóteles, era um eternalista. Em outras palavras, ele realmente acreditava que o universo era pré-eterno. Esse fato surpreendente o coloca em oposição a muitos pensadores islâmicos que se opuseram a tais noções (sobretudo al-Ghazālī). Apesar de crer em um universo eterno, Ibn Sīnā, assim como Aristóteles, argumentou de forma bastante clara pela impossibilidade de uma regressão infinita de causas.23 Além do argumento das causas intermediárias, Ibn Sīnā apresenta um argumento a partir da composição, da seguinte maneira: Assim, dizemos que a existência necessária não pode ser considerada uma "construção composta", de modo que haja certo atributo de "quididade" [atribuído a ela], e que tal "quididade" seja ela mesma a qualidade da necessidade… seria logicamente impossível que, em tal "quididade", houvesse uma realidade efetiva, pois, se tivesse uma realidade e se esta se diferenciasse da existência necessária, isso indicaria que algo não necessário teria produzido algo necessário. E isso indicaria que a coisa em questão não é, de fato, necessária.24

Ibn Sīnā, like Aristotle, was an eternalist. In other words, he actually believed that the universe was pre-eternal. This startling fact puts him at odds with many Islamic thinkers who opposed such notions (most notably al-Ghazālī). Despite believing in an eternal universe, Ibn Sīnā, like Aristotle, argued quite clearly for the impossibility of an infinite regress of causes.23 In addition to the argument from middle causes, Ibn Sīnā makes an argument from composition in the following manner: So we say [that] the necessary existence cannot be considered a ‘composite construction’ such that there is a certain ‘whatness’ attribute [attributed to it], and that such ‘whatness’ is itself the quality of necessity…it would be logically impossible that in such a ‘whatness’ there is an actual reality, for if it had a reality and that it was differentiated from the necessary existence then it would indicate that something unnecessary had brought about something necessary. And this would indicate that the thing in question is not, in fact, necessary.24

O argumento a partir da composição sugere que tudo o que é composto é gerado e, portanto, dependente. Se há uma qualidade dentro de algo que o torna "necessário" e capaz de ser extraído, ao mesmo tempo que é caracterizado pela diferenciação, então isso sugeriria que a entidade em questão necessita dela. Assim, isso seria suficiente como prova para indicar a contingência dessa entidade. Tomando a premissa de Ibn Sīnā de que qualquer entidade composta que existe por suas partes (e não por virtude de si mesma) é composta e, portanto, qualquer composto é dependente,25 a possibilidade de um número infinito de coisas contingentes existentes torna-se uma possibilidade impossível de sustentar. Hebert Davidson resume este argumento da seguinte maneira: Portanto, segundo esta alternativa, "quer o grupo seja finito ou infinito", ele necessita de um fator que continuamente "lhe proporcione existência". O fator, supõe Avicena, deve estar ou (β1) dentro do grupo ou (β1) fora dele. Supor que todo o grupo (β1) é ultimamente mantido por um de seus próprios membros seria, no entanto, equivalente a supor que o membro em questão é causa de si mesmo. Pois ser causa da existência de um grupo é "primariamente" ser causa dos membros individuais; e, na medida em que a suposta causa é ela mesma um dos membros, ela seria necessariamente causa de si mesma. Ora, a suposta causa já foi assumida, como um dos membros do grupo, como possivelmente existente; e o possivelmente existente é precisamente aquilo que não existe por razão de si mesmo. Portanto, ela não poderia ser a causa da coleção da qual é um membro.26

The argument from composition suggests that anything which is composed is generated and is therefore dependent. If there is a quality within something that makes it ‘necessary’ and capable of being extracted from while also being characterised with differentiation, then it would suggest that the entity in question is in need of it. As such, this would be enough proof to indicate the contingency of that entity. Taking Ibn Sīnā’s premise that any composed entity that exists by its parts (and not by virtue of itself) is composite and therefore any composite is dependent,25 the prospect of an infinite number of contingent things in existence becomes an impossible prospect to maintain. Hebert Davidson summarises this argument in the following way: Hence, on this alternative, “whether the group is finite or infinite,” it stands in need of a factor that will continually “provide it with existence.” The factor, Avicenna assumes, must be either (β1) within the group or (β1) outside it. Assuming that the whole group is (β1) ultimately maintained by one of its own members would, however, be tantamount to assuming that the member in question is a cause of itself. For to be a cause of the existence of a group is “primarily” to be the cause of the individual members; and inasmuch as the supposed cause is itself one of the members, it would perforce be a cause of itself. Yet the supposed cause has already been assumed, as one of the members of the group, to be possibly existent; and the possibly existent is precisely what does not exist by reason of itself. Therefore, it could not be the cause of the collection of which it is one member.26

Este ponto é particularmente relevante para a discussão sobre o movimento do Novo Ateísmo e os seus questionamentos ao teísmo. Na sua podcast especializada em três partes sobre Ibn Sīnā, Peter Adamson menciona a relevância deste argumento para as discussões contemporâneas entre teístas e ateus. Ao discutir a parte do argumento de Ibn Sīnā em que este examina a implausibilidade de todo o conjunto da existência ser necessário se as suas partes forem contingentes, Adamson refere-se à famosa objeção da falácia de composição de Bertrand Russell. Esta última será revisitada com mais detalhe no capítulo sobre objeções. Adamson apresenta o exemplo de um grande relógio composto por pequenas peças e menciona que, apenas porque existem causas dentro do universo, não significa necessariamente que o próprio universo tenha uma causa. Adamson explica que isto: …soa como o tipo de coisa que um ateu moderno poderia dizer. Avicena está tranquilo quanto a este ponto. Ele percebe que um opositor poderia levantar esta objeção e, como se encolhesse os ombros, diz que, nesse caso, o opositor estaria apenas a dar-lhe o que ele quer… afinal, ele pretende provar que existe uma existência necessária. O opositor, na verdade, já o admitiu – só que o opositor pensa que a existência necessária é o próprio universo – a objeção não é objeção nenhuma, mas uma capitulação.27

This point is particularly relevant to the discussion on the New Atheism movement and its interrogations of theism. In his three-part specialised podcast on Ibn Sīnā, Peter Adamson mentions the relevance of this argument to modern day discussions between theists and atheists. When discussing the part of Ibn Sīnā’s argument in which he examines the implausibility of the entire set of existence being necessary if its parts are contingent, Adamson refers to Bertrand Russell’s famous fallacy of composition objection. The latter will be revisited in greater detail in the chapter on objections. Adamson provides the example of a big clock made up of small parts and mentions that just because there are causes within the universe, it does not necessarily mean that the universe itself has a cause. Adamson explains that this: …sounds like the sort of thing a modern-day atheist may say. Avicenna is relaxed on this point. He sees that an opponent might raise this objection and, as if shrugging his shoulders, says that in that case, the opponent would just be giving him what he wants…after all, he is out to prove that there is a necessary existence. The opponent has actually admitted that – it’s just that the opponent thinks that the necessary existence is the universe itself – the objection is no objection at all, but a capitulation.27

Dito isso, Adamson explica que, segundo Ibn Sīnā, o universo (ou o conjunto de unidades) não pode ser o existente necessário, porque: Se um único existente necessário tivesse partes, então algo precisaria distinguir essas partes umas das outras. Mas, pelo mesmo raciocínio que acabamos de usar, as partes acabariam sendo diferentes umas das outras e, portanto, não seriam necessárias – mas como um existente necessário pode ter partes contingentes?28

Having said this, Adamson explains that according to Ibn Sīnā, the universe (or the set of units) cannot be the necessary existence because: If a single necessary existent had parts, then something would need to distinguish those parts from one another. But then, by the same reasoning, we just used, the parts would wind up being different from one another, and then they would not be necessary – but how can a necessary existent have contingent parts?28

Ao usar os argumentos de Ibn Sīnā de forma pastoral, é importante notar o limiar em que um interlocutor deixou de lado explicações ateístas e passou a explicações um tanto mais compatíveis com o deísmo ou com o teísmo clássico. O objetivo desses argumentos lógicos não é convencer o interlocutor de todos os atributos de Deus, em conformidade com as escrituras, argumentando (como Ibn Sīnā faz acima) a partir de primeiros princípios. Antes, o objetivo principal é demonstrar a um detrator ateísta que uma visão de mundo que não reconhece o estatuto de um originador da existência é deficiente e pode ser facilmente refutada. Em resumo, o argumento do Burhān de Ibn Sīnā pode ser classificado como um argumento baseado em causa, a partir da contingência. A essência do argumento é que a existência não pode conter apenas realidades contingentes, pois a existência contingente não pode dar origem a si mesma. Um conjunto de existências contingentes – seja finito ou infinito – não é autossuficiente nem necessário, pois tal conjunto é formado por muitas partes componentes. Se houver algo que diferencie a Parte A da Parte B, tal coisa indicaria a não necessidade da Parte A ou da Parte B, bem como do "todo" que está sendo descrito. Por essa razão, o existente necessário não pode ser composto de partes componentes. Além disso, pelo mesmo motivo, um conjunto de existências contingentes – seja finito ou infinito – não pode ser uma existência necessária. Portanto, é necessário que uma existência necessária subsista fora do conjunto das existências contingentes, sendo ela que, em última instância, causa esse conjunto, bem como todos os seus membros. Tal existência necessária, que está fora do conjunto das existências contingentes, deve ser autossuficiente; ela não requer nada que a gere ou cause, pois a falha em sê-lo indicaria necessariamente sua contingência.

When using Ibn Sīnā’s arguments pastorally, it is important to note the threshold at which an interlocutor has shifted away from atheistic explanations and moved towards explanations which are somewhat more commensurate with deism or classical theism. The purpose of these logical arguments is not to convince the interlocutor of all of the attributes of God in accordance with scripture by arguing (as Ibn Sīnā does above) from first principles. Rather, the prime objective is to demonstrate to an atheistic detractor that a worldview which does not acknowledge the status of an originator of existence is deficient and can be easily repudiated. To summarise, Ibn Sīnā’s Burhān argument can be categorised as a cause-based argument from contingency. The thrust of the argument is that existence cannot contain only contingent actualities, as contingent existence cannot bring rise to itself. A collection of contingent existences –whether finite or infinite – is not self-sufficient or necessary, as such a collection is made up of many component parts. If there is anything to differentiate Part A from Part B, such a thing would indicate the non necessity of Part A or Part B, as well as the ‘whole’ which is being described. For this reason, the necessary existent cannot be composed of component parts. In addition, because of this reason, a set of contingent existences – whether finite or infinite – cannot be a necessary existence. Therefore, there is the requirement for a necessary existence to subsist outside of the set of contingent existence, which ultimately causes this set, as well as all of its members. Such a necessary existence which is outside the set of contingent existences must be self-sufficient; it requires nothing to generate or cause it, as the failure to be such would necessarily indicate its contingency.

Richard, que descrevi na introdução, pode rejeitar a proposição de uma existência necessária em troca de um multiverso infinito. A pergunta que se pode colocar a Richard é se tal multiverso é autossuficiente ou dependente. Se Richard responder que é dependente, então a pergunta é: depende de algo que é dependente ou de algo que é independente (autossuficiente)? Se for independente, então há concordância, pelo menos quanto ao ponto de que existe uma "entidade independente". Se for dependente, então há uma regressão infinita de coisas dependentes? Se assim for, do que depende tal regressão infinita? Richard pode dizer que ela não depende de nada. Se for assim, Richard está admitindo que o multiverso infinito é independente, mais uma vez um ponto de concordância, pois estaria aceitando a existência de algo autossuficiente. O principal ponto de discordância diz respeito a qual é o ser independente. Pode-se argumentar que qualquer coisa composta de partes separáveis/unificáveis é dependente e, como o universo é composto desta maneira, o universo é dependente. O mesmo pode ser dito de um multiverso infinito. Isso será desenvolvido nos capítulos seguintes.

Richard, who I have described in the introduction, may reject the proposition of a necessary existence in exchange for an infinite multiverse. The question that may be posed to Richard is whether such a multi-verse is self-sufficient or dependent. If Richard replies that it is dependent, then the question is: is it dependent on something which is dependent or something which is independent (self-sufficient). If independent, then there is agreement at least on the point that there exists an ‘independent entity’. If dependent, then is there an infinite regress of dependent things? If so, what does such infinite regress depend on? Richard may say that it depends upon nothing. If this is so, Richard is admitting the infinite multiverse is independent, again a point of agreement as Richard would be agreeing to the existence of something self-sufficient. The major point of disagreement relates to what the independent being is. One can argue that anything composed of detachable/attachable parts is dependent, and since the universe is composed in this way, therefore the universe is dependent. The same thing can be said about an infinite multiverse. This will be fleshed out in the chapters to come.