The book Ontological Proofs Today, apart from the introduction, consists of six parts. Part II comprises papers each of which pertains either to historical ontological arguments, or to some other, rather new, ontological arguments, but what makes them stand out from the other papers in this volume, is the fact that they all treat of the omniscience or the omnipotence of God. Part III includes papers which introduce new ontological arguments for the existence of God, without referring to omniscience and (...) omnipotence as the transparent attributes of God. The issue of the type of necessity with which ontological proofs work or may work is raised in the articles of Part IV. In Part V the semantics for some ontological proofs are defined. Part VI consists of papers which, although quite different from each other in terms of content, all explore some ontological issues, and formal ontology may be considered the link between them. Part VII comprises two articles, by R. E. Maydole and G. Oppy, mutually controversial and different in their assessment of some ontological proofs. (shrink)

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

SummaryAfter giving examples for different relations of analogy among different objects the gist of analogy relations are interpreted as homomorphism and isomorphism . The main purpose of the paper is to give a number of precise definitions for different kinds of analogy . In chapter 7 definitions are proposed for analogy relations between theories and common features of the relations T1 is anologous to T2 and T1 is interpretable in T2 are discussed. Chapter 8 compares analogy and transformation and chapter (...) 9 proves some theorems on analogy. (shrink)

Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the possible-world-based likeness-definition of verisimilitude. In Sect. 2 we show that the possible-world-based content-definition violates four basic intuitions of Popper’s consequence-based content-account to verisimilitude, and therefore cannot be said to be in the spirit of Popper’s account, although this is the opinion of some prominent authors. In Sect. 3 we argue that in consequence-accounts, content-aspects and likeness-aspects of verisimilitude are not in conflict with each other, but in (...) agreement. We explain this fact by pointing towards the deep difference between possible-world- and the consequence-accounts, which does not lie in the difference between syntactic versus semantic formulations, but in the difference between ‘disjunction-of-possible-worlds’ versus ‘conjunction-of-parts’ representations of theories. Drawing on earlier work, we explain in Sect. 4 how the shortcomings of Popper’s original definition can be repaired by what we call the relevant element approach. We propose a quantitative likeness-definition of verisimilitude based on relevant elements which provably agrees with the qualitative relevant content-definition of verisimilitude on all pairs of comparable theories. We conclude the paper with a plea for consequence-accounts and a brief analysis of the problem of language-dependence. (shrink)

The series offers a publication forum for innovative works on all topics of analytic philosophy. The focus is on the disciplines of theoretical philosophy: metaphysics, ontology, epistemology, philosophy of language, logic. Furthermore, works that additionally include contributions to the history of philosophy are also welcome.

There are basic questions concerning truth that have been perennial throughout the history of philosophy from the Ancient Greeks onwards: Is 'true' a ...

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. (shrink)