Paul Weingartner

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 God's 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. It is a book about the possibility of a consistent concept of omniscience which can be attributed to God. And it invalidates opposite claims and shows that they are based on wrong or very doubtful premises. The pros and cons at the beginning of each chapter represent different positions and objections which are clarified and discussed in the answer to the objections.

The present article shows that there are consistent and decidable manyvalued systems of propositional logic which satisfy two or all the three criteria for non-trivial inconsistent theories by da Costa . The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirical sciences. These paraconsistent systems are based on a 6-valued system of propositional logic for avoiding difficulties in several domains of empirical science )

The paper offers a matrix-based logic (relevant matrix quantum physics) for propositions which seems suitable as an underlying logic for empirical sciences and especially for quantum physics. This logic is motivated by two criteria which serve to clean derivations of classical logic from superfluous redundancies and uninformative complexities. It distinguishes those valid derivations (inferences) of classical logic which contain superfluous redundancies and complexities and are in this sense from those which are or in the sense of allowing only the most informative consequences in the derivations. The latter derivations are strictly valid in RMQ, whereas the former are only materially valid. RMQ is a decidable matrix calculus which possesses a semantics and has the finite model property. It is shown in the paper how RMQ by its strictly valid derivations can avoid the difficulties with commensurability, distributivity, and Bell's inequalities when it is applied to quantum physics

The present book is a book on epistemology with the special and new focus on the relation of different types of knowledge and a differentiated comparison to both scientific and religious belief. The present book distinguishes seven types of knowledge and compares them with both scientific and religious belief. The ususal view is that scientific and religious belief have nothing or not much in common. Although there are important differences, in contradistinction to this widespread view it is shown that there are also many similarities between them. There are similarities concerning the reasons for belief, with respect to the action of believing, concerning a similar voluntary component, or even concerning properties of the content of belief. A detailed discussion of many types of knowledge and a differentiated comparison to scientific and religious belief is an important new contribution to the scientific literature in epistemology.

Like relativity and quantum theory chaos research is another prominent concept of 20th century physics that has triggered deep and far-reaching discussions in the philosophy of science. In this volume outstanding scientists discuss the fundamental problems of the concepts of law and of prediction. They present their views in their contributions to this volume, but they also are exposed to criticism in transcriptions of recordings made during discussions and in comments on their views also published in this book. Although all authors assume familiarity with some background in physics they also address the philosophers of science and even a general audience interested in modern science's contribution to a deeper understanding of reality.

The paper will be divided into two parts. In the first part concerning teleological order in nature, different types of order will be distinguished: beginning with order as structure and then proceeding to higher and stronger types of order, which include special arithmetical and geometrical relations and eventually also negentropy. It will be shown that certain processes of becoming can possess higher order in such a way that they can have teleological order. In the second part a definition of teleological explanation will be given and the following two questions will be answered: Are there teleological explanations which are logically valid? Are there teleological explanations which are used by scientists?

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 preceding 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 every argument is translated into the symbolic form of predicate logic and its logical validity is shown. Additionally a detailed and critical discussion of the premises of each argument is given. (publisher)