Entailment, Vol. II : : The Logic of Relevance and Necessity / / Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn.
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...
Saved in:
VerfasserIn: | |
---|---|
MitwirkendeR: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2017] ©1992 |
Year of Publication: | 2017 |
Language: | English |
Series: | Princeton Legacy Library ;
5027 |
Online Access: | |
Physical Description: | 1 online resource (778 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781400887071 |
---|---|
ctrlnum |
(DE-B1597)482101 (OCoLC)1004874287 |
collection |
bib_alma |
record_format |
marc |
spelling |
Anderson, Alan Ross, author. aut http://id.loc.gov/vocabulary/relators/aut Entailment, Vol. II : The Logic of Relevance and Necessity / Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn. Princeton, NJ : Princeton University Press, [2017] ©1992 1 online resource (778 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Princeton Legacy Library ; 5027 Frontmatter -- CONTENTS -- ANALYTICAL TABLE OF CONTENTS -- PREFACE -- ACKNOWLEDGMENTS -- SUMMARY REVIEW OF VOLUME I -- CHAPTER VI. THE THEORY OF ENTAILMENT -- CHAPTER VII. INDIVIDUAL QUANTIFICATION -- CHAPTER VIII. ACKERMANN'S STRENGE IMPLIKATION -- CHAPTER IX. SEMANTICS -- CHAPTER X. PROOF THEORY AND DECIDABILITY -- CHAPTER XI. FUNCTIONS, ARITHMETIC, AND OTHER SPECIAL TOPICS -- CHAPTER XII. APPLICATIONS AND DISCUSSION -- BIBLIOGRAPHY -- INDEX OF NAMES -- INDEX OF SUBJECTS -- SPECIAL SYMBOLS restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 24. Aug 2021) Entailment (Logic). PHILOSOPHY / Epistemology. bisacsh Belnap, Nuel D., author. aut http://id.loc.gov/vocabulary/relators/aut Dunn, J. Michael, author. aut http://id.loc.gov/vocabulary/relators/aut Wolf, Robert G., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb https://doi.org/10.1515/9781400887071 https://www.degruyter.com/isbn/9781400887071 Cover https://www.degruyter.com/cover/covers/9781400887071.jpg |
language |
English |
format |
eBook |
author |
Anderson, Alan Ross, Anderson, Alan Ross, Belnap, Nuel D., Dunn, J. Michael, |
spellingShingle |
Anderson, Alan Ross, Anderson, Alan Ross, Belnap, Nuel D., Dunn, J. Michael, Entailment, Vol. II : The Logic of Relevance and Necessity / Princeton Legacy Library ; Frontmatter -- CONTENTS -- ANALYTICAL TABLE OF CONTENTS -- PREFACE -- ACKNOWLEDGMENTS -- SUMMARY REVIEW OF VOLUME I -- CHAPTER VI. THE THEORY OF ENTAILMENT -- CHAPTER VII. INDIVIDUAL QUANTIFICATION -- CHAPTER VIII. ACKERMANN'S STRENGE IMPLIKATION -- CHAPTER IX. SEMANTICS -- CHAPTER X. PROOF THEORY AND DECIDABILITY -- CHAPTER XI. FUNCTIONS, ARITHMETIC, AND OTHER SPECIAL TOPICS -- CHAPTER XII. APPLICATIONS AND DISCUSSION -- BIBLIOGRAPHY -- INDEX OF NAMES -- INDEX OF SUBJECTS -- SPECIAL SYMBOLS |
author_facet |
Anderson, Alan Ross, Anderson, Alan Ross, Belnap, Nuel D., Dunn, J. Michael, Belnap, Nuel D., Belnap, Nuel D., Dunn, J. Michael, Dunn, J. Michael, Wolf, Robert G., Wolf, Robert G., |
author_variant |
a r a ar ara a r a ar ara n d b nd ndb j m d jm jmd |
author_role |
VerfasserIn VerfasserIn VerfasserIn VerfasserIn |
author2 |
Belnap, Nuel D., Belnap, Nuel D., Dunn, J. Michael, Dunn, J. Michael, Wolf, Robert G., Wolf, Robert G., |
author2_variant |
n d b nd ndb j m d jm jmd r g w rg rgw r g w rg rgw |
author2_role |
VerfasserIn VerfasserIn VerfasserIn VerfasserIn MitwirkendeR MitwirkendeR |
author_sort |
Anderson, Alan Ross, |
title |
Entailment, Vol. II : The Logic of Relevance and Necessity / |
title_sub |
The Logic of Relevance and Necessity / |
title_full |
Entailment, Vol. II : The Logic of Relevance and Necessity / Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn. |
title_fullStr |
Entailment, Vol. II : The Logic of Relevance and Necessity / Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn. |
title_full_unstemmed |
Entailment, Vol. II : The Logic of Relevance and Necessity / Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn. |
title_auth |
Entailment, Vol. II : The Logic of Relevance and Necessity / |
title_alt |
Frontmatter -- CONTENTS -- ANALYTICAL TABLE OF CONTENTS -- PREFACE -- ACKNOWLEDGMENTS -- SUMMARY REVIEW OF VOLUME I -- CHAPTER VI. THE THEORY OF ENTAILMENT -- CHAPTER VII. INDIVIDUAL QUANTIFICATION -- CHAPTER VIII. ACKERMANN'S STRENGE IMPLIKATION -- CHAPTER IX. SEMANTICS -- CHAPTER X. PROOF THEORY AND DECIDABILITY -- CHAPTER XI. FUNCTIONS, ARITHMETIC, AND OTHER SPECIAL TOPICS -- CHAPTER XII. APPLICATIONS AND DISCUSSION -- BIBLIOGRAPHY -- INDEX OF NAMES -- INDEX OF SUBJECTS -- SPECIAL SYMBOLS |
title_new |
Entailment, Vol. II : |
title_sort |
entailment, vol. ii : the logic of relevance and necessity / |
series |
Princeton Legacy Library ; |
series2 |
Princeton Legacy Library ; |
publisher |
Princeton University Press, |
publishDate |
2017 |
physical |
1 online resource (778 p.) |
contents |
Frontmatter -- CONTENTS -- ANALYTICAL TABLE OF CONTENTS -- PREFACE -- ACKNOWLEDGMENTS -- SUMMARY REVIEW OF VOLUME I -- CHAPTER VI. THE THEORY OF ENTAILMENT -- CHAPTER VII. INDIVIDUAL QUANTIFICATION -- CHAPTER VIII. ACKERMANN'S STRENGE IMPLIKATION -- CHAPTER IX. SEMANTICS -- CHAPTER X. PROOF THEORY AND DECIDABILITY -- CHAPTER XI. FUNCTIONS, ARITHMETIC, AND OTHER SPECIAL TOPICS -- CHAPTER XII. APPLICATIONS AND DISCUSSION -- BIBLIOGRAPHY -- INDEX OF NAMES -- INDEX OF SUBJECTS -- SPECIAL SYMBOLS |
isbn |
9781400887071 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC199 |
callnumber-sort |
BC 3199 E58 A53 42017EB |
url |
https://doi.org/10.1515/9781400887071 https://www.degruyter.com/isbn/9781400887071 https://www.degruyter.com/cover/covers/9781400887071.jpg |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
511 - General principles of mathematics |
dewey-full |
511.3 |
dewey-sort |
3511.3 |
dewey-raw |
511.3 |
dewey-search |
511.3 |
doi_str_mv |
10.1515/9781400887071 |
oclc_num |
1004874287 |
work_keys_str_mv |
AT andersonalanross entailmentvoliithelogicofrelevanceandnecessity AT belnapnueld entailmentvoliithelogicofrelevanceandnecessity AT dunnjmichael entailmentvoliithelogicofrelevanceandnecessity AT wolfrobertg entailmentvoliithelogicofrelevanceandnecessity |
status_str |
n |
ids_txt_mv |
(DE-B1597)482101 (OCoLC)1004874287 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Entailment, Vol. II : The Logic of Relevance and Necessity / |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1806143647442272256 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05025nam a22006735i 4500</leader><controlfield tag="001">9781400887071</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20210824034702.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">210824t20171992nju fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400887071</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400887071</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)482101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004874287</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">nju</subfield><subfield code="c">US-NJ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC199.E58</subfield><subfield code="b">A53 2017eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Anderson, Alan Ross, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Entailment, Vol. II :</subfield><subfield code="b">The Logic of Relevance and Necessity /</subfield><subfield code="c">Nuel D. Belnap, Alan Ross Anderson, J. Michael Dunn.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ : </subfield><subfield code="b">Princeton University Press, </subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (778 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Princeton Legacy Library ;</subfield><subfield code="v">5027</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">CONTENTS -- </subfield><subfield code="t">ANALYTICAL TABLE OF CONTENTS -- </subfield><subfield code="t">PREFACE -- </subfield><subfield code="t">ACKNOWLEDGMENTS -- </subfield><subfield code="t">SUMMARY REVIEW OF VOLUME I -- </subfield><subfield code="t">CHAPTER VI. THE THEORY OF ENTAILMENT -- </subfield><subfield code="t">CHAPTER VII. INDIVIDUAL QUANTIFICATION -- </subfield><subfield code="t">CHAPTER VIII. ACKERMANN'S STRENGE IMPLIKATION -- </subfield><subfield code="t">CHAPTER IX. SEMANTICS -- </subfield><subfield code="t">CHAPTER X. PROOF THEORY AND DECIDABILITY -- </subfield><subfield code="t">CHAPTER XI. FUNCTIONS, ARITHMETIC, AND OTHER SPECIAL TOPICS -- </subfield><subfield code="t">CHAPTER XII. APPLICATIONS AND DISCUSSION -- </subfield><subfield code="t">BIBLIOGRAPHY -- </subfield><subfield code="t">INDEX OF NAMES -- </subfield><subfield code="t">INDEX OF SUBJECTS -- </subfield><subfield code="t">SPECIAL SYMBOLS</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 24. Aug 2021)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Entailment (Logic).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Epistemology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Belnap, Nuel D., </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dunn, J. Michael, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wolf, Robert G., </subfield><subfield code="e">contributor.</subfield><subfield code="4">ctb</subfield><subfield code="4">https://id.loc.gov/vocabulary/relators/ctb</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400887071</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400887071</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/cover/covers/9781400887071.jpg</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA17SSHEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection> |