The Architecture and Archaeology of Modern Logic: Studies Dedicated to Göran Sundholm

— —

Ansten Klev

The Architecture and Archaeology of Modern Logic

Name: The Architecture and Archaeology of Modern Logic
Price: 296.98 AUD
Availability: OutOfStock
ISBN: 9783031524103

Studies Dedicated to Göran Sundholm

Ansten Klev

$370.95 $296.98

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
05 November 2024

Philosophy of language; Philosophy; Philosophy: logic; History of ideas

Series: Logic, Epistemology, and the Unity of Science

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, reflectinganother of Sundholm's passions in life. This book is of interest to logicians, philosophers, mathematicians, and computer scientists.

Edited by: Ansten Klev
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Edition: 2024 ed.
Volume: 61
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783031524103
ISBN 10: 3031524101
Series: Logic, Epistemology, and the Unity of Science
Pages: 510
Publication Date: 05 November 2024
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

Ansten 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.