LEADER 03816nam  22006375  450 
001 9910637719503321
005 20251113180759.0
010   $a9783031202940$b(electronic bk.)
010   $z9783031202933
024 7 $a10.1007/978-3-031-20294-0
035   $a(MiAaPQ)EBC7167870
035   $a(Au-PeEL)EBL7167870
035   $a(CKB)25936577100041
035   $a(DE-He213)978-3-031-20294-0
035   $a(EXLCZ)9925936577100041
100   $a20230101d2023      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aPrawitz's Epistemic Grounding $eAn Investigation into the Power of Deduction /$fby Antonio Piccolomini d?Aragona
205   $a1st ed. 2023.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023.
215   $a1 online resource (284 pages)
225 1 $aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x2542-8292 ;$v469
311 08$aPrint version: Piccolomini d'Aragona, Antonio Prawitz's Epistemic Grounding Cham : Springer International Publishing AG,c2023 9783031202933 
320   $aIncludes bibliographical references and index.
327   $a1. Introduction -- Part I. The idea of epistemic grounding. 2. From models to evidence -- 3. Valid arguments and proofs -- 4. Prawitz?s theory of grounds -- Part II. Formal epistemic grounding. 5. Languages of grounding -- 6. Systems of grounding -- 7. Completeness and recognizability -- 8. Conclusion -- Bibliography.
330   $aThis 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 found in 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.
410  0$aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x2542-8292 ;$v469
606   $aLogic
606   $aLogic, Symbolic and mathematical
606   $aKnowledge, Theory of
606   $aMathematics$xPhilosophy
606   $aLogic
606   $aMathematical Logic and Foundations
606   $aEpistemology
606   $aPhilosophy of Mathematics
615  0$aLogic.
615  0$aLogic, Symbolic and mathematical.
615  0$aKnowledge, Theory of.
615  0$aMathematics$xPhilosophy.
615 14$aLogic.
615 24$aMathematical Logic and Foundations.
615 24$aEpistemology.
615 24$aPhilosophy of Mathematics.
676   $a016.34951249
676   $a160
700   $aPiccolomini d'Aragona$b Antonio$01274463
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910637719503321
996   $aPrawitz's Epistemic Grounding$93003137
997   $aUNINA