Logical reasoning with diagrams:
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
New York
Oxford University Press
1996
|
| Schriftenreihe: | Studies in logic and computation
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references and index Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno |
| Beschreibung: | 1 Online-Ressource (xv, 270 pages) |
| ISBN: | 0195355865 9780195104271 9780195355864 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043072824 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s1996 |||| o||u| ||||||eng d | ||
| 020 | |a 0195355865 |c electronic bk. |9 0-19-535586-5 | ||
| 020 | |a 9780195104271 |9 978-0-19-510427-1 | ||
| 020 | |a 9780195355864 |c electronic bk. |9 978-0-19-535586-4 | ||
| 035 | |a (OCoLC)435911853 | ||
| 035 | |a (DE-599)BVBBV043072824 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Logical reasoning with diagrams |c edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others] |
| 264 | 1 | |a New York |b Oxford University Press |c 1996 | |
| 300 | |a 1 Online-Ressource (xv, 270 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and computation | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic | ||
| 500 | |a PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Charts, diagrams, etc | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 0 | 7 | |a Diagramm |0 (DE-588)4012044-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Diagramm |0 (DE-588)4012044-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Allwein, Gerard |e Sonstige |4 oth | |
| 700 | 1 | |a Barwise, Jon |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-19-510427-7 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028497016 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175457633959936 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV043072824 |
| classification_rvk | CC 2600 SK 130 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)435911853 (DE-599)BVBBV043072824 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03750nmm a2200613zc 4500</leader><controlfield tag="001">BV043072824</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s1996 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0195355865</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-19-535586-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195104271</subfield><subfield code="9">978-0-19-510427-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195355864</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-19-535586-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)435911853</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043072824</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical reasoning with diagrams</subfield><subfield code="c">edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 270 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and computation</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Knowledge representation (Information theory)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Charts, diagrams, etc</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diagramm</subfield><subfield code="0">(DE-588)4012044-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Diagramm</subfield><subfield code="0">(DE-588)4012044-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Allwein, Gerard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barwise, Jon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-19-510427-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028497016</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043072824 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:36Z |
| institution | BVB |
| isbn | 0195355865 9780195104271 9780195355864 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028497016 |
| oclc_num | 435911853 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xv, 270 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Oxford University Press |
| record_format | marc |
| series2 | Studies in logic and computation |
| spelling | Logical reasoning with diagrams edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others] New York Oxford University Press 1996 1 Online-Ressource (xv, 270 pages) txt rdacontent c rdamedia cr rdacarrier Studies in logic and computation Includes bibliographical references and index Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno Logic, Symbolic and mathematical MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Symbolische logica gtt Redeneren gtt Logic, Symbolic and mathematical Charts, diagrams, etc Knowledge representation (Information theory) Diagramm (DE-588)4012044-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Diagramm (DE-588)4012044-2 s 1\p DE-604 Allwein, Gerard Sonstige oth Barwise, Jon Sonstige oth Erscheint auch als Druck-Ausgabe, Hardcover 0-19-510427-7 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logical reasoning with diagrams Logic, Symbolic and mathematical MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Symbolische logica gtt Redeneren gtt Logic, Symbolic and mathematical Charts, diagrams, etc Knowledge representation (Information theory) Diagramm (DE-588)4012044-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4012044-2 (DE-588)4037951-6 |
| title | Logical reasoning with diagrams |
| title_auth | Logical reasoning with diagrams |
| title_exact_search | Logical reasoning with diagrams |
| title_full | Logical reasoning with diagrams edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others] |
| title_fullStr | Logical reasoning with diagrams edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others] |
| title_full_unstemmed | Logical reasoning with diagrams edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others] |
| title_short | Logical reasoning with diagrams |
| title_sort | logical reasoning with diagrams |
| topic | Logic, Symbolic and mathematical MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Symbolische logica gtt Redeneren gtt Logic, Symbolic and mathematical Charts, diagrams, etc Knowledge representation (Information theory) Diagramm (DE-588)4012044-2 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical MATHEMATICS / Infinity MATHEMATICS / Logic Knowledge representation (Information theory) Symbolische logica Redeneren Logic, Symbolic and mathematical Charts, diagrams, etc Diagramm Mathematische Logik |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=287544 |
| work_keys_str_mv | AT allweingerard logicalreasoningwithdiagrams AT barwisejon logicalreasoningwithdiagrams |