|
|
|||
|
||||
OverviewThis 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, reflectinganother of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists. Full Product DetailsAuthor: Ansten KlevPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 2024 ed. Volume: 61 ISBN: 9783031524103ISBN 10: 3031524101 Pages: 510 Publication Date: 03 November 2024 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Forthcoming Availability: Not yet available This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsReviewsAuthor InformationAnsten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a PhD in philosophy under Göran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-Löf's constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests include the philosophies of logic and mathematics more broadly, as well as the words and works of Rudolf Carnap, Richard Dedekind, Gottlob Frege, and Edmund Husserl. Tab Content 6Author Website:Countries AvailableAll regions |