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
Chapters in the book cover the state of the art in contemporary philosophy of logic, and allow students to understand the philosophical relevance of these debates without having to contend with complex technical arguments.
As an example , compare Mendelson's and Meredith's axiom schemata , both in ' - ' and ' + ' , for 2 - valued sentence calculus : Mendelson's set : 1. ( A → ( B → A ) ) 2. ( A → ( B − C ) ) → ( ( A → B ) → ( A → C ) ) ) 3.
With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language.
In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who ...
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.
The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted.
With this series, students of philosophy will be able to discover the richness of philosophical inquiry across a wide array of concepts, including hallmark philosophical themes and themes typically underrepresented in mainstream philosophy ...
First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist.
Introduces students to non-classical logic, syllogistic, to quantificational and modal logic. The book includes exercises throughout and a glossary of terms and symbols.
Roberts was a charismatic professor whose use of the Moore method inspired me to pursue an academic research career in set-theoretic topology. Although Roberts is my mathematical father, J. R. Shoenfield is surely my mathematical uncle.