• 图灵计算是决定论的:总的计算状态确定了后继的计算状态。相反,人们或许会允许随机计算。在一个随机模型中,当前状态并不决定一个唯一的后续状态。取而代之的是,存在某种该机器从一个状态过度到另一个状态的概率。
CCTM主张心灵活动是“图灵式计算”,这允许了上述或者其他一些对图灵本人形式系统的偏离。
3.1 Machine functionalism
Hilary Putnam (1967)将CCTM引入到了哲学界。他将他自己的立场同逻辑行为主义(logical behaviorism)以及类型同一论(type-identity theory)做了比较。这些立场中的每一个都旨在于揭示心灵状态的本质。这些心灵状态包括命题态度(例如信念)、感觉(例如疼痛)以及情绪(例如恐惧)。根据逻辑行为主义,心灵状态就是行为倾向性。根据类型同一论,心灵状态就是大脑状态。普特南提出了与上述立场相反的功能主义(functionalist)观点,其意味着心灵状态就是功能状态。根据功能主义,当一个系统拥有了一个恰当的功能组织时,该系统就具有了一个心灵。心灵状态就是那些,在该系统的功能性组织中起着恰当作用的状态。每一心灵状态都是通过,感官输入、运动输出以及其他心灵状态的相互作用,来得到个体化的。
较之于逻辑行为主义与类型同一论,功能主义有着一些以下的显著的优势:
• 行为主义者想要将每一心灵状态都同一种典型行为模式相联系——而这是一个希望渺茫的任务,因为单一的心灵状态并不总是带有典型的行为效果。大多数行为都是一些不同的心灵状态共同作用在一起所产生的结果(例如一个信念加一个欲望)。功能主义通过承认心灵状态的个体化不仅仅是由感官输入与行为的典型联系完成的,且该过程还应包括同其他心灵状态的相互作用,来避免了行为主义者所面临的上述困难。
• 类型同一论者想要将每一心灵状态都同一种典型的物理或神经生理学状态相联系。普特南通过论证心灵状态是多重可实现的 (multiply realizable)来阐述了对其的怀疑:同样的心灵状态可以由不同的物理系统实现,这些系统不仅包括了人类这种生物,还包括了假想中的生物(例如硅基火星人)。功能主义简直是为多重可实现性量身定做的。根据功能主义,对于心灵状态来说重要的是其组织模式,而这在物理上是可以以多种不同方式来得到实现的。关于该论证更深入的探讨见词条 multiple realizability。
普特南捍卫了一种现在被称为机器功能主义(machine functionalism)的功能主义。他强调了概率自动机(probabilistic automata),这是一种类似于图灵机的东西,除了其在机器状态间的转换是随机性的。他提出说,心灵活动实施(implement)了一个概率自动机,而特定的心灵状态就是自动机中央处理器的机器状态。机器表规定一个恰当的功能组织,以及同样规定了在该功能组织中个体性的心灵状态将扮演着什么样的角色。这样,普特南就将CCTM同功能主义结合在了一起。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。