An Augustinian–Edwardsian Metaphysics of Possibility for the Barcan Formula
The Barcan formula is a theorem of quantified modal logic. Its most straightforward interpretation appears to commit one to "possibilism," the view that merely possible things exist. Alternative systems of logic revise the formal semantics to preclude the theorem and its consequences. The...
| Main Author: | |
|---|---|
| Format: | Electronic Article |
| Language: | English |
| Check availability: | HBZ Gateway |
| Journals Online & Print: | Drawer...
|
| Fernleihe: | Fernleihe für die Fachinformationsdienste |
| Published: |
Evangelical Philosophical Society
2022
|
| In: |
Philosophia Christi
Year: 2022, Volume: 24, Issue: 2, Pages: 191-215 |
| IxTheo Classification: | KAB Church history 30-500; early Christianity KAH Church history 1648-1913; modern history NBC Doctrine of God VA Philosophy |
| Online Access: |
Volltext (lizenzpflichtig) Volltext (lizenzpflichtig) |
| Summary: | The Barcan formula is a theorem of quantified modal logic. Its most straightforward interpretation appears to commit one to "possibilism," the view that merely possible things exist. Alternative systems of logic revise the formal semantics to preclude the theorem and its consequences. The crux, however, is the modal metaphysics presupposed by the formal semantics. This paper presents an alternative metaphysics of possibility that follows Augustine’s suggestion that God’s plan is only one of a range of alternative histories for a creation. The metaphysics is a version of "trace actualism"—neither pure possibilism nor pure actualism. |
|---|---|
| ISSN: | 2640-2580 |
| Contains: | Enthalten in: Philosophia Christi
|
| Persistent identifiers: | DOI: 10.5840/pc202224218 |