This volume constitutes the Proceedings and Discussions of the 1968 Salzburg Colloquium in the Philosophy of Science. The Colloquium was held at the Institut fUr Wissenschaftstheorie of the Internationales Forschungszentrum fUr Grundfragen der Wissenschaften, Salzburg, Austria, from August 28 to August 31, 1968, under the joint auspices of the Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science, and the Institut fur Wissenschaftstheorie of the Internationales Forschungs- zentrum, Salzburg. The Colloquium was organized by an...
This volume constitutes the Proceedings and Discussions of the 1968 Salzburg Colloquium in the Philosophy of Science. The Colloquium was held at the I...
The aim of the book is to show that the Five Ways of Thomas Aquinas, i.e. his five arguments to prove the existence of God, are logically correct arguments by the standards of modern Predicate Logic. In the first chapter this is done by commenting on the two preliminary articles preceeding the Five Ways in which Thomas Aquinas points out that on the one hand the existence of God is not self-evident to us and on the other hand, that, similar as in some scientific explanations, the mere existence of a cause for an effect which is evidently known to us can be proved. In the second chapter...
The aim of the book is to show that the Five Ways of Thomas Aquinas, i.e. his five arguments to prove the existence of God, are logically correct a...
The aim of the book is to clarify the concept of omniscience. This is done first by discussing basic questions on omniscience (chs.1-12) and secondly by offering a theory of omniscience as an axiomatic system in which also a definition of omniscience is given (ch.13). The twelve chapters deal with questions like whether everything is true what God knows, whether Gods knowledge is bound to time, whether it concerns singular truths or only laws, whether it extends also to contingent future events.etc. The book is neither a book about the existence of God nor about proofs for his existence....
The aim of the book is to clarify the concept of omniscience. This is done first by discussing basic questions on omniscience (chs.1-12) and second...
The aim of the book is to refute the claim that God's omniscience, omnipotence and benevolence on the one hand and the existence of evil on the other are together inconsistent. This is shown first by unmasking many types of such claims as either logical fallacies or as presupposing false assumptions. Secondly the author formulates God's attributes of omniscience, omnipotence and benevolence and the existence of 10 types of evil in an axiomatic system. This contains the theorems about God's knowledge, will, causation and benevolence without leading to any inconsistency. It proves the...
The aim of the book is to refute the claim that God's omniscience, omnipotence and benevolence on the one hand and the existence of evil on the other ...
Gabriele M. Mras, Paul Weingartner, Bernhard Ritter
This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder,...
This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first ...
After a distinction between private religious visions and prophetic religious manifestations this book provides a deteiled description of the great Marian Apparitions in Guadalupe, La Salette, Lourdes, Fatima, Medjugorje and Kibeho. These events are investigated with the axiomatic method, describing its essential features with axioms and definitions from which theorems are derived. The axioms and theorems consider the events to be miracles; they cover the credibility of the events, the reliability of the seers, the voluntary component of the believers and the content and seriousness of the...
After a distinction between private religious visions and prophetic religious manifestations this book provides a deteiled description of the great Ma...
