Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)
E. Zalta and P. Oppenheimer have created non-modal reading of the Anselm’s argument about the existence of God, The Ontological Argument. The authors have deduced the existence of God from his being. For this purpose, the term "that than which none greater can be conceived" used as a definite description. Through the predicate logic with the descriptions and several special axioms Zalta and Oppenheimer have formalized Anselm’s argument and demonstrate that from a formal point of view, his arguments is quite correct. But if we use as a tool the Theory of abstract objects we obtain the ontological argument, consequence of which is fundamentally different from the conclusion that Anselm has made.
There is a chronological study in this paper consisting of three parts: 1) the conception of simplicity of God maintained by St. Thomas Aquinas, 2) rejection of God’s simplicity undertaken by Alvin Plantinga, and 3) an attempt to return to the idea of the simplicity of God in modern analytic research.
This volume contains the Post-Conference Proceedings of ISoLA 2006, the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006), which was held in Paphos, Cyprus on 15th-19th November 2006, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems.
This article deals with the concept of omnipotence very important for contemporary analytic philosophy of religion. Within the analytic tradition it is usual to uncover an apparent tension between God’s omnipotence and other divine attributes. In response, some authors have proposed their own ideas on how classical problems of omnipotence can be solved in terms of possible worlds theory. In this paper we aim to consider the approaches developed by Geach, Adams and Plantinga. While admitting that each of them has made a significant contribution to the refinement of the concept of omnipotence, we still point out a number of important challenges that these authors were not able to overcome.
Edward Zalta's axiomatic metaphysics or Theory of abstract objects is a philosophical theory with powerful logical unit which enables us to analyze a lot of ontological categories, such as non-existent objects, properties and relationships, possible worlds, states of affairs and many others that are in focus of modern analytic philosophy. Rich expressive power of the Theory are directly related to its fundamental premise — the distinction between the two modes of predication: exemplification and encoding. The main concern of the paper is to clarify the structure of the universe which arise on the ground of that distinction and to demonstrate some of its problematic consequences.
There were two tendencies in ancient philosophy: according to the first one, our universe is unique (the Eleatics, Plato, Aristoteles), while according to the other, there are several universes, similar or totally dissimilar to ours (the Pythagoreans, the Atomists). Proponents of the first theory diverged in their opinion on the universe’s eternity though. Supporters of the second one argued over the similarity of another universes as well as the question if those universes co-exist or replace each other over time. These questions didn’t stop being actual in medieval Christian philosophy. But if there were no doubts about the question of an actual existence of our universe as being the only and unique, the question if God created only our universe was yet to be answered. St. Thomas Aquinas provides several evidences of the uniqueness of the universe – two from the ‘authority’ and three from himself.
The article deals with one of the most graceful and non-standard version of the modal ontological argument for existence of God proposed by analytic philosopher Stephen Makin in 1988. In his version he has succeeded to avoid the famous criticism of Kant the impossibility of using of the predicate ‘to exist’ as a “real”. Makin does not attempt to prove the necessary existing object; otherwise, he uses a concept of necessarily exemplified concept. He argues there is at least one (possibly unique) such concept - scilicet Anselm’s famous "that than which non greater can be conceived".
This study consists of three main parts: firstly, it is discussed Makin’s idea and version of the argument; secondly, it is analyzed the criticism which has been received from 1988 to 1991; thirdly, I present my own objections to Makin’s version, and to the criticism on it.
I will say something presently about three important points, namely: 1) there are no reasonable arguments in favor of the idea that class of necessarily exemplified concept is not empty; 2) there seems to be no plausibility to holding that the interchangeability of alethic modalities is sound here; 3) there are some additional difficulties that have been not previously mentioned in the analysis of evidence. In particular, the proof does not take into account the multilevel structure of the ontology, which hierarchy of levels, as a rule, determines what kind of entity exists in the ontology in the true sense of the word. In addition, Makin’s approach is well described in terms of Tichy’s "offices", which makes it impossible to worship God as omniscient, omnipotent, and omnibenevolent.
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc.
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency.