語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Prawitz's epistemic grounding = an i...
~
Piccolomini d'Aragona, Antonio.
FindBook
Google Book
Amazon
博客來
Prawitz's epistemic grounding = an investigation into the power of deduction /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Prawitz's epistemic grounding/ by Antonio Piccolomini d'Aragona.
其他題名:
an investigation into the power of deduction /
作者:
Piccolomini d'Aragona, Antonio.
出版者:
Cham :Springer International Publishing : : 2023.,
面頁冊數:
viii, 282 p. :ill., digital ;24 cm.
內容註:
1. 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.
Contained By:
Springer Nature eBook
標題:
Logic. -
電子資源:
https://doi.org/10.1007/978-3-031-20294-0
ISBN:
9783031202940
Prawitz's epistemic grounding = an investigation into the power of deduction /
Piccolomini d'Aragona, Antonio.
Prawitz's epistemic grounding
an investigation into the power of deduction /[electronic resource] :by Antonio Piccolomini d'Aragona. - Cham :Springer International Publishing :2023. - viii, 282 p. :ill., digital ;24 cm. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 4692542-8292 ;. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;v. 469..
1. 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.
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 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.
ISBN: 9783031202940
Standard No.: 10.1007/978-3-031-20294-0doiSubjects--Personal Names:
1639303
Prawitz, Dag.
Subjects--Topical Terms:
529544
Logic.
LC Class. No.: BC108
Dewey Class. No.: 160
Prawitz's epistemic grounding = an investigation into the power of deduction /
LDR
:02680nmm a2200337 a 4500
001
2315285
003
DE-He213
005
20230101124949.0
006
m d
007
cr nn 008mamaa
008
230902s2023 sz s 0 eng d
020
$a
9783031202940
$q
(electronic bk.)
020
$a
9783031202933
$q
(paper)
024
7
$a
10.1007/978-3-031-20294-0
$2
doi
035
$a
978-3-031-20294-0
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
BC108
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
160
$2
23
090
$a
BC108
$b
.P591 2023
100
1
$a
Piccolomini d'Aragona, Antonio.
$3
3627522
245
1 0
$a
Prawitz's epistemic grounding
$h
[electronic resource] :
$b
an investigation into the power of deduction /
$c
by Antonio Piccolomini d'Aragona.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2023.
300
$a
viii, 282 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Synthese library, studies in epistemology, logic, methodology, and philosophy of science,
$x
2542-8292 ;
$v
v. 469
505
0
$a
1. 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.
520
$a
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 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.
600
1 0
$a
Prawitz, Dag.
$3
1639303
650
0
$a
Logic.
$3
529544
650
0
$a
Knowledge, Theory of.
$3
523921
650
0
$a
Reasoning.
$3
519507
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
650
2 4
$a
Epistemology.
$3
896969
650
2 4
$a
Philosophy of Mathematics.
$3
2192005
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;
$v
v. 469.
$3
3627523
856
4 0
$u
https://doi.org/10.1007/978-3-031-20294-0
950
$a
Religion and Philosophy (SpringerNature-41175)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9451535
電子資源
11.線上閱覽_V
電子書
EB BC108
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入