The Architecture and Archaeology of Modern Logic (Record no. 63915)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04538nam a22005415i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-52411-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030113120.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241002s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031524110 |
| -- | 978-3-031-52411-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-52411-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC1-199 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | HPL |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PHI011000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | QDTL |
| Source | thema |
| 245 14 - TITLE STATEMENT | |
| Title | The Architecture and Archaeology of Modern Logic |
| Medium | [electronic resource] : |
| Remainder of title | Studies Dedicated to Göran Sundholm / |
| Statement of responsibility, etc. | edited by Ansten Klev. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | VI, 510 p. 38 illus., 3 illus. in color. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Logic, Epistemology, and the Unity of Science, |
| International Standard Serial Number | 2214-9783 ; |
| Volume/sequential designation | 61 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Chapter 1: A brief summary of Göran Sundholm's philosophical work -- Chapter 2: Formative experiences -- Chapter 3: Bibliography -- Chapter 4: Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable? -- Chapter 5: Dialogical logic and constructive type theory: New explorations -- Chapter 6: Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics -- Chapter 7: How to classify varieties of consequence -- Chapter 8: Informal classical and intuitionistic proofs together -- Chapter 9: Judgmental and definitional equality from a Fregean perspective -- Chapter 10: "Sind die Zahlformeln beweisbar?" -- Chapter 11: Handling mobility failures by modal types -- Chapter 12: The ideal of unity of science tested against the Liar -- Chapter 13: Vindicating the future: A dialogical stance on Belnap's approach to tomorrow's sea battle -- Chapter 14: Goodbye Oxhead. Prolegomena to the philosophy of the letter -- Chapter 15: Logical deducibility and logicality in 1837 -- Chapter 16: Frege on knowing the fundamental laws of logic -- Chapter 17: Sundholm on Wittgenstein and Realism -- Chapter 18: Becker's rule is not Becker's rule -- Chapter 19: Judgment and commitment -- Chapter 20: Natural constructive proofs of A via A → B, proof paradoxes, and impredicativity -- Chapter 21: Gastronomical Platonism. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm’s retirement in 2019, the contributions collected in this volume represent work from leading logicians and philosophers. Reflecting Sundholm’s contributions to the history and philosophy of logic, this book is divided into two parts: the architecture and archaeology of logic. The essays collected in the ‘architecture’ section cover primarily the systematic approach to basic logical concepts taken by Sundholm, including type theory, epistemic assumptions, and notions of consequence. The ‘archaeology’ section includes contributions focused on Sundholm’s contributions to the history of philosophy and logic. Enclosing these two sections are, on the one end, autobiographical remarks of Sundholm's and, on the other, a paper on cooking and philosophy, reflecting another of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Philosophy. |
| 9 (RLIN) | 73516 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | History. |
| 9 (RLIN) | 70495 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 76708 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 73518 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70497 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Klev, Ansten. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 85427 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031524103 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031524127 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031524134 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Logic, Epistemology, and the Unity of Science, |
| International Standard Serial Number | 2214-9783 ; |
| Volume number/sequential designation | 61 |
| 9 (RLIN) | 73718 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-52411-0">https://doi.org/10.1007/978-3-031-52411-0</a> |
| 912 ## - | |
| -- | ZDB-2-REP |
| 912 ## - | |
| -- | ZDB-2-SXPR |
No items available.