心灵即计算:哲学,逻辑和实践

Mind is Computation:Philosophy,Logic and Practices

论证心灵是可计算的,因而为计算作为一门学科提供更丰富的内涵和实例,使计算不在局限于通常的自然过程而进入到人类心理领域。在哲学上,论述心灵哲学中的物理主义,采用最小立场即以依附(Supervene)来解释心灵现象何以是物理的;在逻辑上,我们首次以Church-Turing-Deutsch原理为基础来使Church-Turing论题与实际的物理系统联系起来,从而使本文的结论与量子计算相适合,也使可计算概念与物理学理论相协调,而这正是由Church-Tur-ing论题所定义的可计算概念所没有的地方。还讨论了认知逻辑在使人类情感、感觉和遗忘和记忆等方面的形式化方面的一些工作,这在知识表达和推理以及分布式计算等领域是一个很重要的方向之一。

This paper argued that the mind is computable and then provided a more fruitful instance and implication for the computing as a discipline, which makes the computation not to include only in natural processes but in human psychology. In philosophy, we stated the physiealism of the philosophy of mind in the minimal stand that the Supervene can explains why the human mind is physical. In logic, we associated Church-Turing-Deutsch Principle with. actual physical systems in order to this paper claims in consistent way with the quantum computation and current physical theories. This point is not appointed by the Church-Turing Thesis. In practice, this paper discussed the work of cognitive logics： formulating human minds, like human feelings, sensings and in particular, forgetting and memory. These practices now are very important directions in the study of knowledge representation and reasoning and distribution computation.