Lowe_Ontological_Argument (Q53724)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Lowe_Ontological_Argument
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lowe_Ontological_Argument |
AFP entry Lowe_Ontological_Argument |
Statements
David Fuenmayor
0 references
Christoph Benzmüller
0 references
Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method.
0 references
0 references
21 September 2017
0 references
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument (English)
0 references
