The Architecture and Archaeology of Modern Logic

The Architecture and Archaeology of Modern Logic
Author :
Publisher : Springer
Total Pages : 0
Release :
ISBN-10 : 3031524101
ISBN-13 : 9783031524103
Rating : 4/5 (103 Downloads)

Book Synopsis The Architecture and Archaeology of Modern Logic by : Ansten Klev

Download or read book The Architecture and Archaeology of Modern Logic written by Ansten Klev and published by Springer. This book was released on 2024-04-08 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


The Architecture and Archaeology of Modern Logic Related Books