This book contains more than 15 essays that explore issues in truth, existence, and explanation. It features cutting-edge research in the philosophy of mathematics and logic. Renowned philosophers, mathematicians, and younger scholars provide an insightful contribution to the lively debate in this interdisciplinary field of inquiry. The essays look at realism vs. anti-realism as well as inflationary vs. deflationary theories of truth. The contributors also consider mathematical fictionalism, structuralism, the nature and role of axioms, constructive existence, and generality. In addition, coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical explanation. The book will appeal to a broad mathematical and philosophical audience. It contains work from FilMat, the Italian Network for the Philosophy of Mathematics. These papers collected here were also presented at their second international conference, held at the University of Chieti-Pescara, May 2016.

New York Times Bestseller Finalist for the National Book Award (Nonfiction) How did humanity originate and why does a species like ours exist on this planet? Do we have a special place, even a destiny in the universe? Where are we going, and perhaps, the most difficult question of all, "Why?" In The Meaning of Human Existence, his most philosophical work to date, Pulitzer Prize–winning biologist Edward O. Wilson grapples with these and other existential questions, examining what makes human beings supremely different from all other species. Searching for meaning in what Nietzsche once called "the rainbow colors" around the outer edges of knowledge and imagination, Wilson takes his readers on a journey, in the process bridging science and philosophy to create a twenty-first-century treatise on human existence—from our earliest inception to a provocative look at what the future of mankind portends. Continuing his groundbreaking examination of our "Anthropocene Epoch," which he began with The Social Conquest of Earth, described by the New York Times as "a sweeping account of the human rise to domination of the biosphere," here Wilson posits that we, as a species, now know enough about the universe and ourselves that we can begin to approach questions about our place in the cosmos and the meaning of intelligent life in a systematic, indeed, in a testable way. Once criticized for a purely mechanistic view of human life and an overreliance on genetic predetermination, Wilson presents in The Meaning of Human Existence his most expansive and advanced theories on the sovereignty of human life, recognizing that, even though the human and the spider evolved similarly, the poet's sonnet is wholly different from the spider's web. Whether attempting to explicate "The Riddle of the Human Species," "Free Will," or "Religion"; warning of "The Collapse of Biodiversity"; or even creating a plausible "Portrait of E.T.," Wilson does indeed believe that humanity holds a special position in the known universe. The human epoch that began in biological evolution and passed into pre-, then recorded, history is now more than ever before in our hands. Yet alarmed that we are about to abandon natural selection by redesigning biology and human nature as we wish them, Wilson soberly concludes that advances in science and technology bring us our greatest moral dilemma since God stayed the hand of Abraham.

Gaven Kerr provides the first book-length study of St. Thomas Aquinas's much neglected proof for the existence of God in De Ente et Essentia Chapter 4. He offers a contemporary presentation, interpretation, and defense of this proof, beginning with an account of the metaphysical principles used by Aquinas and then describing how they are employed within the proof to establish the existence of God. Along the way, Kerr engages contemporary authors who have addressed Aquinas's or similar reasoning. The proof developed in the De Ente is, on Kerr's reading, independent of many of the other proofs in Aquinas's corpus and resistant to the traditional classificatory schemes of proofs of God. By applying a historical and hermeneutical awareness of the philosophical issues presented by Aquinas's thought and evaluating such philosophical issues with analytical precision, Kerr is able to move through the proof and evaluate what Aquinas is saying, and whether what he is saying is true. By means of an analysis of one of Aquinas's earliest proofs, Kerr highlights a foundational argument that is present throughout the much more commonly studied Thomistic writings, and brings it to bear within the context of analytical philosophy, showing its relevance to the contemporary reader.

In this astonishing and profound work, an irreverent sleuth traces the riddleof existence from the ancient world to modern times.

This influential book evaluates the arguments for the existence and nature of God that emerged in the late twentieth century.

The Principle of Sufficient Reason (PSR) says that all contingent facts must have explanation. In this 2006 volume, which was the first on the topic in the English language in nearly half a century, Alexander Pruss examines the substantive philosophical issues raised by the Principle Reason. Discussing various forms of the PSR and selected historical episodes, from Parmenides, Leibnez, and Hume, Pruss defends the claim that every true contingent proposition must have an explanation against major objections, including Hume's imaginability argument and Peter van Inwagen's argument that the PSR entails modal fatalism. Pruss also provides a number of positive arguments for the PSR, based on considerations as different as the metaphysics of existence, counterfactuals and modality, negative explanations, and the everyday applicability of the PSR. Moreover, Pruss shows how the PSR would advance the discussion in a number of disparate fields, including meta-ethics and the philosophy of mathematics.

This collection of essays is dedicated to 'Joe' Karel Lambert. The contributors are all personally affected to Joe in some way or other, but they are definitely not the only ones. Whatever excuses there are - there are some -, the editors apologize to whomever they have neglected. But even so the collection displays how influential Karel Lambert has been, personally and through his teaching and his writings. The display is in alphabetical order - with one exception: Bas van Fraassen, being about the earliest student of Karel Lambert, opens the collection with some reminiscences. Naturally, one of the focal points of this volume is Lambert's logical thinking and (or: freed of) ontological thinking. Free logic is intimately connected with description theory. Bas van Fraassen gives a survey of the development of the area, and Charles Daniels points to difficulties with definite descriptions in modal contexts and stories. Peter Woodruff addresses the relation between free logic and supervaluation semantics, presenting a novel condition which recovers desirable metatheoretic properties for free logic under that semantics. Terence Parsons shows how free logic can be utilized in interpreting sentences as purporting to denote events (true ones succeed and false ones fail) and how this helps to understand natural language.