From Existence to God; A Contemporary Philosophical Argument by Barry Miller (review)

364 BOOK REVIEWS opening of natural law into the Christian economy of salvation for which May argues. It should be noted that May displays an admirable openness to further development along these lines with his appreciation of some of the questions raised by Aurelio Ansaldo (see pp. 97-98, n. 135). In spite of some limitations, this is a significant work well-deserving of consideration by any student of moral theology. It highlights the ongoing contribution of an authentic and well-grounded Thomism to current efforts toward the renewal of moral theology-a contribution also recommended by the Second Vatican Council (cf. Optatum Totius, n.16). The Catholic University of America Washington, D.C. JOHN S. GRABOWSKI From Existence to God; A Contemporary Philosophical Argument. By BARRY MILLER. London and New York: Routledge, 1992. Pp. x +206. $42.50 (cloth). Can the existence of God be proved from the existence of any con· crete individual thing? Many religious thinkers-theists as well as atheists-might regard this as a vain project. The criticisms of Hume and Kant, as well as a certain suspicion of the validity of the principles of sufficient reason and intelligibility, appear to have demolished all grounds for such an argument. Many find no contradiction in affirming the existence of the whole universe while denying the existence of God. Barry Miller, on the contrary, does find a contradiction in affirming the existence of even one concrete individual unless the existence of God is also affirmed. His book is a sustained and intriguing attempt to show that contradiction. His argument is based not on the principles of sufficient reason or intelligibility, but strictly on the principle of non· contradiction (172-4). The concrete individual which serves as his starting point and remains his faithful companion throughout the book is a particular existing dog named " Fido," and the way to the existence of God begins with the simple question: " How ever can it be that Fido does exist ? " Miller's first task is to establish that his question is not gratuitous by showing that Fido's existence is not a " brute fact" requiring no explanation. The argument given in chapters two and three shows that Fido's existence is very puzzling indeed, requiring conditions that are "apparently impossible to satisfy" (10). The argument begins with BOOK REVIEWS 365 the Fregean position that ontological categories are to he assigned in accordance with linguistic categories. (While Miller admits that this Fregean view is not the only legitimate one, he does not think that this limits the effectiveness of his argument [10, 87-88.]) Since the name "Fido" in the linguistic expression " Fido exists " is a complete expression , while the predicate " exists " is not (15, 23), Fido's existence is understood as " exemplifying two ontological categories, viz., a complete entity (Fido) and an incomplete entity (Fido's existence)" (Prop. 1.1, p. 10). It is then argued that "Fido's existing must he constructible conceptually from Fido and his existence" (Prop. 1.2, p. 10). This conceptual construction would he impossible, however, "if Fido were inconceivable except in terms of Fido's existing." The fact is, however, that Fido is inconceivable except in terms of Fido's existing : "Fido could neither he referred to nor conceived of before he existed" (Prop. 1.3, p. 11). Indeed, prior to its existing, "no concrete individual could be conceived of by anyone or in any way " (42) . One is thus left with a dilemma that requires one conceptually to construct Fido's existing from Fido and Fido's existence, but prevents one from doing so since Fido is only conceivable in terms of Fido's existing. In chapter four and its appendix, Miller presents detailed arguments in response to C. J. F. Williams, B. Russell, W. V. Quine, and others to show that existence is a real property. He then goes on in chapter five to review the dilemma and to offer his solution. Fido's existing must he conceptually constructible from two ontological categories, "Fido" and "Fido's existence." But "Fido's existing" cannot he constructed from them since one of them, "Fido's existence," is not a complete entity and the other one...