The Originator of the World: Necessary Existence, Infinite Regress and the Correspondence Proof

1. From the world's origination to an originator

ولما ثبت أن العالم محدث، ومعلوم أن المحدث لا بد له من محدث
Once the world has been established as originated, it is understood that an originated thing requires an originator.

The preceding discussion investigated the origination of substances and accidents. A new explanatory question now arises: what accounts for the world's beginning to exist? Ḥādith means something with a beginning; muḥdith denotes an originator responsible for its coming into existence.

Two claims must be kept distinct: that the world originated, and that the originated world calls for an originator. The transition is supported by an argument about possibility and determination, not by repeating the word “originated.”

2. Possibility and the need for a determiner

ضرورة امتناع ترجح أحد طرفي الممكن من غير مرجح
For it is held impossible that one side of a possibility should prevail without a determining factor.

A possible or contingent being is not intrinsically required either to exist or not to exist. Existence and nonexistence are both compatible with its nature. A murajjiḥ is what accounts for the determination of existence rather than nonexistence.

A particular building did not have to exist and came about through causes and activity. The illustration makes contingency intelligible; it does not identify an ordinary material cause with the necessary originator of all beings.

3. What “determination without a determiner” means

The objection called tarjīḥ bilā murajjiḥ does not say that an event is impossible whenever its cause is unknown to an observer. An unknown explanation is different from no explanation at all.

The argument maintains that if a thing's own essence does not necessitate its existence, its existence cannot be inferred from that possible essence alone. A determining explanation is then sought.

“The lamp is lit” describes a fact; it does not mean that the lamp must always be lit. We examine the relevant conditions of its present state. The text extends this explanatory structure to the world's existence.

4. Necessary existence: the definition

أي الذات الواجب الوجود الذي يكون وجوده من ذاته
That is, the being necessarily existent, whose existence belongs to His very essence.

The Necessary Existent in Himself cannot fail to exist and does not receive existence from an external cause. “From His essence” does not mean that He brings Himself into existence at some moment; self-production would presuppose the very nonexistence and origination excluded by necessity.

A contingent thing, by contrast, does not possess existence as an intrinsic necessity of its essence. This distinction anchors the ensuing discussion of causal dependence.

5. Freedom from dependence

ولا يحتاج إلى شيء أصلا
And He depends on absolutely nothing.

Independence follows from necessary existence. A being whose existence is caused by another is not necessary in itself: its existence depends on something beyond it.

Keep two questions apart:
1. Does a thing exist?
2. Is its existence intrinsic and necessary, or is it dependent upon another?

Actual existence alone does not demonstrate necessary existence. The second question is what matters in the analysis of the world and its constituents.

6. Why a contingent being cannot be the ultimate source

إذ لو كان جائز الوجود لكان من جملة العالم
For if He were contingent in existence, He would be included within the world.

In this discussion “the world” denotes the totality of created or contingent realities other than Allah. If what is proposed as the ultimate originator of the whole is itself just one of those dependent realities, the explanation has not reached a being beyond that collection.

This does not deny ordinary intermediary causes. Fire's involvement in heating is not the same claim as being the independent ground of every dependent thing. The latter requires freedom from dependence.

7. “World” as the totality that points beyond itself

أن العالم اسم لجميع ما يصلح علما على وجود مبدأ له
“The world” names everything that may serve as a sign of a principle from which it derives.

Here ʿalam carries the sense of an indication or sign. The discussion is not limited to the earth, heavens, or one material body, but concerns dependent reality considered as a whole.

This wording shifts the inquiry beyond a cause for one individual thing to the common ultimate ground of what points to dependence. Calling the world a sign indicates the direction of the argument; the philosophical case still requires its premises to be examined.

8. Can the argument bypass the regress question?

وقد يتوهم أن هذا دليل على وجود الصانع من غير افتقار إلى إبطال التسلسل، وليس كذلك
One might suppose this proves a Maker without refuting infinite regress; the text says it does not.

If a contingent thing has another contingent cause, which in turn depends upon another, merely saying “each has a cause” does not yet provide an independent ground. The discussion therefore turns to regress among causes.

The target is a chain in which every member receives its existence through another dependent member. Not every ordered sequence, and not every infinite sequence of numbers, is equivalent to that specific causal claim.

9. A hypothesized beginningless chain of causes

