| Collation |
xiii, 816 pages : illustrations ; 26 cm. |
|
text txt rdacontent |
|
unmediated n rdamedia |
|
volume nc rdacarrier |
| Series |
Blackwell companions to philosophy ; 22 |
|
Blackwell companions to philosophy ; 22.
|
| Bibliog. |
Includes bibliographical references and index. |
| Contents |
Introduction : logic, philosophy, and philosophical logic / Dale Jacquette -- Ancient Greek philosophical logic / Robin Smith -- History of logic : Medieval / E.P. Bos and B.G. Sundholm -- The rise of modern logic / Rolf George and James Van Evra -- Language, logic, and form / Kent Bach -- Puzzles about intensionality / Nathan Salmon -- Symbolic logic and natural language / Emma Borg and Ernest Lepore -- Logical paradoxes / James Cargile -- Semantical and logical paradox / Keith Simmons -- Philosophical implications of logical paradoxes / Roy A. Sorenson. |
|
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 predication, 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 / José 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 and Heinrich Wansing -- Alethic modal logics and semantics / Gerhard Schurz -- Epistemic logic / Nicholas Rescher -- Deontic, epistemic, and temporal modal logics / Risto Hilpinen -- Intuitionism / Dirk van Dalen and Mark van Atten -- Many-valued, free, and intuitionistic logics / Richard Grandy -- Many-valued logic / Grzegorz Malinowski. |
|
Inductive logic / Stephen Glaister -- Heterodox probability theory / Peter Forrest -- Why fuzzy logic? / Petr Hájek -- Relevance logic / Edwin D. Mares -- On paraconsistency / Bryson Brown -- Logicians setting together contradictories : a perspective on relevance, paraconsistency, and dialetheism / Graham Priest -- The logical and the physical / Andrew W. Hodges -- Modern logic and its role in the study of knowledge / Peter A. Flach -- Actions and normative positions : a modal-logical approach / Robert Demolombe and Andrew J.I. Jones. |
|
The automation of sound reasoning and successful proof finding / Larry Wos and Branden Fitelson -- A computational logic for applicative common LISP / Matt Kaufmann and J. Strother Moore -- Sampling labeled deductive systems / D.M. Gabbay. |
| Subject |
Logic.
|
| Alt Author |
Jacquette, Dale.
|
| ISBN |
0631216715 (alk. paper) |
|
