PL EN


Journal
2012 | 20 | 1(77) | 103-108
Article title

Logika modalna a dowód ontologiczny

Authors
Title variants
EN
Modal logic vs. ontological argument
Languages of publication
PL
Abstracts
EN
The contemporary versions of the ontological argument originated from Charles Hartshorne are formalized proofs (in the metalogical sense of the word) based on unique modal theories. The simplest well-known theory of this kind arises from the system B of modal logic by adding two extra-logical axioms: (AA) “If the perfect being exists, then it necessarily exists” (Anselm’s Axiom) and (AL) “It is possible that the perfect being exists” (Leibniz’s Axiom). In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only premises are the axiom (AA) and, instead of (AL), the new axiom (AN): “If the perfect being doesn’t exist, it necessarily doesn’t”. The main goal of the work is to prove that (AN) is no more controversial than (AA) and – in consequence – the whole strength of the modal ontological argument lays in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological” and metalogical.
Journal
Year
Volume
20
Issue
Pages
103-108
Physical description
Contributors
  • Wyższa Szkoła Przedsiębiorczości i Administracji, Wydział Nauk Społecznych, ul. Bursaki 12, 20-150 Lublin, Poland.
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-cd377874-9478-450d-b621-478fad046321
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.