001453826 000__ 03599cam\a2200541\i\4500
001453826 001__ 1453826
001453826 003__ OCoLC
001453826 005__ 20230314003446.0
001453826 006__ m\\\\\o\\d\\\\\\\\
001453826 007__ cr\un\nnnunnun
001453826 008__ 230111s2023\\\\sz\a\\\\ob\\\\000\0\eng\d
001453826 019__ $$a1356796511$$a1356796607$$a1357014738
001453826 020__ $$a9783031202940$$q(electronic bk.)
001453826 020__ $$a3031202945$$q(electronic bk.)
001453826 020__ $$z9783031202933$$q(print)
001453826 020__ $$z3031202937
001453826 0247_ $$a10.1007/978-3-031-20294-0$$2doi
001453826 035__ $$aSP(OCoLC)1357550092
001453826 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCQ$$dUKAHL
001453826 049__ $$aISEA
001453826 050_4 $$aBC108
001453826 08204 $$a160$$223/eng/20230111
001453826 1001_ $$aPiccolomini d'Aragona, Antonio,$$eauthor.
001453826 24510 $$aPrawitz's epistemic grounding :$$ban investigation into the power of deduction /$$cAntonio Piccolomini d'Aragona.
001453826 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001453826 300__ $$a1 online resource (viii, 282 pages) :$$billustrations.
001453826 336__ $$atext$$btxt$$2rdacontent
001453826 337__ $$acomputer$$bc$$2rdamedia
001453826 338__ $$aonline resource$$bcr$$2rdacarrier
001453826 4901_ $$aSynthese library,$$x2542-8292 ;$$vvolume 469
001453826 504__ $$aIncludes bibliographical references.
001453826 5050_ $$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.
001453826 506__ $$aAccess limited to authorized users.
001453826 520__ $$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.
001453826 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 11, 2023).
001453826 60010 $$aPrawitz, Dag$$1https://isni.org/isni/000000010870705X
001453826 650_0 $$aLogic.
001453826 650_0 $$aKnowledge, Theory of.
001453826 650_0 $$aReasoning.
001453826 655_0 $$aElectronic books.
001453826 77608 $$iPrint version:$$aPiccolomini d'Aragona, Antonio$$tPrawitz's Epistemic Grounding$$dCham : Springer International Publishing AG,c2023$$z9783031202933
001453826 830_0 $$aSynthese library ;$$vv. 469.$$x2542-8292
001453826 852__ $$bebk
001453826 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-20294-0$$zOnline Access$$91397441.1
001453826 909CO $$ooai:library.usi.edu:1453826$$pGLOBAL_SET
001453826 980__ $$aBIB
001453826 980__ $$aEBOOK
001453826 982__ $$aEbook
001453826 983__ $$aOnline
001453826 994__ $$a92$$bISE