Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
复制标题
作为信念代理的推理第一部分：论证 Stit 逻辑的基础知识
DOI：
10.1007/s11225-017-9779-z
复制
发表时间：
2018
期刊：
影响因子：
0.7
通讯作者：
Heinrich Wansing
中科院分区：
文献类型：
--
作者：
Grigory Olkhovikov;Heinrich Wansing
在本文中，我们认为逻辑推理作为一种活动，结果证明，从而产生知识。我们建议将来自STIT理论的审慎地看到它的语义分析（Belnap et al. in Facing the future：agents and choices in our indeterminist world，Oxford University Press，纽约，2001）和来自（Artemov and Nogina in Journal of Logic and Computation 15：1059-1073，2005）的具有正当性的认知逻辑的语义合并。一般的想法是要理解证明A作为看到它，证明A是（公开）可用的。我们介绍了语义的各种概念的证明作为一种活动，并提出了一些有效的原则，证明相互之间的各种概念和合理的知识，隐含的知识，和可能性的概念。我们还指出并评论了我们的语义学未能验证的某些原则。
In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory (Belnap et al. in Facing the future: agents and choices in our indeterminist world, Oxford University Press, New York, 2001) and the semantics of the epistemic logic with justification from (Artemov and Nogina in Journal of Logic and Computation 15:1059–1073, 2005). The general idea is to understand proving thatAas seeing to it that a proof ofAis (publicly) available. We introduce a semantics of various notions of proving as an activity and present a number of valid principles that relate the various notions of proving to each other and to notions of justified knowledge, implicit knowledge, and possibility. We also point out and comment upon certain principles our semantics fails to validate.
登录
查看更多内容
影响因子：
1.5
作者：
H. Wansing
通讯作者：
H. Wansing
重温“推论与结果”：推论、结果、条件、暗示
影响因子：
1.5
作者：
G. Sundholm
通讯作者：
G. Sundholm
STIT 想象逻辑的公理系统和 Tableau 演算
影响因子：
1.5
作者：
Grigory Olkhovikov;Heinrich Wansing
通讯作者：
Heinrich Wansing
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Conor McHugh
通讯作者：
Conor McHugh
关于信念修正的推理
DOI：
--
发表时间：
2011
期刊：
Belief Revision meets Philosophy of Science
影响因子：
--
作者：
Caroline Semmling;H. Wansing
通讯作者：
H. Wansing