Philosophical discourse became a constant element in even traditionalist Islamic sciences. However, Aristotelian metaphysics gave rise to doctrines about God and the universe that were found highly objectionable by a number of Muslim theologians, among whom the fourteenth-century scholar Ibn Taymiyya stood foremost.Ibn Taymiyya, one of the greatest and most prolific thinkers of medieval Islam, held Greek logic responsible for the "heretical" metaphysical conclusions reached by Islamic philosophers, theologians, mystics, and others. Unlike Ghazali, who rejected philosophical metaphysics but embraced logic, Ibn Taymiyya considered the two inextricably connected. He therefore set out to refute philosophical logic, a task which culminated in one of the most devastating attacks ever levelled against the logical system upheld by the early Greeks, the later commentators, and their Muslim followers. His argument is grounded in an empirical approach that in many respects prefigures the philosophies of the British empiricists.Professor Hallaq's translation, with a substantial introduction and extensive notes, makes available to a wider audience for the first time an important work that will be of interest to specialists in ancient and medieval philosophy and to historians of logic and empiricist philosophy, as well as to scholars of Islam and Middle Eastern thought.

    According to the author, these trends sought to create a unified conceptual apparatus as a common basis for the whole of human knowledge.Because these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.Part One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.

    The first essay here introduces themes initially viewed as iconoclastic, such as the necessity of identity, the directly referential role of proper names as tags, the Barcan Formula about the interplay of possibility and existence, and alternative interpretations of quantification. Marcus also addresses the putative puzzles about substitutivity and about essentialism. The collection also includes influential essays on moral conflict, on belief and rationality, and on some historical figures. Many of her views have been incorporated into current theories, while others remain part of a continuing debate.