It is a fundamental intuition about truth that the conditions under which a sentence is true are given by what the sentence asserts. My aim in this paper is to show that this intuition captures the concept of truth completely and correctly. This is conceptual deflationism, for it does not go beyond what is asserted by a sentence in order to define the truth status of that sentence. This paper, hence, is a defense of deflationism as a conceptual account of (...) truth. This defense is developed in four stages. In the first stage I present a distinction between two types of deflationism, conceptual and metaphysical. This is the central stage of the argument and its main conclusion is that conceptual deflationism when joined with the principle of bivalence is inconsistent with metaphysical deflationism, that is, conceptual deflationism together with bivalence entails a non-deflationary metaphysical account of truth. In the second and third stages of the argument I argue that the totality of the Tarskian biconditionals, when interpreted as definitional biconditionals, offers a description of the nature of truth. In the fourth, and final, stage of the argument I advance a positive case for conceptual deflationism. I explain how the revision theory of truth provides this sort of deflationism with its best evidence: a clear demonstration of its consistency and a compelling argument for its material adequacy. (shrink)

_An Introduction to Metalogic_ is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.

This book reclaims logic as a branch of philosophy, offering a self-contained and complete introduction to the three traditional systems of classical logic and the philosophical issues that surround those systems. The exposition is lucid, clear, and engaging. Practical methods are favored over the traditional, and creative approaches over the merely mechanical. The author’s guiding principle is to introduce classical logic in an intellectually honest way, and not to shy away from difficulties and controversies where they arise. Relevant philosophical issues, (...) such as the relation between the meaning and the referent of a proper name, logical versus metaphysical possibility, and the conceptual content of an expression, are discussed throughout. In this way, the book is not only an introduction to the three main systems of classical logic, but also an introduction to the philosophy of classical logic. (shrink)

Centuries after his death, al-Ghazali remains one of the most influential figures of the Islamic intellectual tradition. Although he is best known for his _Incoherence of the Philosophers_, _Moderation in Belief_ is his most profound work of philosophical theology. In it_,_ he offers what scholars consider to be the best defense of the Ash'arite school of Islamic theology that gained acceptance within orthodox Sunni theology in the twelfth century, though he also diverges from Ash'arism with his more rationalist approach to (...) the _Quran_. Together with _The Incoherence of the Philosophers_, _Moderation in Belief_ informs many subsequent theological debates, and its influence extends beyond the Islamic tradition, informing broader questions within Western philosophical and theological thought. The first complete English-language edition of _Moderation in Belief_, this new annotated translation by Aladdin M. Yaqub draws on the most esteemed critical editions of the Arabic texts and offers detailed commentary that analyzes and reconstructs the arguments found in the work’s four treatises. Explanations of the historical and intellectual background of the texts also enable readers with a limited knowledge of classical Arabic to fully explore al-Ghazali and this foundational text for the first time. With the recent resurgence of interest in Islamic philosophy and the conflict between philosophy and religion, this new translation will be a welcome addition to the scholarship. (shrink)

The medieval Islamic philosophers held a certain conception of the divine unity that assumes the necessary existent to be both one and simple. The oneness of the necessary existent meant that it is the only necessary existent and its simplicity meant that it admits no composition whatsoever – it is pure essence and its essence is necessary existence. In The Incoherence of the Philosophers al-Ġazālī presents, with elaboration, an exposition of the philosophers' conception of the divine unity, several arguments for (...) its two components, and his critique of these arguments. In this paper I focus on six of the arguments attributed to the philosophers. Following the textual evidence, I reconstruct these arguments and offer two possible interpretations of them. The first interpretation, which I call the many-argument interpretation, sees one of the arguments as employing the simplicity of the necessary existent to establish its oneness and the other five arguments as invoking oneness to establish simplicity. The second interpretation, which I call the one-argument interpretation, doesn't offer a new reading for the first argument but sees the other five arguments as defending the simplicity of the necessary existent based on its basic concept. I argue for the superiority of the one-argument interpretation. Résumé Les philosophes de l'Islam classique ont une doctrine de l'unité divine selon laquelle l'existant nécessaire est à la fois unique et simple. Son unicité signifie qu'il est le seul existant nécessaire, sa simplicité qu'il n'admet aucune sorte de composition; il est pure essence et son essence est existence nécessaire. Dans la Destruction des Philosophes, al-Ġazālī présente avec force détails un exposé de la doctrine de l'unité divine des philosophes, plusieurs arguments en faveur de ses deux composantes, ainsi que sa critique de ces arguments. Je me concentre ici sur six des arguments qu'il attribue aux philosophes. En suivant les données textuelles, je reconstruis ces arguments et en propose deux interprétations possibles. La première, que j'appelle l'interprétation “à arguments multiples”, identifie l'un des arguments comme s'appuyant sur la simplicité de l'existant nécessaire pour établir son unicité, et les cinq autres comme s'appuyant sur son unicité pour établir sa simplicité. La seconde, que j'appelle l'interprétation “à argument unique”, conserve la première lecture du premier argument mais voit dans les cinq autres une défense de la simplicité de l'existant nécessaire fondée sur sa notion fondamentale. J'argumente en faveur de la supériorité de l'interprétation “à argument unique”. (shrink)