لو ترتب سلسلة الممكنات لا إلى نهاية لاحتاجت إلى علة
If a chain of contingent things extended without end, the chain as a whole would still require a cause.

This is the premise concerning a cause of the collection. Combining dependent members into an ordered system is held not to establish that the system is independent. The argument thus asks what explains the complete series.

A logical distinction is vital: “each member has a cause” and “the total collection requires a cause beyond itself” are not verbally identical statements. The text supplies a further reason for the latter; it should not simply be assumed from the wording of the former.

10. Why the collection cannot cause itself

وهي لا يجوز أن تكون نفسها
That cause cannot be the series itself.

If the collection is said to be the cause of its own existence, it must already be there as cause even though its existence is precisely what is being explained as effect. This is the circularity at issue in the causal relation.

To say “this building exists because the same building is the foundation of its own existence” gives no non-circular explanation. Simply naming the collection cannot replace an account of its existence.

11. Why a member cannot ground the entire collection

ولا بعضها، لاستحالة كون الشيء علة لنفسه ولعلته
Nor may the cause be one of its parts, since a thing cannot be the cause of itself and of its own cause.

Suppose member A is itself dependent, yet A is proposed as the cause of the entire chain A, B, C, and so on. In grounding the whole, A would also have to ground the existence of A itself: the original dependence has reappeared.

If A also depends on another member within the collection, treating A as the origin of the whole threatens to make it cause the very cause on which it depends. The text therefore separates causation within the series from a non-dependent ground of the whole.

12. A cause beyond the series

بل خارجا عنها فيكون واجبا فتنقطع السلسلة
Rather, it must lie outside the series; it is therefore necessary, and the series terminates.

The argument considers whether the collection causes itself, a member causes the whole, or the cause lies beyond the collection. The first two are rejected as circular or dependent. A cause beyond the dependent series remains.

“Outside” here need not describe physical distance or a location beyond the sky. It means not being a member of the contingent chain. Were the supposed final ground still contingent, the original dependence would reappear. Thus it is called necessary.

13. The subtle objection concerning a cause of the whole

An objection asks why the dependence of each member also requires a distinct cause of the collection. Does a totality possess some additional reality, or is it only the members considered together?

The argument need not imagine a separate material object called “the collection.” Its concern is a series whose members explain themselves only through other dependent members. The issue is whether this constitutes a complete account of existence.

Recognizing this objection is part of understanding the reasoning. Moving from the dependence of each member to a ground beyond all members requires justification, not just a definitional slogan.

14. Further arguments against regress

ومن مشهور الأدلة برهان التطبيق
Among the well-known arguments is the proof by correspondence (*burhān al-taṭbīq*).

The source adds another route for disputing an infinite causal series. In the correspondence argument, members of two ordered collections are aligned, first with first, second with second, and so on.

This is a historical argument of kalām and philosophy, not an established modern theorem showing that all infinite mathematical sets are impossible. Its intended target is a purportedly actual sequence of dependent existents.

15. Constructing the two series

أن نفرض من المعلول الأخير إلى غير النهاية جملة، وما قبله مثلا إلى غير النهاية جملة أخرى
Assume one collection from the last effect back without end, and another starting from its predecessor back without end.

The first list includes the last or present effect; the second begins one member farther back among earlier causes. It is thus treated as shorter by one member in the classical construction.

Schematic ordering:
First collection: A, B, C, D, …
Second collection: B, C, D, …

These letters only illustrate the setup. The target of the argument is a series of actual existents, not merely a written sequence of symbols.

16. Aligning corresponding members

ثم نطبق الجملتين، بأن نجعل الأول من الجملة الأولى بإزاء الأول من الجملة الثانية، والثاني بالثاني
Then align the collections: first with first, second with second, and so on.

Taṭbīq means a systematic matching of members in two ordered series. The argument asks whether every term has a counterpart or whether one series eventually lacks a corresponding term.

The method produces two alternatives: full correspondence throughout, or a point at which the correspondence ceases. The classical proof assigns a different implication to each case.

17. First alternative: equality of shorter and longer

فإن كان بإزاء كل واحد من الأولى واحد من الثانية، كان الناقص كالزائد وهو محال
If every member of the first has a counterpart in the second, the shorter would equal the longer, which the classical proof calls impossible.

The historical inference assumes that a genuinely larger ordered collection cannot be equal in number to the collection formed by removing a member. On that assumption complete matching would erase the difference between the whole and the shortened whole.

