How do we explain the truth of true propositions? Truthmaker theory is the branch of metaphysics that explores the relationships between what is true and what exists. It plays an important role in contemporary debates about the nature of metaphysics and metaphysical enquiry.In this book Jonathan Tallant argues, controversially, that we should reject truthmaker theory. In its place he argues for an 'explanationist' approach. Drawing on a deflationary theory of truth he shows that it...

Visiting her Grandfather for the first time, little Andrea is told the story of a magical tree that grows in grandpa's front yard - the home of the Wishing Elves, who grant wishes for children. Peter the elf lives there, but she has to leave before she finds him. A bad accident befalls Andrea on the way home and Grandpa hopes he can Wish her better. But will Peter be allowed to grant a grownup's wish?

The idea that time does not exist is, for many, unthinkable: time must exist. Almost every experience we have tells us so. There has been plenty of debate around what time is like, but not whether it exists. The goal of this book is to make the absence of time thinkable. Time might not exist. Beginning with an empirically flavoured examination of the 'folk' concept of time, the book explores the implications this has for our understanding of agency, and the extent to which our bes...

In this lively and entertaining introduction to the philosophy of mind, Edward Feser explores the questions central to the discipline; such as 'do computers think', and 'what is consciousness'; and gives an account of all the most important and significant attempts that have been made to answer them.

This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are exp...

A brief account of philosophical logic from one of the world's leading authoritiesPhilosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometime...

In this book one of the world's foremost philosophers of language presents his unifying vision of the field--its principal achievements, its most pressing current questions, and its most promising future directions. In addition to explaining the progress philosophers have made toward creating a theoretical framework for the study of language, Scott Soames investigates foundational concepts--such as truth, reference, and meaning--that are central to the philosophy of language and important ...

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value?This clear and engaging book takes a unique approach, encompassing non-standard topics such as the role of visual reasoning, the importance of notation, and the place of ...

David Chalmers develops a picture of reality on which all truths can be derived from a limited class of basic truths. The picture is inspired by Rudolf Carnap's construction of the world in Der Logische Aufbau Der Welt. Carnap's Aufbau is often seen as a noble failure, but Chalmers argues that a version of the project can succeed. With the right basic elements and the right derivation relation, we can indeed construct the world. The focal point of Chalmers' project is scrutability: the the...

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The impo...

Written by a leading expert, this is the ideal guide to the only book Wittgenstein published during his lifetime, the Tractatus Logico-Philosophicus. Michael Morris makes sense of Wittgenstein’s brief but often cryptic text, highlighting its key themes. He introduces and analyzes:Wittgenstein’s life and the background to the Tractatusthe ideas and text of the Tractatusthe continuing importance of Wittgenstein's work to philosophy...

It seems reasonable to believe that there might have existed things other than those that in fact exist, or have existed. But how should we understand such claims? Standard semantic theories exploit the Leibnizian metaphor of a set of all possible worlds: a proposition might or must be true if it is true in some or all possible worlds. The actualist, who believes that nothing exists except what actually exists, prefers to talk of possible states of the world, or of ways that a world might ...