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