Ambiguity in the Kalām Cosmological Argument: Exposing the Limits of First-Order Predicate Logic
In this paper, I apply Graham Priest’s logical critique of the cosmological argument to the Kalām Cosmological Argument (KCA), focusing on a key ambiguity in its first premise: "Whatever begins to exist has a cause." When formalized in first-order predicate logic (FOL), this premise admits...
| Autor principal: | |
|---|---|
| Tipo de documento: | Recurso Electrónico Artigo |
| Idioma: | Inglês |
| Verificar disponibilidade: | HBZ Gateway |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Publicado em: |
2025
|
| Em: |
Sophia
Ano: 2025, Volume: 64, Número: 4, Páginas: 615-649 |
| Outras palavras-chave: | B
Graham Priest
B Second-Order modal logic B Kalām cosmological argument B Logical ambiguity B First-Order predicate logic |
| Acesso em linha: |
Volltext (lizenzpflichtig) |
| Resumo: | In this paper, I apply Graham Priest’s logical critique of the cosmological argument to the Kalām Cosmological Argument (KCA), focusing on a key ambiguity in its first premise: "Whatever begins to exist has a cause." When formalized in first-order predicate logic (FOL), this premise admits two non-equivalent interpretations. One of which allows for multiple distinct causes while another posits a single universal cause. This logical ambiguity reveals a limitation of FOL in expressing metaphysical claims with the necessary precision. By extension, this ambiguity undermines the structural coherence of the KCA when expressed in FOL. My central aim is not to refute the KCA’s conclusion but to demonstrate that its first-order formulation lacks logical determinacy. To address this, I develop a second-order modal logical (SOML) framework that incorporates functional mappings, uniqueness constraints, and metaphysical necessity. This revised formalism eliminates the ambiguity while preserving the KCA’s philosophical commitments. |
|---|---|
| ISSN: | 1873-930X |
| Obras secundárias: | Enthalten in: Sophia
|
| Persistent identifiers: | DOI: 10.1007/s11841-025-01093-7 |
