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