摘要
一、逻辑全知者问题
逻辑学研究的对象是人的思维．现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人，由于受其所在环境、所接受的知识、所掌握的资源的限制，其推理能力必然是有限的。例如，假设从理论上讲，某人从其当前所掌握的知识出发，能够推出一个命题α。实际上．他仍可能推不出α。也许推出α过于困难．超出了此人的能力。
出处
《求是学刊》
CSSCI
北大核心
2007年第6期31-34,共4页
Seeking Truth
参考文献3
-
1R.FAGIN, J. Y. HALPHERN. Belief, Awareness and Limited Reasoning[J]. Artificial Intelligence, 1988.
-
2W.VAN DER HOEK, C.MEYER. Possible Logics for Belief[J]. Logique et Analyse, 1989.
-
3H.LEVESQUE. Logic of Implicit and Explicit Belief[Z]. Proceeding of the Fourth National Conference on Artificial Intelligence, Menlo Park, CA, 1984.
同被引文献21
-
1BENTHEM J. Semantic Parallels in Natural Language and Computation[M]. In H. D. Ebbinghaus, J. Femandez- Prida, M. Garrido, D. Lascar, and M. R. Artalejo, edi- tors, Logic Colloquium 87. North- Holland. Amsterdam. 1989 : 366 - 370.
-
2DITMARSCH H P. The logic of knowledge games: showing acard[M].In E. Postma and M. Gyssens, editors, Pro- ceedings of BNAIC 99, pages 35 - 42.
-
3Maastricht Universi- ty, 1999. DITMARSCH H P. Knowledge games [ D ]. Ph. D. thesis, University of Groningen,2000.
-
4ILLC Dissertation Series DS -2000 -06. DITMARSCH H P. Descriptions of game actions[J]. Jour- nal of Logic, Languageand Information, 11 : 349 - 365, 2002.
-
5I PELEG D. Concurrent dynamic logic. Journal of the ACM, 34(2) :450-479, 1987.
-
6BALTAG A. A logic of epistemic actions[M]. In W. van der Hoek, J.J. Meyer, and C. Witteveen, editors, ( Elec- tronic) Proceedings of the ESSLLI 1999 workshopon Foun- dations and Applications of Collective Agent - Based Sys terns. Utrecht University, 1999.
-
7BALTAG A, MOSS L S. Logics for epistemic programs. Synthese, 139: 165- 224, 2004. Knowledge, Rationality & Action 1 - 60.
-
8BALTAG A, MOSS L S, SOLECKI S . The logic of corn- mon knowledge, public cions[ C ]. In I. Gilboa, ouncements, and private suspi-- editor, Proceedings of the 7thconference on theoretical aspects of rationality and knowl- edge (TARK 98), 1998:43 -56.
-
9MADS DAM, MIKA COHEN. A Complete Axiomatlzafion o~ Knowledge and Cryptography [ J ]. 22nd Annual IEEE Symposium on Logic in Computer Science - TOC 2007.
-
10HINTKKA J. Knowledge and Belief: An Introduction to the Two Notions[ C]. Cornell University Press, 1962.
-
1梁会兰,田景华.现代数理逻辑在马克思主义的哲学研究中的作用[J].考试周刊,2007(3):39-40.
-
2胡泽洪.信念逻辑二题[J].华南师范大学学报（社会科学版）,1994(3):24-27. 被引量：1
-
3马明辉.早期分析哲学中的信念逻辑[J].世界哲学,2016(5):154-159.
-
4郭向阳.信念逻辑的更新模型[J].重庆理工大学学报（社会科学）,2013,27(9):32-35.
-
5杨群,邱江,张庆林.演绎推理的认知和脑机制研究述评[J].心理科学,2009,32(3):646-648. 被引量：21
-
6张东辉,王子权.逻辑学的形而上学渊源[J].哲学研究,2017(2):111-119. 被引量：1
-
7潘天群.三分的认知世界与怀疑逻辑的独立性[J].湖南科技大学学报（社会科学版）,2005,8(5):39-41. 被引量：6
-
8李小五.1993年国外哲学逻辑研究新进展[J].国外社会科学,1994(6):75-78.
-
9程和祥.贝叶斯主义科学方法论的解题功能及困境[J].湖南科技大学学报（社会科学版）,2014,17(3):36-40. 被引量：1
-
10王轶.汉语“知道”的逻辑刻画[J].逻辑学研究,2015,8(2):13-33. 被引量：2
