浅论逻辑哲学论对计算机哲学思想贡献.docVIP

  • 12
  • 0
  • 约4.6千字
  • 约 9页
  • 2018-12-07 发布于福建
  • 举报

浅论逻辑哲学论对计算机哲学思想贡献.doc

浅论逻辑哲学论对计算机哲学思想贡献

浅论逻辑哲学论对计算机哲学思想贡献   [提 要] 本文根据维特根斯坦的前期著作《逻辑哲学论》来分析维特根斯坦对现代逻辑哲学的一些主要贡献,并以数理逻辑例如重言式等来对应计算机上的电路设计,从而以具体实例指出了计算机其实就是按照数理逻辑来设计和制造的,也就是数理逻辑的实在化#65377;   [关键词]数理逻辑;维特根斯坦;计算机   [作者简介] 郭 斌(1967―),女,江西省社会科学院哲学所副研究员#65377;(江西南昌 330077)      一直以来,《逻辑哲学论》都是维特根斯坦的前期代表作#65377;相比于后期思想,维特根斯坦的前期思想较为哲学界所冷落#65377;不过,笔者以为,虽然维特根斯坦的前期哲学基本上属于机械唯物论的范畴,但它对逻辑思想以及对语言的论述颇为精当地反映了计算机世界中的一些情况,因此,仍然有值得研究的价值#65377;      一#65380;关于重言式      维特根斯坦在现代逻辑上的一个重要贡献就是他第一个设计出真值表这种我们目前经常在逻辑中使用的方式,同时他还对重言式进行了深入的研究#65377;重言式就是我们现在俗称的“永真式”#65377;这种永真式不论其中的元素是真还是假,最后得到的结果都是真值#65377;它与矛盾式是正相反对的#65377;   维特根斯坦认为,重言式和矛盾式的特点就在于:   命题显示它们所说的东西,重言式和矛盾式则显示它们什么也没有说#65377;[1](P59)   也就是说,不论是重言式还是矛盾式,它们都是缺乏意义的:   重言式和矛盾式是缺少意义的#65377;[2](P59)   之所以是缺少意义,是因为:   命题显示它们所说的东西,重言式和矛盾式则显示它们什么也没有说#65377;   重言式没有真值条件,因为它无条件地为真;而矛盾式则不在任何条件下为真#65377;[3](P59)   维特根斯坦对此举了一个实例:   (例如,当我知道或者下着雨或者没有下雨时,关于天气我就什么也不知道#65377;)[4](P59)   那么,我们要问的一个问题就是:属于现代逻辑中的重言式在计算机中又有什么意义呢?在这里可以解释得清楚的是,同一律肯定是重言式的一种,重言式也一定可以转化为同一律#65377;在计算机中的电路设计中,不管是多么复杂的电路最后都必须转化为同一律#65377;也就是说,从电路上来说,我们知道,一般的插头至少都有两根线,一根进路,一根回路#65377;如果进路开了,那么回路的线也应该处于开的状态,这样才得通电#65377;如果我们把1置于开的状态,那么在电脑上的电路元件的状态就相当于1=1=1=……=1,这样电路一直畅通着,电流才得从回路回去#65377;如果是矛盾式,一头处于开,另一边处于关的状态,就会不导电,因而计算机无论如何都不能开机通电,或者是造成短路而烧坏机器#65377;      二#65380;语言(或逻辑)图像论      维特根斯坦的逻辑哲学中有一个非常突出的特色,就在于他用图像来解释逻辑和语言,现在人们将之称为语言图像论#65377;维特根斯坦首先把语言所描述的世界比作一种空间:   每个事物都像是在一个可能事态的空间里#65377;我可以设想这个空间是空的,但是我不能设想没有这空间的事物#65377;[5](P26)   在这种空间中最基本的存在就是命题:   一个命题规定逻辑空间中的一个位置#65377;命题的各组成部分的存在――有意义的命题的存在,即保证了这种逻辑位置的存在#65377;[6](P40)   有了逻辑空间,才好把逻辑或语言作出图像式的比喻:   每一个图像同时也是一个逻辑图像#65377;(另一方面,例如,并非每一个图像都是一个空间图像#65377;)[7](P30)   逻辑图像中的最小原子是由对象组成的:   在图像中图像的要素代表对象#65377;[81](P29)   那么,由对象与命题组合起来的图像给我们勾勒出怎样的一幅图像呢:   包容一切而反映着世界的逻辑之所以能够运用这种特别的钩子和装置,是因为它们全都彼此结合着成为一张无比精细的网――一面巨大的镜子#65377;[9](P76)   那么,这种网又是什么样的呢?维特根斯坦以牛顿力学举例道:   牛顿力学给世界的描述提供了一种统一的形式#65377;让我们设想一个上面有着一些不规则黑斑的白色表面#65377;于是我们可以说,不管这些斑块构成一种什么图像,只要用一张足够精细的方格网覆盖住这个表面,然后说出每一个方格是黑的还是白的,我就总是能够使对这个表面的描述达到任意程度的近似#65377;用这个办法我就给这个表面的描述提供了一种统一的形式#65377

文档评论(0)

1亿VIP精品文档

相关文档