The Age of Alternative Logics : Assessing Philosophy of Logic and Mathematics Today / edited by Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser
(Logic, Epistemology, and the Unity of Science. ISSN:22149783 ; 3)
Publisher | (Dordrecht : Springer Netherlands : Imprint: Springer) |
---|---|
Year | 2006 |
Edition | 1st ed. 2006. |
Authors | van Benthem, Johan editor Heinzmann, Gerhard editor Rebuschi, Manuel editor Visser, Henk editor SpringerLink (Online service) |
Hide book details.
Links to the text | Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|---|
Links to the text | Library Off-campus access |
|
OB00167393 | Springer Humanities, Social Sciences and Law eBooks (電子ブック) | 9781402050121 |
|
|
Hide details.
Material Type | E-Book |
---|---|
Media type | 機械可読データファイル |
Size | X, 348 p : online resource |
Notes | From the contents Acknowledgments -- Part I Proof, Knowledge and Computation -- Part II Truth Values Beyond Bivalence -- Part III Category-Theoretic Structures -- Part IV Independence, Evaluation Games and Imperfect Information -- Part V Dialogue and Pragmatics -- Part VI Appendices. Index In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings: - Proof, Knowledge and Computation - Truth Values beyond Bivalence - Category-Theoretic Structures - Independence, Evaluation Games, and Imperfect Information - Dialogue and Pragmatics The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation HTTP:URL=https://doi.org/10.1007/978-1-4020-5012-7 |
Subjects | LCSH:Logic LCSH:Mathematical logic LCSH:Philosophy FREE:Logic FREE:Mathematical Logic and Foundations FREE:Philosophy |
Classification | LCC:BC1-199 DC23:160 |
ID | 8000063708 |
ISBN | 9781402050121 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:3times