Entailment, Vol. II :The Logic of Relevance and Necessity ( Princeton Legacy Library )

Publication subTitle :The Logic of Relevance and Necessity

Publication series :Princeton Legacy Library

Author: Anderson Alan Ross;Belnap Nuel D. Jr.;Dunn J. Michael  

Publisher: Princeton University Press‎

Publication year: 2017

E-ISBN: 9781400887071

P-ISBN(Paperback): 9780691073392

Subject: O141 (mathematical logic) symbolic logic.

Keyword: 认识论,哲学理论

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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 vo

Chapter

Analytical Table of Contents

Preface

Acknowledgments

Summary Review of Volume I

VI. The Theory of Entailment

VII. Individual Quantification

VIII. Ackermann's Strenge Implikation

IX. Semantics

X. Proof Theory and Decidability

XI. Functions, Arithmetic, and Other Special Topics

XII. Applications and Discussion

Bibliography of Entailment (By Robert G. Wolf)

Indices to Volume II

The users who browse this book also browse


No browse record.