Includes bibliographical references and index.

Introduction: Logic, philosophical logic / Dale Jacquette -- Ancient greek philosophical logic / Robin Smith -- History of logic: medieval / E.P. Bos, B.G. Sundholm -- The rise of modern logic / Rolf George, James Van Evra -- Language, logic, and form / Kent Bach -- Puzzles about intensionality / Nathan Salmon -- Symbolic logic and natural language / Emme Borg, Ernest Lepore -- Logical paradoxes / James Cargile -- Semantical and logical paradox / Keith Simmons -- Philosophical implications of logical paradoxes / Roy A. Sorensen -- Truth, the liar, and Tarski's semantics / Gila Sher / Truth, the liar, and Tarskian truth definition / Greg Ray -- Descriptions and logical form / Gary Ostertag -- Russell's theory of definite descriptions as a paradigm for philosophy / Gregory Landini -- Necessity, meaning, and rationality: the notion of logical consequence / Stewart Shapiro -- Varieties of consequence / B.G. Sundholm -- Modality of deductively valid inference / Dale Jacquette -- Quantifiers, being, and canonical notation / Paul Gochet -- From logic to ontology: some problems of prediction, negation, and possibility / Herbert Hochberg -- Putting language first: the 'liberation' of logic from ontology / Ermanno Bencivenga -- Metatheory / Alasdair Urquhart -- Metatheory of logics and the characterization problem / Jan Woleński -- Logic in finite structures: definability, complexity, and randomness / Scott Weinstein -- Logic and ontology: numbers and sets / Jośe A. Benardete -- Logical foundations of set theory and mathematics / Mary Tiles -- Property-theoretic foundations of mathematics / Michael Jubien -- Modal logic / Johan van Benthem -- First-order alethic modal logic / Melvin Fitting -- Proofs and expressiveness in alethic modal logic / Maarten de Rijke, Hainrich Wansing -- Alethic modal logics and semantics / Gerhard Schurz -- Epistemic logic / Nicholas Rescher -- Deontic, Epistemic, Temporal modal logics / Risto Hilpinen -- Intuitonism / Dirk van Dalen, Mark van Atten -- Many-valued, free, and intuitionistic logics / Richard Grandy -- Many-valued logic / Grzegorz Malinowski -- Inductive logic / Stephan Glaister -- Heterodox probability theory / Peter Forrest -- Why fuzzy logic? / Peter Hajek -- Revelance logic / Edwin D. Mares -- On paraconsistency / Bryson Brown -- Logicians setting together contradictories: a perspective on relevance, paraconsistency, and dialetheism / Graham Priest -- The logical and physical / Andrew Hodges -- Modern logic and its role in the study of knowledge / Peter A. Flach -- Actions and normative positions: a modal-logical approach / Robert Demolombe, Andrew J.I. Jones -- The automation of sound reasoning and successful proof finding / Larry Wos, Brandon Fitelson -- A computational logic for applicative common LISP / Matt Kaufmen, J. Strother Moore -- Sampling labeled deductive systems / D.M. Gabbay.

This collection of newly commissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Written by experts from a variety of different logical and philosophical perspectives, the volume presents controversies in philosophical implications and applications of formal symbolic logic. Each section features contributors currently active in research who explain the central ideas of their special field and take a philosophical stand on recent issues in the intersection of logic and analytic philosophy.

Print version record.