Skip to main content

Prawitz's Epistemic Grounding

An Investigation into the Power of Deduction

  • Book
  • © 2023

Overview

  • Answers one of the most fundamental questions in logic
  • Presents an in-depth and critical reconstruction of Dag Prawitz’s epistemic grounding
  • Discusses Dag Prawitz's epistemic grounding within the broader field of proof-theoretic semantics

Part of the book series: Synthese Library (SYLI, volume 469)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 99.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 129.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 chapters)

  1. The Idea of Epistemic Grounding

  2. Formal Epistemic Grounding

Keywords

About this book

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion.

The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as foundin his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved.

Authors and Affiliations

  • Institute of Philosophy, Czech Academy of Sciences, Prague, Czech; Aix-Marseille University, CNRS, Centre Granger, Aix-en-Provence, France, Prague, Czech Republic

    Antonio Piccolomini d’Aragona

About the author

I obtained my Bachelor Degree in Philosophy at the “Federico II” University of Naples in 2009, and my Master Degree in Philosophy at the “La Sapienza” University of Rome in 2014. I achieved the Doctoral Degree in Philosophy in 2019, with a dissertation about Dag Prawitz’s theory of grounds under the conjoint direction of prof. Gabriella Crocco (Aix-Marseille University) and prof. Cesare Cozzo (“La Sapienza” University of Rome). I am currently teaching History and Philosophy of Science, Logic and Philosophy of Logic, and Philosophy of Mathematics, at the Science and Philosophy Departments of the Aix-Marseille University.
Broadly, I deal with mathematical logic and philosophy of logic. More specifically, I am interested into constructive logics and proof-theoretic semantics (particularly Prawitz’s semantics) stemming from the intuitionistic tradition. As a parallel project, I investigate whether Kreisel’s informal rigour and Goedel’s absolute provability can be read through the lens of contemporary constructivist approaches. A minor interest concerns a socio-epistemological study of scientific controversies.

Bibliographic Information

  • Book Title: Prawitz's Epistemic Grounding

  • Book Subtitle: An Investigation into the Power of Deduction

  • Authors: Antonio Piccolomini d’Aragona

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-3-031-20294-0

  • Publisher: Springer Cham

  • eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

  • Hardcover ISBN: 978-3-031-20293-3Published: 02 January 2023

  • Softcover ISBN: 978-3-031-20296-4Published: 03 January 2024

  • eBook ISBN: 978-3-031-20294-0Published: 01 January 2023

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: VIII, 282

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Logic, Mathematical Logic and Foundations, Epistemology, Philosophy of Mathematics

Publish with us