Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Several themes of David Lewis's theory of counterfactuals, especially their sensitivity to context, pave the way for a viable theory of non-trivial counterpossibles. If Lewis was successful in defending his account against the early objections, a semantics of counterpossibles can be defended from similar objections in the same way. The resulting theory will be extended to address 'might' counterfactuals and questions about the relative "nearness" of impossible worlds.

Brian Leftow offers a theist theory of necessity and possibility, and a new sort of argument for God's existence. He argues that necessities of logic and mathematics are determined by God's nature, but that it is events in God's mind - his imagination and choice - that account for necessary truths about concrete creatures.

I argue that abstract objects cannot depend on God for their existence and nature.

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

The Nature of God explores a perennial problem in the philosophy of religion. Drawing upon developments in philosophy, most notably those in philosophical logic, Edward R. Wierenga examines the traditional divine attributes of omnipotence, omniscience, eternity, timelessness, immutability, and goodness. His philosophically defensible formulations of the nature of God are in accord with the views of classical theists. The author provides an account of each of the divine attributes by stating in contemporary terms what such classical theists as Augustine, Anselm, (...) and Aquinas wrote about the nature of God; he then seeks to determine whether one can defend the ascription of traditional divine attributes to God against philosophical objections. Clearly written and comprehensive, The Nature of God contains a wealth of illuminating and original material on a central topic in the philosophy of religion. (shrink)

Yujin Nagasawa presents a new, stronger version of perfect being theism, the conception of God as the greatest possible being. Nagasawa argues that God should be understood, not as omniscient, omnipotent, and omnibenevolent, but rather as a being that has the maximal consistent set of knowledge, power, and benevolence.

The doctrine of God’s absolute simplicity denies the possibility of real distinctions in God. It is, e.g., impossible that God have any kind of parts or any intrinsic accidental properties, or that there be real distinctions among God’s essential properties or between any of them and God himself. After showing that some of the counter-intuitive implications of the doctrine can readily be made sense of, the authors identify the apparent incompatibility of God’s simplicity and God’s free choice as a special (...) difficulty and associate it with two others: the apparent incompatibilities between essential omnipotence and essential goodness, and between perfect goodness and moral goodness. Since all three of these difficulties are associated with a certain understanding of the nature of God’s will, the authors base their resolution of them on an account of will in general and of God’s will in particular, drawing on Aquinas’s theory of will.Taking creation as their paradigm of divine free choice, the authors develop a solution of the principal incompatibility based on three claims: God’s acts of choice are both free and conditionally necessitated; the difference between absolutely and conditionallynecessitated acts of will is not a real distinction in God; and the conditional necessity of God’s acts of will is compatible with contingency in the objects of those acts. The heart of their solution consists in their attempt to make sense of and support those claims.The authors extend their solution to cover the two associated apparent incompatibilities as well.The article concludes with observations on the importance of the doctrine of God’s absolute simplicity for resolving problems in religious morality and in the cosmological argument. (shrink)

Sets of contingent objects, perhaps, are as contingent as their members; but properties, propositions, numbers and states of affairs, it seems, are objects whose non-existence is quite impossible. If so, however, how are they related to God? Suppose God has a nature: a property he has essentially that includes each property essential to him. Does God have a nature? And if he does, is there a conflict between God's sovereignty and his having a nature? How is God related to such (...) abstract objects as properties and propositions? These are the questions I want to explore. - Introduction. (shrink)

In a previous paper, Thomas V. Morris and I sketched a view on which abstract objects, in particular, properties, relations, and propositions , are created by God no less than contingent, concrete objects. In this paper r suggest a way of extending this account to cover mathematical objects as well. Drawing on some recent work in logic and metaphysics, I also develop a more detailed account of the structure of PRPs in answer to the paradoxes that arise on a naive (...) understanding of the structure ofthe abstract universe. (shrink)

In The City of God, XI, 10, St Augustine claims that the divine nature is simple because ‘it is what it has’ (quod habet hoc est). We may take this as a slogan for the Doctrine of Divine Simplicity (DDS), a doctrine which finds its way into orthodox medieval Christian theological speculation. Like the doctrine of God's timeless eternality, the DDS has seemed obvious and pious to many, and incoherent, misguided, and repugnant to others. Unlike the doctrine of God's timeless (...) eternality, the DDS has received very little critical attention. The DDS did not originate with Augustine, but I am not primarily concerned with its pedigree. Nor am I concerned to ask how the doctrine interacts with trinitarian speculation. I will have my hands full as it is. In Section I of this paper I shall provide a rough characterization of the DDS, indicate its complexity, and focus on a particular aspect of the doctrine which will exercise us in the remainder of the paper, namely, the thesis that the divine attributes are all identical with each other and with God. In section n I shall discuss Alvin Plantinga's recent objections to Aquinas' version of the DDS. I shall then offer a more detailed presentation of what I take to be Aquinas' version (section III), and recast it in terms of a theory of attributes which is significantly different from Plantinga's (section IV). Although the recasting of the doctrine will enable me to rebut Plantinga's objections (section v), it by no means solves all the problems of the DDS. In section vi I shall discuss the chief lingering problem facing a defender of the DDS. (shrink)

