Entailment, Vol. II (eBook)

The Logic of Relevance and Necessity

Alan Ross Anderson, Jr. Belnap Nuel D., J. Michael Dunn (Autoren)

eBook Download: PDF

2017
778 Seiten
Princeton University Press (Verlag)
978-1-4008-8707-1 (ISBN)

Infos

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 "e;arbitrary objects."e; 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.

Produkt-Details

• Erscheint lt. Verlag: 14.3.2017
• Reihe/Serie: Princeton Legacy Library
• Reihe/Serie: Princeton Legacy Library
• Verlagsort: Princeton
• Sprache: englisch
• Themenwelt: Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
• Themenwelt: Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie
• Schlagworte: Accessibility relation • Addition • Admissible Rule • Antisymmetric relation • Approximation • associative property • asymmetry • Atomic sentence • Axiom • Barcan formula • betweenness • Big O notation • Classical Logic • Classical modal logic • Combinatory Logic • commutative property • Complete theory • Comprehension (logic) • Conjunction elimination • Conjunctive normal form • conservative extension • consistency • Contradiction • Contraposition • counterexample • Decidability (logic) • Decision problem • Deduction theorem • Deductive Reasoning • Degree of truth • Deontic Logic • Direct proof • Disjunction introduction • Disjunctive normal form • Disjunctive syllogism • double negation • empty set • Existential generalization • existential quantification • Exportation (logic) • Finite model property • Gödel's completeness theorem • hypothesis • Identity theorem • Impossible world • inference • Infimum and supremum • interpolation theorem • Intuitionism • Intuitionistic Logic • Linear Logic • Logic • Logical conjunction • Logical connective • logical consequence • Logical disjunction • Logical truth • L-theory • Material implication (rule of inference) • Mathematical fallacy • Mathematical Induction • Minimal logic • Modal Logic • Modus Ponens • modus tollens • Natural deduction • Naturalness (physics) • Negation • Negation introduction • Non-monotonic logic • Notation • Null set • Parameter • Predicate (mathematical logic) • Predicate variable • Prenex normal form • Propositional Calculus • Propositional variable • Quantifier (logic) • relevance logic • Rule of inference • satisfiability • Semantics • Semilattice • sequent • soundness • Special case • Subset • Successor function • Suggestion • Tautology (logic) • Theorem • theory • Truth • Truth function • Truth value • Universal instantiation • Validity • Variable (mathematics) • Zorn's lemma
• ISBN-10: 1-4008-8707-0 / 1400887070
• ISBN-13: 978-1-4008-8707-1 / 9781400887071