|
|
|
| 逻辑学论文 |
|
| 4Peirce：逻辑代数中的几个符号及其它 |
| 1 现代逻辑常被人们追溯到她的奠基人Frege (Lebniz是先驱者的地位)；接着谈现代逻辑，人们会自然地找到其身后的Peano、Russell、Whitehead、Wittgenstein、Carnap(维也纳学派时期)、Quine等人，如此就认为是勾勒出了现代逻辑的脉络。这一看法多年来几乎是毫无异议的。但随着逻辑科学尤其是现代逻辑的不断发展，有潜心思考的研究者（Fisch、Zem |
| 张留华 |
9692 |
2003-3-28 |
|
| 4Peirce：科学家与逻辑学家 |
| 摘要： C.S.Peirce是美国杰出的科学家和逻辑学家。他以科学家作为职业，却常常又声称科学研究是为了逻辑目的，喜欢把自己塑造为逻辑学家。另一方面，他把逻辑学视为科学，丰富的科学经历刺激了他在逻辑学领域的诸多创造性贡献。实际上，考察他的研究道路为我们从事推理工作的科学家和从事推理研究的逻辑学家都提出了有意义的启示。 关键词： Peirce；科学家；逻辑学家；科学；指号学；化学概念 中图分 |
| 张留华 |
9724 |
2004-4-29 |
|
| 4思维与理论 |
| 思维与理论都是认识论中的基本范畴。正确理解思维与理论，有利于我们正确认识整个物质世界。 一、对立统一 物质的对立统一性是物质的根本性质。物质在存在和发展的过程中，所有的具体性质都基于物质的对立统一性，都能够被物质的对立统一性所概括。 物质的对立统一分质的对立统一和量的对立统一，两种对立统一是同时存在、同时变化的，只是认识的角度不同。物质的质指的是物质的性质，即物质在存在和发展的过 |
| 普进峰 |
10348 |
2003-3-27 |
|
| 4批判思维 |
| 写作缘起 哲学家巴斯噶有一句名言：「人只是自然界?一根脆弱的芦苇，但这 是一根会思考的芦苇」。 人类的优越性，在于其久思考能力，亦因此，能独立及正确地思考， 是我们不可或缺的。我们不但能思考各类事物，更能对思考进行思考。 我们称那些研究思考的学问为「思考方法学」。思考方法学的目的之一 是为了我们能有正确的思维来判别对错。若不太严格的话，我们可将这种 思维称曰「批判思考」。本文 |
| 潇霖 |
10652 |
2003-3-27 |
|
| 4计算机不能思维的初步逻辑证明 |
| 本文所说的“计算机思维”，指的是“计算机象人的大脑那样的工作”。由于我们目前对人类大脑工作的原理还至少处于半无知的状态，我们也就无法确切地界定什么是思维。这样，我们就只能换另外一种方式来讨论 “计算机能不能思维”这个问题，即把“计算机能不能思维”这个问题改变“计算机能不能象人的大脑那样工作”这样的问题来讨论。 从本世纪70年代开始就有不少的计算机科学家预言“能够思维的计算机”很快就会问世。但是， |
| 马克义 |
9786 |
2003-3-27 |
|
| 4从人工智能看当代逻辑学的发展 |
| ［摘要］ 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知 |
| 陈波 |
9812 |
2003-3-27 |
|
| 共 46 篇论文 首页 上一页 下一页 尾页 页次：6/6页 8篇论文/页 转到： |
|
|