In exploring this tradition of philosophical reflection on the nature of goodness, the twelve essays in this book (all but two published here for the first time) present some of the best recent historical scholarship in...

Richard Brian Davis offers several criticisms of a semantics I once proposed for subjunctive conditionals with impossible antecedents. I reply to these.

I explicate and defend leibniz's argument from "eternal truths" to the existence of god. I argue that necessary beings can be caused to exist, Showing how one can apply a counterfactual analysis to such causation, Then argue that if such beings can be caused to exist, They are.

A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.

God Over All: Divine Aseity and the Challenge of Platonism is a defense of God's aseity and unique status as the Creator of all things apart from Himself in the face of the challenge posed by mathematical Platonism. After providing the biblical, theological, and philosophical basis for the traditional doctrine of divine aseity, William Lane Craig explains the challenge presented to that doctrine by the Indispensability Argument for Platonism, which postulates the existence of uncreated abstract objects. Craig provides detailed examination (...) of a wide range of responses to that argument, both realist and anti-realist, with a view toward assessing the most promising options for the theist. A synoptic work in analytic philosophy of religion, this groundbreaking volume engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. (shrink)

The problem of the nature of being was central to ancient and medieval philosophy, and continues to be relevant today. In this collection of thirteen recent essays, Peter van Inwagen applies the techniques of analytical philosophy to a wide variety of problems in ontology and meta-ontology. Topics discussed include the nature of being, the meaning of the existential quantifier, ontological commitment, recent attacks on metaphysics and ontology, the concept of ontological structure, fictional entities, mereological sums, and the ontology of mental (...) states. Van Inwagen adopts a generally 'Quinean' position in meta-ontology, yet reaches ontological conclusions very different from Quine's. The volume includes two previously unpublished essays, one of which is an introductory essay where van Inwagen explains his conception of the relation between the language of 'the ordinary business of life' and that of 'the ontology room'. The volume will be an important collection for students and scholars of metaphysics. (shrink)

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the (...) first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)

The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, modal (...) logic and its relations to necessary existence and to counterfactual reasoning. The general introduction locates the individual contributions in the wider context of the contemporary discussion of the metaphysics and epistemology of modality. (shrink)

This volume concerns the status and ambitions of metaphysics as a discipline.

This volume will be the starting point for future discussion and research.

This volume focuses on contemporary issues in the philosophy of religion through an engagement with Eleonore Stump’s seminal work in the field. Topics covered include: the metaphysics of the divine nature ; the nature of love and God’s relation to human happiness; and the issue of human agency.

Perhaps no one has done more in the last 30 years to advance thinking in the metaphysics of modality than has Alvin Plantinga. Collected here are some of his most important essays on this influential subject. Dating back from the late 1960's to the present, they chronicle the development of Plantinga's thoughts about some of the most fundamental issues in metaphysics: what is the nature of abstract objects like possible worlds, properties, propositions, and such phenomena? Are there possible but non-actual (...) objects? Can objects that do not exist exemplify properties? Plantinga gives thorough and penetrating to all of these questions and many others. This volume contains some of the best work in metaphysics from the past 30 years, and will remain a source of critical contention and keen interest among philosophers of metaphysics and philosophical logic for years to come. (shrink)

Truth and Ontology concludes that some truths do not depend on being in any substantive way at all.

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

In this paper I will consider a number of responses to the grounding problem for presentism. I don’t think that the grounding problem is a damning problem for the presentist (it seems to me that presentism has much more serious problems with cross-time relations and relativity). But each of the solutions comes at a cost, and some are much pricier than others. I will set out what I take these costs to be when I examine each response to the grounding (...) problem. (shrink)

There is a long history of worrying about whether or not metaphysics is a legitimate philosophical discipline. Traditionally such worries center around issues of meaning and epistemological concerns. Do the metaphysical questions have any meaning? Can metaphysical methodology lead to knowledge? But these questions are, in my opinion, not as serious as they have sometimes (historically) been taken to be. What is much more concerning is another set of worries about metaphysics, which I take to the greatest threat to metaphysics (...) as a philosophical discipline. These worries, in effect, hold that the questions that metaphysics tries to answer have long been answered in other parts of inquiry, ones that have much greater authority. And if they haven’t been answered yet then one should not look to philosophy for an answer. What metaphysics tries to do has been or will be done by the sciences. There is nothing left to do for philosophy, or so the worry. Let me illustrate this with two examples, one of which is our main concern here. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)

Consider a certain red rose. The proposition that the rose is red is true because the rose is red. One might say as well that the proposition that the rose is red is made true by the rose’s being red. This, it has been thought, does not commit one to a truthmaker of the proposition that the rose is red. For there is no entity that makes the proposition true. What makes it true is how the rose is, and how (...) the rose is is not an entity over and above the rose. It is against this view that I shall argue in this paper. I shall argue that a significant class of true propositions, including inessential predications like the proposition that the rose is red, are made true by entities. "No truthmaking without truthmakers" is my slogan. Although I have my view about what kinds of entities are truthmakers, I shall not argue for or presuppose that view here. All I shall argue for here is that if a proposition is made true by something, it is made true by some thing, but my argument will leave it open what kind of thing that thing is: it could be a fact or state of affairs, a trope, or any other sort of entity. (shrink)