Three Views of Logic : : Mathematics, Philosophy, and Computer Science / / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel.
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessib...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2014-2015 |
---|---|
VerfasserIn: | |
MitwirkendeR: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2014] ©2014 |
Year of Publication: | 2014 |
Edition: | Course Book |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (344 p.) :; 7 line illus. 10 tables. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9781400848751 |
---|---|
lccn |
2013949122 |
ctrlnum |
(DE-B1597)453964 (OCoLC)979579735 |
collection |
bib_alma |
record_format |
marc |
spelling |
Loveland, Donald W., author. aut http://id.loc.gov/vocabulary/relators/aut Three Views of Logic : Mathematics, Philosophy, and Computer Science / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel. Course Book Princeton, NJ : Princeton University Press, [2014] ©2014 1 online resource (344 p.) : 7 line illus. 10 tables. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Frontmatter -- Contents -- Preface -- Acknowledgments -- Part 1. Proof Theory -- Part 2. Computability Theory -- Part 3. Philosophical Logic -- References -- Index restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses Issued also in print. 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 30. Aug 2021) Computable functions. Nonclassical mathematical logic. Proof theory. MATHEMATICS / Logic. bisacsh Hodel, Richard E., author. aut http://id.loc.gov/vocabulary/relators/aut Hodel, Richard E., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Loveland, Donald W., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Sterrett, S. G., author. aut http://id.loc.gov/vocabulary/relators/aut Sterrett, S. G., contributor. ctb https://id.loc.gov/vocabulary/relators/ctb Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2014-2015 9783110665925 print 9780691160443 https://doi.org/10.1515/9781400848751 https://www.degruyter.com/isbn/9781400848751 Cover https://www.degruyter.com/cover/covers/9781400848751.jpg |
language |
English |
format |
eBook |
author |
Loveland, Donald W., Loveland, Donald W., Hodel, Richard E., Sterrett, S. G., |
spellingShingle |
Loveland, Donald W., Loveland, Donald W., Hodel, Richard E., Sterrett, S. G., Three Views of Logic : Mathematics, Philosophy, and Computer Science / Frontmatter -- Contents -- Preface -- Acknowledgments -- Part 1. Proof Theory -- Part 2. Computability Theory -- Part 3. Philosophical Logic -- References -- Index |
author_facet |
Loveland, Donald W., Loveland, Donald W., Hodel, Richard E., Sterrett, S. G., Hodel, Richard E., Hodel, Richard E., Hodel, Richard E., Hodel, Richard E., Loveland, Donald W., Loveland, Donald W., Sterrett, S. G., Sterrett, S. G., Sterrett, S. G., Sterrett, S. G., |
author_variant |
d w l dw dwl d w l dw dwl r e h re reh s g s sg sgs |
author_role |
VerfasserIn VerfasserIn VerfasserIn VerfasserIn |
author2 |
Hodel, Richard E., Hodel, Richard E., Hodel, Richard E., Hodel, Richard E., Loveland, Donald W., Loveland, Donald W., Sterrett, S. G., Sterrett, S. G., Sterrett, S. G., Sterrett, S. G., |
author2_variant |
r e h re reh r e h re reh r e h re reh d w l dw dwl d w l dw dwl s g s sg sgs s g s sg sgs s g s sg sgs |
author2_role |
VerfasserIn VerfasserIn MitwirkendeR MitwirkendeR MitwirkendeR MitwirkendeR VerfasserIn VerfasserIn MitwirkendeR MitwirkendeR |
author_sort |
Loveland, Donald W., |
title |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / |
title_sub |
Mathematics, Philosophy, and Computer Science / |
title_full |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel. |
title_fullStr |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel. |
title_full_unstemmed |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel. |
title_auth |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / |
title_alt |
Frontmatter -- Contents -- Preface -- Acknowledgments -- Part 1. Proof Theory -- Part 2. Computability Theory -- Part 3. Philosophical Logic -- References -- Index |
title_new |
Three Views of Logic : |
title_sort |
three views of logic : mathematics, philosophy, and computer science / |
publisher |
Princeton University Press, |
publishDate |
2014 |
physical |
1 online resource (344 p.) : 7 line illus. 10 tables. Issued also in print. |
edition |
Course Book |
contents |
Frontmatter -- Contents -- Preface -- Acknowledgments -- Part 1. Proof Theory -- Part 2. Computability Theory -- Part 3. Philosophical Logic -- References -- Index |
isbn |
9781400848751 9783110665925 9780691160443 |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA9 |
callnumber-sort |
QA 19.54 L68 42014 |
url |
https://doi.org/10.1515/9781400848751 https://www.degruyter.com/isbn/9781400848751 https://www.degruyter.com/cover/covers/9781400848751.jpg |
illustrated |
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/9781400848751 |
oclc_num |
979579735 |
work_keys_str_mv |
AT lovelanddonaldw threeviewsoflogicmathematicsphilosophyandcomputerscience AT hodelricharde threeviewsoflogicmathematicsphilosophyandcomputerscience AT sterrettsg threeviewsoflogicmathematicsphilosophyandcomputerscience |
status_str |
n |
ids_txt_mv |
(DE-B1597)453964 (OCoLC)979579735 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2014-2015 |
is_hierarchy_title |
Three Views of Logic : Mathematics, Philosophy, and Computer Science / |
container_title |
Title is part of eBook package: De Gruyter Princeton University Press Complete eBook-Package 2014-2015 |
author2_original_writing_str_mv |
noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField noLinkedField |
_version_ |
1806143564829163520 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04942nam a22007935i 4500</leader><controlfield tag="001">9781400848751</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20210830012106.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">210830t20142014nju fo d z eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2013949122</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781400848751</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781400848751</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)453964</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)979579735</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="0" ind2="0"><subfield code="a">QA9.54</subfield><subfield code="b">.L68 2014</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.L684 2014eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W., </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">Three Views of Logic :</subfield><subfield code="b">Mathematics, Philosophy, and Computer Science /</subfield><subfield code="c">Donald W. Loveland, S. G. Sterrett, Richard E. Hodel.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Course Book</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ : </subfield><subfield code="b">Princeton University Press, </subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (344 p.) :</subfield><subfield code="b">7 line illus. 10 tables.</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="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">Preface -- </subfield><subfield code="t">Acknowledgments -- </subfield><subfield code="t">Part 1. Proof Theory -- </subfield><subfield code="t">Part 2. Computability Theory -- </subfield><subfield code="t">Part 3. Philosophical Logic -- </subfield><subfield code="t">References -- </subfield><subfield code="t">Index</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">Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic Treats traditional logic in a modern format Presents relevance logic with applications Provides an ideal text for a variety of one-semester upper-level undergraduate courses</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</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 30. Aug 2021)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computable functions.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Nonclassical mathematical logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hodel, Richard E., </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">Hodel, Richard E., </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="700" ind1="1" ind2=" "><subfield code="a">Loveland, Donald W., </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="700" ind1="1" ind2=" "><subfield code="a">Sterrett, S. G., </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">Sterrett, S. 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="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">Princeton University Press Complete eBook-Package 2014-2015</subfield><subfield code="z">9783110665925</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9780691160443</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781400848751</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781400848751</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/cover/covers/9781400848751.jpg</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-066592-5 Princeton University Press Complete eBook-Package 2014-2015</subfield><subfield code="c">2014</subfield><subfield code="d">2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_MTPY</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_MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA12STME</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA13ENGE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA18STMEE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield></record></collection> |