Defending The Axioms

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. The axioms of set theory have long played this role, so the question of how they are properly judged is of central importance. Maddy discusses the appropriate methods for such evaluations and the philosophical backdrop that makes them appropriate.

This volume re-examines some of the major themes at the intersection of traditional and contemporary metaphysics. The book uses as a point of departure Francisco Suárez’s Metaphysical Disputations published in 1597. Minimalist metaphysics in empiricist/pragmatist clothing have today become mainstream in analytic philosophy. Independently of this development, the progress of scholarship in ancient and medieval philosophy makes clear that traditional forms of metaphysics have affinities with some of the streams in contemporary analytic metaphysics. The book brings together leading contemporary metaphysicians to investigate the viability of a neo-Aristotelian metaphysics.

Was Adam a real historical person? And if so, who was he and when did he live? William Lane Craig sets out to answer these questions through a biblical and scientific investigation. He begins with an inquiry into the genre of Genesis 1–11, determining that it can most plausibly be classified as mytho-history—a narrative with both literary and historical value. He then moves into the New Testament, where he examines references to Adam in the words of Jesus and the writings of Paul, ultimately concluding that the entire Bible considers Adam the historical progenitor of the human race—a position that must therefore be accepted as a premise for Christians who take seriously the inspired truth of Scripture. Working from that foundation of biblical truth, Craig embarks upon an interdisciplinary survey of scientific evidence to determine where Adam could be most plausibly located in the evolutionary history of humankind, ultimately determining that Adam lived between 750,000 and 1,000,000 years ago as a member of the archaic human species Homo heidelbergensis. He concludes by reflecting theologically on his findings and asking what all this might mean for us as human beings created in the image of God, literally descended from a common ancestor—albeit one who lived in the remote past.

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.

Many philosophers these days consider themselves naturalists, but it's doubtful any two of them intend the same position by the term. In this book, Penelope Maddy describes and practises a particularly austere form of naturalism called 'Second Philosophy'. Without a definitive criterion for what counts as 'science' and what doesn't, Second Philosophy can't be specified directly - 'trust only the methods of science!' or some such thing - so Maddy proceeds instead by illustratingthe behaviours of an idealized inquirer she calls the 'Second Philosopher'. This Second Philosopher begins from perceptual common sense and progresses from there to systematic observation, active experimentation, theory formation and testing, working all the while to assess, correct and improve hermethods as she goes. Second Philosophy is then the result of the Second Philosopher's investigations.Maddy delineates the Second Philosopher's approach by tracing her reactions to various familiar skeptical and transcendental views (Descartes, Kant, Carnap, late Putnam, van Fraassen), comparing her methods to those of other self-described naturalists (especially Quine), and examining a prominent contemporary debate (between disquotationalists and correspondence theorists in the theory of truth) to extract a properly second-philosophical line of thought. She then undertakes to practise SecondPhilosophy in her reflections on the ground of logical truth, the methodology, ontology and epistemology of mathematics, and the general prospects for metaphysics naturalized.

Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete. Given that candidates for axiomatic status cannot be proved, what sorts of considerations can be offered for or against them? That is the central question addressed in this book. One answer is that mathematics aims to describe an objective world of mathematical objects, and that axiom candidates should be judged by their truth or falsity in that world. This promising view—realism—is assessed and finally rejected in favour of another—naturalism—which attends less to metaphysical considerations of objective truth and falsity, and more to practical considerations drawn from within mathematics itself. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be helpfully applied in the assessment of candidates for axiomatic status in set theory. Maddy's clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

How ought you to evaluate your options if you're uncertain about what's fundamentally valuable? A prominent response is Expected Value Maximisation (EVM)—the view that under axiological uncertainty, an option is better than another if and only if it has the greater expected value across axiologies. But the expected value of an option depends on quantitative probability and value facts, and in particular on value comparisons across axiologies. We need to explain what it is for such facts to hold. Also, EVM is by no means self-evident. We need an argument to defend that it’s true. This book introduces an axiomatic approach to answer these worries. It provides an explication of what EVM means by use of representation theorems: intertheoretic comparisons can be understood in terms of facts about which options are better than which, and mutatis mutandis for intratheoretic comparisons and axiological probabilities. And it provides a systematic argument to the effect that EVM is true: the theory can be vindicated through simple axioms. The result is a formally cogent and philosophically compelling extension of standard decision theory, and original take on the problem of axiological or normative uncertainty.