The Metaphysics Of Logic

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

This performance of the Richard Strauss opera Arabella with the Orchestra of the Vienna State Opera features vocalists such as Emily Magee, Genia Kuhmeier, and Tomasz Konieczny in the leading roles. ~ Cammila Collar, Rovi

Offering a full-scale study of the theory of reality hidden beneath modern logic, The Metaphysical Foundations of Logic, a lecture course given in 1928, illuminates the transitional phase in Heidegger's thought from the existential analysis of Being and Time to the overcoming of metaphysics in his later philosophy. In a searching exposition of the metaphysical problems underpinning Leibniz's theory of logical judgment, Heidegger establishes that a given theory of logic is rooted in a certain conception of Being. He explores the significance of Western logic as a system-building technical tool and as a cultural phenomenon that is centuries old.

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.

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.

Articulates and defends a novel theory of properties and propositions, based on Frege's insight that properties are not objects.

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert’s program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights. - Written by leading logicians and philosophers - Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic - Clear, in-depth expositions of technical detail - Progressive organization from general considerations to informal to symbolic logic to nonclassical logics - Presents current work in symbolic logic within a unified framework - Accessible to students, engaging for experts and professionals - Insightful philosophical discussions of all aspects of logic - Useful bibliographies in every chapter

The book discusses the central notion of logic: the concept of logical consequence. It shows that the classical definition of consequence as truth preservation in all models must be restricted to all admissible models. The challenge for the philosophy of logic is therefore to supplement the definition with a criterion for admissible models. The problem of logical constants, so prominent in the current debate, constitutes but a special case of this much more general demarcation problem. The book explores the various dimensions of the problem of admissible models and argues that standard responses are unwarranted. As a result, it develops a new vision of logic, suggesting in particular that logic is deeply imbued with metaphysics.