This wide-ranging collection of essays explores the nature of logic and the key issues and debates in the metaphysics of logic.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

This edited volume is a comprehensive presentation of views on the relations between metaphysics and logic from Aristotle through twentieth century philosophers who contributed to the return of metaphysics in the analytic tradition. The collection combines interest in logic and its history with interest in analytical metaphysics and the history of metaphysical thought. By so doing, it adds both to the historical understanding of metaphysical problems and to contemporary research in the field. Throughout the volume, essays focus on metaphysica generalis, or the systematic study of the most general categories of being. Beginning with Aristotle and his Categories , the volume goes on to trace metaphyscis and logic through the late ancient and Arabic traditions, examining the views of Thomas Aquinas, Duns Scotus, and William Ockham. Moving into the early modern period, contributors engage with Leibniz's metaphysics, Kant's critique of metaphysics, the relation between logic and ontology in Hegel, and Bolzano's views. Subsequent chapters address: Charles S. Peirce's logic and metaphysics; the relevance of set-theory to metaphysics; Meinong's theory of objects; Husserl's formal ontology; early analytic philosophy; C.I. Lewis and his relation to Russell; and the relations between Frege, Carnap, and Heidegger. Surveying metaphysics through to the contemporary age, essays explore W.V. Quine's attitude towards metaphysics; Wilfrid Sellars's relation to antidescriptivism as it connects to Kripke's; the views of Putnam and Kaplan; Peter F. Strawson's and David M. Armstrong's metaphysics; Trope theory; and its relation to Popper's conception of three worlds. The volume ends with a chapter on transcendental philosophy as ontology. In each chapter, contributors approach their topics not merely in an historical and exegetical fashion, but also engage critically with the thought of the philosophers whose work they discuss, offering synthesis and original philosophical thought in the volume, in addition to very extensive and well-informed analysis and interpretation of important philosophical texts. The volume will serve as an essential reference for scholars of metaphysics and logic.

Towards Non-Being presents an account of the semantics of intentional language - verbs such as 'believes', 'fears', 'seeks', 'imagines'. Graham Priest's account tackles problems concerning intentional states which are often brushed under the carpet in discussions of intentionality, such as their failure to be closed under deducibility. Drawing on the work of the late Richard Routley (Sylvan), it proceeds in terms of objects that may be either existent or non-existent, atworlds that may be either possible or impossible. Since Russell, non-existent objects have had a bad press in Western philosophy; Priest mounts a full-scale defence. In the process, he offers an account of both fictional and mathematical objects as non-existent.The book will be of central interest to anyone who is concerned with intentionality in the philosophy of mind or philosophy of language, the metaphysics of existence and identity, the philosophy or fiction, the philosophy of mathematics, or cognitive representation in AI.

Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.

The renaissance in Hegel scholarship over the past two decades has largely ignored or marginalized the metaphysical dimension of his thought, perhaps most vigorously when considering his social and political philosophy. Many scholars have consistently maintained that Hegel’s political philosophy must be reconstructed without the metaphysical structure that Hegel saw as his crowning philosophical achievement. This book brings together twelve original essays that explore the relation between Hegel’s metaphysics and his political, social, and practical philosophy. The essays seek to explore what normative insights and positions can be obtained from examining Hegel’s distinctive view of the metaphysical dimensions of political philosophy. His ideas about the good, the universal, freedom, rationality, objectivity, self-determination, and self-development can be seen in a new context and with renewed understanding once their relation to his metaphysical project is considered. Hegel’s Metaphysics and the Philosophy of Politics will be of great interest to scholars of Hegelian philosophy, German Idealism, nineteenth-century philosophy, political philosophy, and political theory.

Hegel frequently claimed that the heart of his entire system was a book widely regarded as among the most difficult in the history of philosophy, The Science of Logic. This is the book that presents his metaphysics, an enterprise that he insists can only be properly understood as a “logic,” or a “science of pure thinking.” Since he also wrote that the proper object of any such logic is pure thinking itself, it has always been unclear in just what sense such a science could be a “metaphysics.” Robert B. Pippin offers here a bold, original interpretation of Hegel’s claim that only now, after Kant’s critical breakthrough in philosophy, can we understand how logic can be a metaphysics. Pippin addresses Hegel’s deep, constant reliance on Aristotle’s conception of metaphysics, the difference between Hegel’s project and modern rationalist metaphysics, and the links between the “logic as metaphysics” claim and modern developments in the philosophy of logic. Pippin goes on to explore many other facets of Hegel’s thought, including the significance for a philosophical logic of the self-conscious character of thought, the dynamism of reason in Kant and Hegel, life as a logical category, and what Hegel might mean by the unity of the idea of the true and the idea of the good in the “Absolute Idea.” The culmination of Pippin’s work on Hegel and German idealism, this is a book that no Hegel scholar or historian of philosophy will want to miss.

This book begins with standard ontological topics--such as the nature of existence--and of metaphysics generally, such as the status of universals, form, and accidents. What is the proper subject matter of metaphysical speculation? Are essence and existence really distinct in bodies? Does the body lose its unifying form at death? Can an accident of a substance exist in separation from that substance? Are universals real, and, if so, are they anything more than general concepts? Among the figures it examines are Thomas Aquinas, John Duns Scotus, William of Ockham, Walter Chatton, John Buridan, Dietrich of Freiburg, Robert Holcot, Walter Burley, and the 11th-century Islamic philosopher Ibn-Sina (Avicenna).There is also an emphasis on metaphysics broadly conceived. Thus, additional discussions of connected topics in medieval logic, epistemology, and language provide a fuller account of the range of ideas included in the later medieval worldview.