Important qualification: Modern set theory allows a bijection between an infinite set and a proper subset. This step is therefore presented as a premise of the classical argument, not as a generally accepted result of modern mathematics.

18. Second alternative: correspondence stops

وإن لم يكن فقد وجد في الأولى ما لا يوجد بإزائه شيء في الثانية
If not, there will be a member in the first series with no corresponding member in the second.

On this second alternative, the shorter series has a terminal point. Since the longer series differs by only a finite number of terms, it too is said to terminate.

The reasoning is:
The shorter series is finite.
The longer exceeds it by one member.
Therefore the longer is also finite.

The classical argument uses this pair of alternatives to deny an actually unending series of dependent existents.

19. Actual existents versus merely conceived sequences

وهذا التطبيق إنما يمكن فيما دخل تحت الوجود
This correspondence procedure is said to apply only to what has entered existence.

The restriction identifies the intended domain: a supposedly actual series of causal existents, not every sequence that the mind can describe.

Thinking “one, two, three, four…” does not by itself produce a chain of existing causes. This is the historical response to the numerical objection. The distinction is important, even though it does not automatically settle every philosophical question about the correspondence argument.

20. The counterexample from number sequences

فلا يرد النقض بمراتب العدد
Thus the counterexample from the ranks of numbers is not taken to refute the proof.

The objection runs as follows: one numerical sequence begins at 1 and another at 2. The second lacks the first element, yet both can be treated as infinite, challenging the “larger cannot equal smaller” assumption.

The historical reply restricts the claim to actual causal existents rather than merely conceptual or extendible enumerations. Modern mathematics has precise tools for analyzing infinite sets; the numerical example should not be declared invalid in itself. The lesson is about the precise scope of the older reply.

21. Infinity as having no final bound

أنها لا تنتهي إلى حد لا يتصور فوقه آخر
They do not terminate at a limit beyond which no further term can be conceived.

One meaning of the unboundedness of numbers is that for any number we can conceive a larger one. That does not require all numerals or possible numbers to exist as one completed physical causal collection.

The text extends this distinction to numbers, things known, and things within power. It is a philosophical contrast between unbounded extendibility and an actually completed causal totality; other philosophical treatments of infinity are possible.

22. Unbounded divine knowledge and power

معنى لا تناهي الأعداد والمعلومات والمقدورات
The meaning of the unboundedness of numbers, knowables, and possible objects of power.

Maʿlūmāt are what may be known; maqdūrāt are things within the scope of power. The passage explains their lack of a terminal bound: there is no final conceivable object beyond which further knowledge or power is impossible.

This does not imply that divine knowledge or power was once incomplete and later increased. The point concerns the unrestricted range of their objects, not changing perfection in the divine essence or attributes.

23. The unity of the originator

أما الواحد فيعني أن صانع العالم واحد
As for “one,” it means that the Maker of the world is one.

The argument does not stop at asserting some ultimate originator. The originator is also described as one, not as two independent Necessary Existents jointly constituting the ultimate ground of reality.

Here unity means more than counting one item; it expresses divine uniqueness. The passage connects this to the concept of necessary existence, while the fuller argumentative treatment of unity follows in the next section.

24. Why necessary existence is presented as unique

ولا يمكن أن يصدق مفهوم واجب الوجود إلا على ذات واحدة
The notion of the Necessary Existent can apply only to a single essence.

The text reserves intrinsic necessity and independence for the one ultimate ground of existents. Imagining two equally independent necessary beings prompts a further question: by what real feature would they differ, and would that differentiation entail composition or determination?

This question prepares for the fuller proof of divine unity; the present passage makes the concise claim. It must not be confused with the whole proof of mutual hindrance (*burhān al-tamānuʿ*), which begins in the next section.

25. Connecting the steps of the argument

The chapter's reasoning can be organized into five connected stages:
1. The world's origination is taken from the preceding inquiry.
2. An originated or contingent existence is held to require an originator or determiner.
3. No dependent contingent member is accepted as the independent origin of all such members.
4. The cause-of-the-collection argument and the correspondence proof address infinite regress.
5. The inquiry aims to establish an independent and unique Necessary Existent.

Key discipline: The premises about origination, dependence, and regress must be assessed separately. This reveals both the force of the classical case and the precise places at which objections arise.