A01=Alan Ross Anderson
A01=J. Michael Dunn
A01=Jr.
A01=Nuel D. Belnap
Accessibility relation
Admissible rule
Age Group_Uncategorized
Age Group_Uncategorized
Approximation
Associative property
Atomic sentence
Author_Alan Ross Anderson
Author_J. Michael Dunn
Author_Jr.
Author_Nuel D. Belnap
automatic-update
Axiom
Category1=Non-Fiction
Category=HPK
Category=QDTK
Classical logic
Classical modal logic
Commutative property
Complete theory
Comprehension (logic)
Conjunction elimination
Conjunctive normal form
Conservative extension
Consistency
Contradiction
Contraposition
COP=United States
Decidability (logic)
Decision problem
Deduction theorem
Degree of truth
Delivery_Pre-order
Deontic logic
Direct proof
Disjunctive normal form
Disjunctive syllogism
Double negation
eq_isMigrated=2
eq_nobargain
Existential quantification
Exportation (logic)
Finite model property
Hypothesis
Inference
Intuitionism
Intuitionistic logic
Jr.
L-theory
Language_English
Linear logic
Logic
Logical conjunction
Logical connective
Logical consequence
Logical disjunction
Material implication (rule of inference)
Mathematical induction
Minimal logic
Modal logic
Natural deduction
Negation
Negation introduction
Non-monotonic logic
Notation
PA=Temporarily unavailable
Parameter
Predicate (mathematical logic)
Prenex normal form
Price_€100 and above
Propositional calculus
Propositional variable
PS=Active
Quantifier (logic)
Relevance logic
Semantics
Semilattice
Sequent
softlaunch
Soundness
Special case
Subset
Theorem
Theory
Truth function
Truth value
Universal instantiation
Validity
Variable (mathematics)
Zorn's lemma
Product details
- ISBN 9780691654645
- Weight: 1247g
- Dimensions: 152 x 235mm
- Publication Date: 21 Mar 2017
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Hardback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in the area. Originally the aim of Volume II was simply to cover certain topics not treated in the first volume--quantification, for example--or to extend the coverage of certain topics, such as semantics. However, because of the technical progress that has occurred since the publication of the first volume, Volume II now includes other material.
The book contains the work of Alasdair Urquhart, who has shown that the principal sentential systems of relevance logic are undecidable, and of Kit Fine, who has demonstrated that, although the first-order systems are incomplete with respect to the conjectured constant domain semantics, they are still complete with respect to a semantics based on "arbitrary objects." Also presented is important work by the other contributing authors, who are Daniel Cohen, Steven Giambrone, Dorothy L. Grover, Anil Gupta, Glen Helman, Errol P. Martin, Michael A. McRobbie, and Stuart Shapiro. Robert G. Wolf's bibliography of 3000 items is a valuable addition to the volume. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions.
The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.
