In the late eighteenth century, Adam Smith significantly shaped the modern world by claiming that when people individually pursue their own interests, they are together led towards achieving the common good. But can a population of selfish people achieve the economic common good in the absence of moral constraints on their behavior? If not, then what are the moral conditions of market interaction which lead to economically efficient outcomes of trade? Answers to these questions profoundly affect basic concepts and principles (...) of economic theory, legal theory, moral philosophy, political theory, and even judicial decisions at the appellate level. Walter Schultz illustrates the deficiencies of theories which purport to show that markets alone can provide the basis for efficiency. He demonstrates that efficient outcomes of market interaction cannot be achieved without moral normative constraints and then goes on to specify a set of normative conditions which make these positive outcomes possible. (shrink)

Even though theistic philosophers and scientists agree that God created, sustains, and providentially governs the physical universe and even though much has been published in general regarding divine action, what is needed is a fine-grained, conceptually coherent account of divine action, causation, dispositions, and laws of nature consistent with divine aseity, satisfying the widely recognized adequacy conditions for any account of dispositions.1 Such an account would be a basic part of a more comprehensive theory of divine action in relation to (...) the fundamental concepts of science and of mathematics. Our aim in this article is simply to present such a theory. (shrink)

Dispositional properties have been receiving an increasing amount of attention in the last decade from metaphysicians and philosophers of science. The proper semantics and ontology remains controversial. This paper offers an analysis and ontology of dispositional properties rooted in Christology and the biblical doctrine of creation. The analysis overcomes the standard problems faced by all such analyses and provides an account of “ungrounded dispositions.” The analysis involves a version of a Leibnizian-Aristotelian notion of possible worlds and provides a novel notion (...) of truth-makers for subjunctive conditionals. (shrink)

In his book God and Necessity and in four subsequent papers, Brian Leftow argues against metaphysical theories which hold that “God’s nature makes necessary truths true or gives rise to their truthmakers,” asserting that all such “deity theories commit us to the claim that God’s existence depends on there being truthmakers for particular necessary truths about creatures.” Leftow supports this by arguing that all deity theories entail that if it is untrue that water = H2O, then God does not exist. (...) This paper presents a counterexample deity theory along with a synopsis of its correlative theory of truth and truthmaking. (shrink)

“The actual world” is a familiar term in possible-worlds discourse. A desirable account of the nature and structure of the actual world that coheres with the doctrine of creation ex nihilo will include a theory of truth-making, account for the dynamics of the universe in relation to the doctrine of creation, say how so-called abstract objects are related to God, and preclude the Russell Paradox. By emending Alvin Plantinga’s theistic modal realism, this paper recovers a view of the actual world (...) as God’s plan and briefly states how the metaphysical theory that results meets these desiderata. (shrink)

The Barcan formula is a theorem of quantified modal logic. Its most straightforward interpretation appears to commit one to “possibilism,” the view that merely possible things exist. Alternative systems of logic revise the formal semantics to preclude the theorem and its consequences. The crux, however, is the modal metaphysics presupposed by the formal semantics. This paper presents an alternative metaphysics of possibility that follows Augustine’s suggestion that God’s plan is only one of a range of alternative histories for a creation. (...) The metaphysics is a version of “trace actualism”—neither pure possibilism nor pure actualism. (shrink)

Our pretheoretic sense of the relation of logical consequence arises from our experience of deductive inference. By ignoring the priority of inference and failing to provide an account of the ontological grounds of the conceptual experience and of the modal and truth elements in the statement of our pretheoretical sense, informal and technical accounts are at best partial. This paper proposes an ontological analysis of both elements which accounts for our conceptual experience and differentiates genuine from ersatz logical consequence.

Free-will defenses and theodicies reason that since God’s purpose in creation requires libertarian free will, God cannot prevent every event which occurs as a consequence of the misuse of freedom. However, given libertarian free will and free-will theistic accounts of God’s purpose in creation, I describe (in terms of a dispositions/powers ontology) how it is logically possible for God to achieve his purposes while preventing moral evil. This, then, is a refutation of the free-will defense and related theodicies that should (...) shift the focus of Christian theorizing from God’s ability to God’s goodness. (shrink)

The aim of this paper is to propose a philosophy of mathematics that takes structures to be basic. It distinguishes between mathematical structures and real structures. Mathematical structures are the propositional content either of consistent axiom systems or (algebraic or differential) equations. Thus, mathematical structures are logically possible structures. Real structures—and the mathematical structures that represent them—are related essentially to God’s plan in Christ and ultimately grounded in God’s awareness of his ability. However, not every mathematical structure has a correlative (...) real structure. Mathematical structures are either true or fictional, yet all are possible. (shrink)

This paper introduces, explains, and defends a theory of truth and truthmakers comprising the following four claims: Truth is God’s knowledge. A proposition p is true if and only if what it represents as “being the case” is a constituent k of God’s knowledge. Otherwise, it is either fictionally false or purely false. Constituents of God’s knowledge are the truthmakers for true propositions. Thus, for every p, p is true if and only if some k makes p true. The set (...) T of all true propositions is included in God’s knowledge. (shrink)

Before God created did God have ideas in mind for particular things, kinds of things, properties of things, particular events, and laws of nature? At least since Augustine, theists have proposed differing answers. This paper is about a relatively recent theory, which holds that God constructs them when he creates the universe. James Ross, Brian Leftow, and Hugh McCann are its primary advocates. Since the shared features of their views do not pertain to the so-called “abstract objects” or to the (...) “necessary truths” of mathematics and logic, let us call this “divine possibility constructivism”, differentiating it from the theistic activism of Christopher Menzel and Thomas Morris and from the voluntarism of René Descartes—both of which could otherwise be construed as “constructivist”. According to Ross, Leftow, and McCann, God had nothing in mind before he created—which is to say that, before God created, God was not aware of possibilities for a universe. Rather, God’s being aware of any such possibilities is grounded only in God’s having constructed them ex nihilo. This paper shows that DPC is incoherent. (shrink)