In this book, Yaq?b describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence 'Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather...

An introduction to the concepts and methods of logic that grounds the classical systems in their underlying theory.

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. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness...

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...