逻辑性作为表征思维项目思维能行性的一般性特征,提供了判别思维项目理论价值的重要方法。基于这一方法,可以简明地通过在缘起依据方面的公认,项目要素的构成及施用具有的规范约定,项目作用范围在现有条件下的周全下面是小编为大家整理的逻辑哲学论文【五篇】,供大家参考。
逻辑哲学论文范文第1篇
关键词:逻辑性哲学、逻辑观点批判
逻辑性作为表征思维项目思维能行性的一般性特征,提供了判别思维项目理论价值的重要方法。基于这一方法,可以简明地通过在缘起依据方面的公认,项目要素的构成及施用具有的规范约定,项目作用范围在现有条件下的周全覆盖,以及项目要素及其演进的相互一致,直接判断一项思维项目的程式可靠性。
一、唯心论的倒错
如所周知,唯心论有多种表现形式,如中国汉代董仲舒提出的“天”是“百神之大君”、“万物之祖”,南宋的陆九渊提出的“宇宙便是吾心,吾心便是宇宙”,柏拉图的“理念”说,黑格尔的“绝对精神”等等。尽管有主观唯心论与客观唯心论的形式区别,但本质根源基本相似。论文百事通以下就英国哲学家贝克莱,在其《人类知识原理》一书中提出的关于万物本原的著名命题“物是观念的集合”,借助逻辑性判别进行分析:
由于贝克莱并没有给出本命题中各观念的特殊含义,因此其含义也就只能是默认的通行含义。“物”当然是指世界万物,而且应当包括“观念”的主体;
“观念”只能是三种情形中的一种:一个具体的人的观念,或者人类作为整体的共同观念,或者不仅仅包括人类而且包括神作为整体的观念——基于宗教观念的历史存在。
“集合”则是汇集、凝聚。从缘起契合性来看,贝克莱在引入这一命题时,没有依据其他命题,因此,该命题的缘起应当属于基于直觉的创设。而命题自身的复杂性,直觉的肯定或者直觉的否定,并没有强劲的说服力,这也正是唯心论之所以仍然得以存在的重要原因之一。为更为透彻、简明地考察其逻辑性,就需要根据逆否性进行识别。
考察“物是观念的集合”,这里的“观念”,首先,不可能是某一个人的观念,否则,当该个人不存在时,“物”也随之不存在,这显然过于荒谬;
其次,这里的“观念”也不可能是人类作为整体的共同观念,各类非常确凿的证据已经充分显示,人类的历史远远低于自然界的历史,换言之,人类及其观念产生之前,自然之物已经产生了,要让尚未产生的观念去产生业已产生的物,也显然过于荒谬;
最后,这里的“观念”只能来自神的观念,也即“贝克莱的整个形而上学都建立在上帝存在的基础之上”——这正是各类唯心论不能在人类的基础上找到自圆其说的理论依据,而不得不最终归于神的帮助的根本原因。
然而,认可这里的“观念”来自神的观念,将面临新的更严重的问题:由于现实世界的“物”显然包含各种丑陋、邪恶的物,如果这些包含丑陋、邪恶的“物”是来自神的观念,则意味着神的观念包含丑陋、邪恶——那么,“神的观念包含丑陋、邪恶”这一论断是任何信奉神的人所不能接受的,也必定是“被任命为爱尔兰南部的克罗因的主教”3的贝克莱所史料不及的。简言之,贝克莱的主观唯心论导致与自身一贯认可的信念相逆否,因而是缺乏逻辑性的。
二、唯物论的泄漏
与唯心论有多种表现形式相似的是,唯物论观点也有多种表现形式。如中国春秋时期的管子“水者万物之本原”说,或者如古希腊米利都学派的泰利斯“把水解释成是一切事物由此产生和构成的基质”说,尽管形式上存在朴素唯物主义、形而上学或机械唯物主义以及辨证唯物主义和历史唯物主义之分,而根本观点都是:认为世界的本质是物质的,物质是第一性的,精神是第二性的;
物质是不依赖于精神而独立存在的客观实在。
目今流行着的唯物主义主流观点尤其主要在中国大陆占据主流地位的辩证唯物主义观点,主要源于马克思、恩格斯的相关哲学思想,并经由列宁及俄国其他哲学研究者加以系统化(以下统称苏俄唯物主义)。苏俄唯物主义最杰出的创建是:由列宁对物质概念给出了人类哲学历史上称得上最明确的概括;
而最致命的缺陷则是将世界的组成过度抽象到近乎简陋的地步,并且是对马克思、恩格斯的相关哲学思想的严重偏离——并且这一偏离甚至直接导致了中国马克思辩证唯物主义(以下简称中国唯物主义)的囫囵吞枣式的照搬继承。其偏离点主要表现为:
恩格斯基于某种原因(注意其叙述上的改动,这种改动应当不是偶然的或疏忽的),在指出“全部哲学,特别是近代哲学的重大的基本问题,是思维和存在的关系问题”以后5,在具体划分哲学阵营时说“断定精神对自然界说来是本原的,从而归根到底以某种方式承认创世说的人”组成唯心主义阵营,“凡是认为自然界是本原的,则属于唯物主义的各种学派”。
而苏俄唯物主义则在断言“我们所接触的一切现象,可以归纳为两类:一类是物质现象,即存在于我们的意识之外的现象(如外部世界的事物和过程);
一类是精神的、观念的现象,即存在于我们的意识之中的现象(如我们的感觉、思想等等)”后,认为“凡是承认物质第一性的哲学家,就是唯物主义者”。
不难看出,恩格斯是在较为宽泛的意义上划分哲学阵营的,而苏俄唯物主义则采取了较为简单化的处理——中国唯物主义的观点与之一脉相承,以下仅以苏俄观点为例进行说明。毕竟“自然界”的本原性远远丰富于“物质”第一性,后文将看出这一偏离的重大差别。
问题的关键是,所有唯物主义关于世界分为存在与意识或物质与精神的根本性划分是逻辑不完备的,或者简单地说,上述划分存在过于粗略的严重遗漏。具体表现为至少有以下两方面:
一是物理学中的“小孔成像”、海市蜃楼产生的影像,蓝天、白云在水面上的倒影,很显然,这类影像首先不可能属于人类(或类似人类)意识、精神范畴,并且也不应该属于物质范畴,毕竟这些影像只是临时甚至偶然存在的现象。
二是关于空间、时间的归属问题。关于空间,唯物主义的一般理解为“运动着的物质的存在形式”,这样(暂且撇开该观点是否存在问题),既然是物质存在的形式,自身也就不可能属于物质范畴了。然而,空间又显然不可能属于精神范畴。对时间而言也存在类似的情形。
简言之,苏俄唯物论将世界过于简单地划分为“一类是物质现象”和“一类是精神的、观念的现象”,直接违背了既备性因而是缺乏逻辑性的。
三、不可知论的自我删除以及相对主义的自我否定
如前所述,“不可知论”的典型论点是“人心也不能经验到知觉和物象的联系”,如果要接受这一论断,则势必导致接受者对该论断自身也不能“经验”的结论,也即已经直接构成了自身观点不能够备接受的否定结论。换言之,“不可知论”在作出一论断后又演化出了直接否定自我的论断,从而违反了逆否性原则。类似的,极端的相对主义思维也是自我否定的。如所周知,其典型观点主要包括以下三种情形:A、古希腊辩证法家赫拉克利特提出的“人不能两次踏进同一条河”;
B、以及他的学生克拉底鲁提出的人“连一次也不可能踏进同一条河”;
C、其极端表现则是“一切都是相对的”。
对于A类观点,按其思路,如果“河”在“两次”是不同的,同样也应当根本就没有“人”存在“两次”的概念,因此原观点已经自我否定了。因此,赫拉克利特的学生克拉底鲁敏锐地感觉到了老师的不完全,而加以再彻底为B。然而,如果按照B类的“连一次也不可能踏进同一条河”思路,则又应当根本不存在“同一条河”的概念,这样B类也已自我否定了。而C类观点,如果作为命题成立,则显然其本身就是绝对的。因此,极端相对主义思维是缺乏逻辑性的。
四、传统逻辑学的缺失
如所周之,传统逻辑学,主要是指自亚理士多德的逻辑体系为核心的,以真、假二值为判断(命题)取值的普通逻辑。亚里士多德在初始构造逻辑学理论框架时,没有专列篇幅对判断亦或命题的“真假值”以及“真假”本身进行严格定义性的论述。他在其《范畴篇》中首次提到“真假”时说:
所有的肯定命题和否定命题必然被看作或者是真实的,或者是虚假的。
这似乎应当看作是,他对判断仅取“真假”二值的逻辑“必然”性的公设前提。
但是,在《解释篇》中,他也分别指出:
因为“菲罗的是”这样的表达,既不能构成一个真实的命题.也不能构成一个虚假的命题。“菲罗的不是”也同样如此。
并非任何句子都是命题,只有那些自身或者是真实的或者是虚假的句子才是命题。
关于现在或过去所发生事情的判断,无论是肯定的还是否定的,必然或者是真实的,或者是虚假的。无论是关于普遍的全称命题,还是关于个别的单称命题,正如我们所说的那样、总要或者真实.或者虚假。但适用于普遍的非全称命题则并不一定是这样。
但关于将来事件的单称命题则有所不同。
这一系列观点应当看作亚里士多德业已注意到对真假概念的使用,并非可以无条件的全盘套用,而是有其自身特定范围的,尽管那样的“范围”未必经受得起严格深入的区别性推敲。比如,“总要或者真实,或者虚假”也例外“并不一定是这样”,以及“只有那些自身或者是真实的或者是虚假的句子才是命题”:前者隐含了亚里士多德对并非“全盘真假二值”的预留,尽管他以后一直也未再细究;
而后者隐含了亚里士多德对其未加严格定义的“真假”与“命题”概念之间关系的理解含混。因为后者将难以摆脱这样的循环:
逻辑哲学论文范文第2篇
论文关键词:九句因,多值逻辑
一,九句因简介
陈那著《正理门论》,创立新因明。新因明中的九句因理论具有划时代的意义,成为陈那新因明的理论基础。九句因指的是宗的同品和异品与因之间关系的九种情况。
1、同品有,异品有。
2、同品有,异品非有。
3、同品有,异品有非有。
4、同品非有,异品有。
5、同品非有,异品非有。
6、同品非有,异品有非有。
7、同品有非有,异品有。
8、同品有非有,异品非有。
9、同品有非有,异品有非有。
所谓“同品有”,是指所有的同类事物都有该因。“品”即“类”。所谓“异品有”,是指所有异类的事物都有该因。所谓“非有”,即“无”。所谓“同品有非有”,是指有的同类事物有该因哲学论文,有的同类事物无该因。“有非有”,也称为“亦有亦无”,或称为“俱”。所谓“异品有非有”,是指有的异类事物有该因,有的异类事物无该因。一般来说,认为九句因是着眼于论辩的,其中第二、八句是正因,具有该形式的说明论证成立;
四、六句因是相违因,论证不成立;
其余五句是不定因。事实上,在亚里士多德的论题篇中也论述过什么样的论据适合什么样的论据是不能使论证成立的。
现代逻辑已经开始朝着多元化得方向发展,在一定范围内,我们可以把因明中的一些理论和思想用现代逻辑方法进行解析。传统的二值逻辑已经有了自己比较完备的理论系统,但在日常生活里,许多事情不能单纯的用,好和坏,真和假来判断,例如我们很难界定一块草坪是否是茂盛的。根据程度得差异,多值逻辑和模糊逻辑逐步发展起来。
二,从二值逻辑到三值逻辑
二值逻辑的系统是我们十分熟悉得。当人们在思考问题时,并非完全受限于二值逻辑。比如我们可以将学生成绩分为好、中、差三个等次,这就冲破了二值逻辑的限制,在好(设其真值为1),差(设其真值为0)中间插入另外一个真值(可以设为(0,1)中的一个实数如0.5)。
P
真值
1
真值
逻辑哲学论文范文第3篇
关键词:博弈论;语义学;逻辑哲学
贾可·辛提卡是当代著名的逻辑学家,他将博弈论与语义学直接结合起来,创建了博弈论语义学。辛提卡用博弈论的方法来处理命题,就是要确定命题的值,即命题的真或假。同经典逻辑一致,辛提卡预设了命题是二值的。辛提卡首先给出一个定义域D,任何名称都可以在这个集合中找到所指。博弈论语义学的核心是将量词短语看成专名,将句子看成语句函项,然后在给定的定义域D中选择相应的个体将句子中的量词短语替换,从而达到消除量词,找到原子句的目的。在方法上,辛提卡选择了博弈论,他将人们对句子的理解过程比喻为一个两人博弈,两个参与人分别为“我”和“自然”,每个回合必定要分出胜负,不容平局,那么对于一个句子S,根据规则,博弈双方轮流将S约化为S’、S’’,等等,直至最后使得约化的句子不再包含变量和连接词,即原子句,此时双方就可一决输赢。如果这个原子句为真,则我取胜,自然失败;如果这个原子句为假,则自然取胜,我失败。运用博弈论语义学,我们能够从大量的语言信息中得到最基本、最简化的语句,从而能够轻松地判定这些语言信息的真假。理解这一理论的关键是理解定义域D、原子句、博弈等概念。辛提卡的博弈论语义学可以说是维特根斯坦前后期哲学的综合:“语言博弈”概念源于维特根斯坦后期哲学中的语言游戏说,而它的理论核心则是维特根斯坦前期哲学——图象论。
一“图象论”与命题真值
维特根斯坦是学界倍受关注的大师,其前后期思想的迥异恰当地诠释了他的哲学主题:“哲学不是一种学说,而是一种活动。”①有趣的是,辛提卡博弈论语义学所强调的也是动态的理解命题,这与维特根斯坦哲学在本质上殊途同归。
维特根斯坦哲学的主要贡献之一就在于提出了著名的“图象论”。维特根斯坦前期哲学和后期哲学的目的都在于通过研究语言的结构和界限来理解思想的结构和界限。维特根斯坦工作的基点,就是回到逻辑的出发点,即考虑命题的性质。这样,真的界限就构成了语言的界限,维特根斯坦所考虑的就是关于事实的话语。“人给自己造出事实的图象”②。维特根斯坦指出:命题是实在的图象,“图象是实在的一幅模型”③。“图象是一种事实”④。“图象所表现者即是其意义”⑤。“图象的真假在于其意义与实在的符合与否”⑥。维特根斯坦认为,图象与它所图示的事实之间的关系包括两个方面:一是这种关系“由图象元素与物项的配合而成”⑦,这种关系本身也是一种图象;二是“凡图象,不论只有什么型式但要能表象实在———对或错———所必须与实在共有的东西,即是逻辑型式,亦即实在的型式。”⑧所以,“每个图象亦是一逻辑图象”⑨。“对象是简单的”⑩。“对象构成世界的本体。因此不能是复合的。”
一切复合物必然可分解到不可再分的部分,这就是绝对简单的对象,那么,这种绝对简单的对象是什么?很显然,维特根斯坦这一思想的形成深受罗素和弗雷格的影响。罗素对客体进行了区分,一类是亲知的客体,一类是描述的客体,通过“亲知还原”,描述的客体可以转化为亲知的客体,维特根斯坦对罗素的客体进行了扩展,认为属性和关系也是一种客体。语言中的一个名称来表示一个简单的客体,通过这些客体的结合方式,指称客体的名称可以相互组合成句子。对于简单的客体,我们无法定义它们是什么,我们仅仅能够指示它们,这样,我们也就无法言说这些客体是存在的,因为定义一个客体就是意谓着被定义项的存在。维特根斯坦的绝对简单的对象实质上是罗素亲知客体的变体,是经验的客体。图象论的主旨是说明图象如何具有命题的内容,图象可以看成一个句子,一个句子也可以看成图象,这对于解释最简单句子的合理性是显而易见的,那么如何处理复杂的句子呢?
维特根斯坦最开始的设想是用合取和析取处理一切复杂句子,这也是辛提卡采取斯科伦前束式处理量词句的直接思想来源,但是维特根斯坦后来采取了另一个思路,代之以集成的图象法,“凡对于复合体的陈述,都可解析成对于其成分的陈述,解析成一些把复合体完全摹状了的命题。”即一个复杂的表达式的真值取决于组成它的表达式的真值,即命题就是基本命题的真值涵项,这样,维特根斯坦就完成了语言的运作方式。维特根斯坦的这一思想源于罗素和弗雷格的启发,罗素和弗雷格两人都认为命题才是最基本的意义单位,主张将命题形式化,即用数学中的函数表示命题。维特根斯坦对这一思想的运用是水到渠成的。维特根斯坦认为,“命题是原初命题的真值函量”。“原初命题是命题的真值函目”。换句话说,“一切命题都是对原初命题做真值运算的结果”。“命题就是从一切原初命题的总和(自然也从其确是一切原初命题的总和)而得出的一切。所以,从某种意义可以说,一切命题都是原初命题的总括。”
命题与世界的图象论包含了两层含义:一是图象的元素与事物之间具有对应关系;二是图象与事实之间具有相同的逻辑形式。由此,在维特根斯坦看来,“图象是实在的一幅模型”,“图象是一事实”,“图象所表现者即是其意义”。
正是因为命题具有相同的结构,才使得我们可以将其形式化,并且可以进行变项替换。那么,图象如何与世界相联系?在维特根斯坦早期哲学中,这种关系由名称—客体的关系来决定,但是名称如何与客体相联系?与其说维特根斯坦后期哲学是对前期哲学的反叛,不如说是进一步的深入,在维特根斯坦的语言游戏说中,名称与客体的关系被受一定规则支配的人类活动所确定。在完成这个思想转变之后,维特根斯坦不需要图象论了,取而代之的是语言这种被规则所支配的特征。
辛提卡的博弈论语义学是将博弈的方法引入命题分析,他的研究涉及两个问题,第一个问题就是命题的构成和命题的真假,第二个问题就是如何确定命题的真假。第二个是维特根斯坦后期哲学讨论的一个主要问题,其前期哲学为解决辛提卡的第一个问题提供了思想元素。命题是由概念构成的,而博弈语义学中的概念则直接对应维特根斯坦意义上的存在。值得注意的是,维特根斯坦的存在是与事实相对应的存在,是以现实世界为界限的,所以辛提卡用他的可能世界改造了维特根斯坦的客体。在辛提卡看来,很多情况下,人们的语言交流所涉及的客体多是描述的客体,这些描述的客体有些能转换为亲知客体,有些不能,如“结构为H3O的水”,但是人们在日常的交流中又会涉及这些概念,自然在定义域D中也就应该包含这些元素,可以看出,辛提卡的客体是对维特根斯坦客体的扩展。辛提卡的客体分为存在的和可能存在的两类,即在现实世界中存在和在可能世界中存在。而且很明显的是,辛提卡的存在概念不是语义学层面上的,而是语用学层面上的语义,这在博弈论语义学的操作性中得以体现。在辛提卡的博弈论语义学中,定义域D中的个体必须能与可能世界中的对象一一对应,脱离了这种对应关系,我们就不可能知道自己在言说何物,更不用说判定言说语句的真假。正如DanaScott所指出的那样,语义确定一个实现不是必需的,它应该为证实一个实现是正确的提供标准。
在确定了命题的构成之后,需要解决的问题是命题真假的标准是什么。辛提卡认为,命题是有意义的,命题的意义就是命题的真假值。博弈论语义学的处理方法是找到一个体用概念的名称代入量词所约束的变元,即参与人“我”在定义域D中找到相关的个体以证实语句,而参与人“自然”则企图找到范例来证伪语句。那么,如何才是找到相关的个体呢?或者说,怎样才知道代入个体后的语句为真?如前所述,辛提卡在扩展了维特根斯坦概念的基础上明确了命题的构成问题,相应的,辛提卡的命题范围较之维特根斯坦就宽泛的很多。辛提卡将博弈论语义学称为“寻找并找到的”逻辑,寻找并找到了什么?就是找到一个适当个体代入后的原子句所反映出来的图象与现实世界相符合。这不仅直观,而且符合人们的日常交流。可见,在确定命题真假的标准上,辛提卡与维特根斯坦是一致的,就是采用图象论的符合标准。辛提卡自己也曾明确指出,“博弈语义学不排斥图示的(同形的)关系理论,图示的(同形的)关系理论在原子句和现实之间建立了联系。”从这句话我们可以看出,要确定命题的真值,只要将命题与图象做个比较就可以了。用辛提卡的话说就是,“名称-客体关系曾经被建立,仅仅需要一件事,这件事就是将原子句和现实相比较。”
辛提卡指出:“维特根斯坦的图像理论和逻辑语义学之间的相似性和非相似性更有趣。最重要的大范围相似性之一,就是在两个理论中,语言的基本元素和现实的特定方面之间的代表关系,用任何的方式都不能进一步的分析。”罗素指出,事实是意指那种使一个命题真或假的事物。而一个命题的本质就在于:它可以两种方式,即以人们所谓的真的方式或假的方式对应于一个事实。最基本的事实是原子事实,与原子事实相对应的是原子命题,它肯定某物具有某种性质或某些事物具有某种关系。原子命题的真假取决于它是否与原子事实相符合。在原子命题的基础上,借助逻辑联结词就构成了分子命题。分子命题的真假取决于组成它的原子命题的真假,是原子命题的真值函项。在分子命题的基础上,借助逻辑量词可以构成更高一级的概括命题。其真假最终也取决于原子命题的真假。维特根斯坦继承了这一思想,认为任何复杂命题经过分析都可以还原为最基本的原子命题。辛提卡由此得出结论:“一个指示性句子的表达在通常的本质上不是这些语言博弈的一个回合,在这些语言博弈中,给出了几个构成成分的词语,并且因此给出了整个句子的内涵。”在辛提卡的博弈论语义学中,我们根据可能世界理论可以确定定义域D,根据维特根斯坦的图象论可以处理命题,并且将命题的具体处理方法转化为真值函项的求解,那么,接下来要考虑的是,我们究竟应该如何为真值函项求解,并且这个方法是否可以形式化。遵循维特根斯坦的哲学思路,辛提卡找到了博弈论。
二“语言游戏说”与语义博弈
维特根斯坦的“语言游戏”说中的所谓“语言游戏”,实际上是把游戏当成是运用语言的比喻,即强调语言的使用,他指出:“我将把由语言和行动(指与语言交织在一起的那些行动)所组成的整体叫做‘语言游戏’”。维特根斯坦认为,语词的意义在于使用,运用语言是一种活动,我们使用的语词在不同的场合会有不同的意义,必须根据具体的使用环境才能确定语词的意义,试图通过孤立的逻辑分析来揭示语词的意义,结果只能误入歧途。维特根斯坦对语言的这种处理方法,实质上是从具体的语境动态地观察语词的用法,我们不能孤立地去问“什么是意义”这一类的问题,而应该说“什么是意义的解释”。弄清一个语词代表什么之前,必须首先掌握包括这个语词在内的那种语言游戏,一个词语的意义也就是它在语言游戏中的实际用法。维特根斯坦对于语言及其意义问题的思考,得益于一场足球比赛的启发,同时,相较于足球比赛,语言游戏也存在规则,在维特根斯坦看来,遵守规则是语言游戏的灵魂,也是一切人类行为的必要条件。维特根斯坦用了很多篇幅讨论规范和遵守规则。“遵守规则,做报告,下命令,下棋都是习惯(习俗,制度)。
“遵循规则类似于服从命令。人们是被训练这样做的;人们是以特定的方式对命令做出反应的。人类共同的行为方式乃是我们据以解释陌生语言的参考系。”可见,规则和遵循规则是人们在实践和交往中形成的相对稳定的行为准则和行为模式。这种语言游戏所遵循的规则究竟是什么?是否就是逻辑必然性?“维特根斯坦最终在他的认识论斗争中失败了”。
其实只要留意维特根斯坦前期哲学,我们不难发现维特根斯坦在处理这个问题上的缺陷,维特根斯坦指出:“我的根本思想是‘逻辑常量’不代表任何东西。事实的逻辑不可能为任何东西所代表。”“没有‘逻辑的对象’、‘逻辑常量’(照弗雷格与罗素的意义),于此便显然可见。”虽然维特根斯坦不承认逻辑常项的存在,但是认为客体具有逻辑形式,这种形式使得客体能够聚拢。
辛提卡认为维特根斯坦的语言游戏受到博弈论的影响。“游戏概念的主要用法如此多地分享了像冯·诺意曼(vonNeumann)和约翰·纳什(JohnNash)那些数学家构建一个详细的游戏的一般理论的结构,那个理论旨在帮助科学家与哲学家理解有趣的问题的范围。它们甚至包括了真理与意义的问题(以及其他的语言—世界关系)以供讨论,维特根斯坦从中提出了他的语言游戏观念。”
与维特根斯坦相同,辛提卡在确立了命题和世界的图示关系之后,需要研究的就是这种关系是如何建立的,“处于这些描述关系之间的关系是什么?”在辛提卡看来,单纯的图像论已经不能解释这个问题了,图像论的任务是描述关系,那么对关系的关系的刻画,则需要另一个理论。辛提卡指出:比起那些为解释语言与现实结合所需要的思想,维特根斯坦经常包含更多的语言博弈思想。“为了理解(一个给定的一阶逻辑语句)F,我们显然没有足够的时间和记忆空间,事实上,我们对一阶语句的理解必须建立在对语句和世界的有限的逐步比较之上,而不是(潜在的)F的图像本质。”“有时语言博弈能够明显的被发现用于提供词语和它所刻画之间的关联”。
这里我想指出的是,或许我们用图像论处理语句理解的时候已经不足道了,但更为恰当。辛提卡认为自己受到“维特根斯坦有关思想的启发,强调受规则支配的人类活动,亦即寻求和发现语言游戏的重要性。”但是,辛提卡“比维特根斯坦走得远得多,因为后者的思想是轮廓性的且不系统。”“在我没有有效的方式找到我的下一步该如何行动时,我怎么可能在实践中采取一个策略?”
这里有几种选择。也许有人会像在非确定性证据系统内所做的那样提出某种思路,但是辛提卡建议把我的策略限制在递归中。这种限制的方法是非常精致的,它注意到了维特根斯坦对语言游戏中实际可游戏性的思考。辛提卡坚持认为语言目标导向语言本质,这可以帮助我们重新认识处于维特根斯坦形式化时期的游戏概念的意义。当时,维特根斯坦使用“游戏”来指称目标导向的活动,诸如证实或者证伪的活动。辛提卡延用了这一思想,他说:维特根斯坦的“用法”概念强调的是一种活动,是一种构成一个词的自然环境并使该语词从中获得其意义的活动。超级秘书网
逻辑哲学论文范文第4篇
关键词:分析哲学;
语言哲学;
逻辑哲学;
现代逻辑
作者简介:张欢(1988-),女,河北唐山人,燕山大学文法学院硕士研究生,主要从事哲学逻辑与逻辑哲学研究。张满(1988-),女,河北邯郸人,燕山大学文法学院硕士研究生,主要从事哲学逻辑与逻辑哲学研究。
[中图分类号]:B08[文献标识码]:A
[文章编号]:1002-2139(2014)-06--01
20世纪,西方哲学思潮纷繁复杂。这一时期,哲学家已经不满足于仅仅从认识论角度去研究哲学的问题,这一时期的哲学研究中与逻辑学、语言学的结合日渐紧密,使得哲学研究的领域逐渐变宽。20世纪哲学的语言转向,使得分析哲学、逻辑哲学、语言哲学成为舞台的主角。
一、概念澄清
对于西方哲学的发展历程,学者们普遍认为有三次重要的转向。其中第二次转向就是从近代哲学的认识论到现代哲学的语言学转向。可以说分析哲学、语言哲学、逻辑哲学这三者都是这次转向的产物。
1、分析哲学
对于分析哲学,难以找出意见统一的定义。王路认为:分析哲学至少是一种思潮【1】,一种以语言分析为方法的思潮。根据分析哲学家们对语言的使用形式不同,分析哲学可以分为人工语言分析学派和自然语言分析学派。分析哲学总体来说有七大特征:重视分析的方法;
以语言分析为首要或者唯一任务;
逻辑上的反心理主义;
抛弃形而上学;
坚持逻辑分析,注重推理;
语言的转向;
反对建立庞大的哲学理论体系,哲学问题的解决要从小问题着手,零打碎敲。
2、语言哲学
语言哲学目前没有精确的定义。从起源上来说:国内以王路为代表的学者坚持认为,语言哲学就是分析哲学的继承与发展。他认为分析哲学发展到后期被称之为语言哲学。从众位哲学家的研究成果来看,语言哲学的研究内容无非是从语言的方向出发去澄清哲学问题,或者是语言自身所体现的哲学问题,再或者就是研究语言和哲学间的关系。这三种形式都从语言对人类的意义出发考察语言。【2】从研究范围来说:一种观点认为语言哲学就是语言的哲学,哲学问题本质上都是语言问题。另一种观点认为语言哲学是语言学的哲学,与语言学理论的关系更加紧密。
3、逻辑哲学
逻辑哲学和哲学逻辑不同。它不是逻辑,而是研究由逻辑所提出的各种哲学问题。哈克对逻辑哲学的研究内容曾作出分析并经陈波总结为两条:第一,研究逻辑学自身所提出的一系列哲学问题。第二,研究怎么样才能在哲学研究中引入现代逻辑的工具,去解决一些传统的哲学难题。【4】具体来说,逻辑哲学的内容主要有:逻辑与非逻辑、蕴含和推理有效性、关于模态逻辑的哲学问题、关于可能世界语义学的哲学问题、关于多值逻辑的哲学问题、逻辑悖论、意义理论、言语行为理论和自然语言逻辑、逻辑和本体论、专名和通名等主要内容。
二、分析哲学、语言哲学、逻辑哲学的共通之处
首先,三者的产生具有共同的根源。它们都是现代哲学的“语言转向”的产物,即都以现代数理逻辑的产生为历史前提,不管是分析哲学家,还是语言哲学家,抑或者是逻辑哲学家,绝大部分人有现代逻辑基础。
其次,三者有许多相同的研究议题和研究者。它们具有一批共同的研究课题,如意义理论、真理理论、言语行为理论等。现代许多著名哲学家如弗雷格、维持根斯坦、奎因、克里普克等,既是逻辑哲学家,也是分析哲学家和语言哲学家。
最后,三者都应用现代逻辑的方法。语言哲学家从句子出发,应用现代逻辑方法,使句法分析达到本体论和认识论的结果。威廉姆森建议逻辑哲学也应该专注于现代的科学逻辑学。他指的“科学逻辑学”是指具有精确性、系统性和严格性的观念所统辖的那些论证。【5】分析哲学的目的就是建立人工语言,同样也是现代逻辑方法的体现。
三、三者的区别
首先,对三者的界定不同。逻辑哲学和语言哲学都可以看做是一门学科,是语言、逻辑和哲学的交叉而形成的学科。学术界基本上认为分析哲学不是一门学科,而是一种思潮,一种流派。
其次,三者的研究角度和目的不同。三者对相同问题的研究角度存在差异。例,在研究存在问题时,分析哲学通过形式语言还原“存在”的本来面目,而逻辑哲学通过非形式语言来理解“存在”,并将本体论纳入存在问题研究领域中。逻辑哲学有构造理论的功能,这和分析哲学也有明显的区别。另外,三者的研究目的不同。分析哲学是为了更好的阐述问题而不是解释问题。分析哲学家认为过往的哲学家之所以会对很多哲学问题形成争论,并最终使这些哲学问题无法解决而成为千古难题的原因,就在于自然语言有缺点。所以,解决哲学问题的关键是建立理想语言。而语言哲学则至少要解决某些问题。
再次,对其他学科的态度不同。分析哲学反对建立理论体系,抛弃形而上学,而且反心理学。逻辑哲学使逻辑哲学化,不像分析哲学一样远离哲学,似乎希望通过逻辑来回答哲学上的问题。分析哲学的有些问题语言哲学是不研究的,语言哲学的有些问题,分析哲学至少是不重点研究的,语言哲学不像分析哲学一样反心理学,反而是与心理学相融合的。语言哲学研究的范围随着时间的推移逐渐扩大,和其他学科的交叉逐渐扩大。
逻辑哲学论文范文第5篇
【英文摘要】Philosophicallogicisapolysemantincontemporarylogicalliterature.Webelieveit""""sanon-classicallogicwithphiloso-phicalpurportorcause.Itsrisearosesalotoftheoreticalproblems.Thisessayexpoundsthelimitsofclassicallogic,non-monotonyanddeduction,logicalmathematicalizationanddepart-mentalization,theownershipofinductivelogic,etc.
【关键词】经典逻辑/非经典逻辑/演绎性/数学化/部门化/哲学逻辑classicallogic/non-classicallogic/deduction/mathematicalization/departmentalization/philosophicallogic
【正文】
哲学逻辑的崛起引发一系列理论问题。我们仅就其中几个提出一些不成熟的看法。
一、经典逻辑和非经典逻辑的界限
在这里经典逻辑是指标准的一阶谓词演算(CQC),它的语义学是模型论。随着非经典逻辑分支不断出现,使得我们对经典逻辑和非经逻辑的界限的认识逐步加深。就目前情况看,经典逻辑具有下述特征:二值性、外延性、存在性、单调性、陈述性和协调性。
传统的主流观点:每个命题(语句)或是真的或是假的。这条被称做克吕西波(Chrysippus)原则一直被大多数逻辑学家所恪守。20年代初卢卡西维茨(J.Lukasiwicz)建立三值逻辑系统,从而打破了二值性原则的一统天下,出现了多值逻辑、部分逻辑(偏逻辑)等一系列非二值型的逻辑。
经典逻辑是外延逻辑。外延性逻辑具有下述特点:第一,这种逻辑认为每个表达式(词项、语句)的外延就是它们的意义。每个个体词都指称解释域中的个体;
而语句的外延是它们的真值。第二,每个复合表达式的值是由组成它的各部分表达式的值所决定,也就是说,复合表达式的意义是其各部分表达式意义的函项,第三,同一性替换规则和等值置换定理在外延关系推理中成立。也是在20年代初,刘易士(C.I.Lewis)在构造严格蕴涵系统时,引入初始模态概念“相容性”(或“可能性”),并进一步构建模态系统S1-S5。从而引发一系列非外延型的逻辑系统出现,如模态逻辑、时态逻辑、道义逻辑和认知逻辑等等出现。
从弗雷格始,经典逻辑系统的语义学中,总是假定一个非空的解释域,要求个体词项解释域是非空的。这就是说,经典逻辑对量词的解释中隐含着“存在假设”,在60年代被命名为“自由逻辑”的非存型的逻辑出现了。自由逻辑的重要任务就在于:(1)把经典逻辑中隐含的存在假设变明显;
(2)区分开逻辑中的两种情况:一种与存在假设有关的推理,另一种与它无关。
在经典逻辑范围内,由已知事实的集合推出结论,永远不会被进一步推演所否定,即无论增加多少新信息作前提,也不会废除原来的结论。这就是说经典逻辑推理具有单调性。然而于70年代末,里特(R.Reiter)提出缺省(Default)推理系统,于是一系列非单调逻辑出现。
经典逻辑总是从真假角度研究命题间关系。因而只考察陈述句间关系的逻辑,像祈使句、疑问句、感叹句就被排斥在逻辑学直接研究之外。自50年代始,命令句逻辑、疑问句逻辑相继出现。于是,非陈述型的逻辑存在已成事实。
经典逻辑中有这样两条定理:(p∧q)(矛盾律)
和p∧pq(司各特律),前者表明:在一个系统内禁不协调的命题作为论题,后者说的是:由矛盾可推出一切命题。也就是说,如果一个系统是不协调的,那么一切命题都是它的定理。这样的系统是不足道的(trivial)。柯斯塔(M.C.A.daCosta)于1958年构造逻辑系统Cn(1〈n≤ω)。矛盾律和司各特律在该系统中不普遍有效,而其他最重要模式和推理规则得以保留。这就开创了非经典逻辑一个新方向弗协调逻辑。
综上所述非经典逻辑诸分支从不同方面突破经典逻辑某些原则。于是,我们可以以上面六种特征作为划分经典逻辑与非经典逻辑的根据。凡是不具有上述六种性质之一的逻辑系统均属非经典逻辑范畴。
二、非单调性与演绎性
通常这样来刻画演绎:相对于语句集合Γ,对于任一语句S,满足下述条件的其最后语句为S的有穷序列是S由Γ演绎的:序列中每个语句或者是公理,或者是Г的元素,或者根据推理规则由前面的语句获得的。它的一个同义词是导出(derivation)。演绎是相对于系统的概念,说一个公式(或语句)是演绎的只是相对于一不定的公理和推理规则的具体系统而言的。演绎概念是证明概念的概括。一个证明是语句这样的有穷序列:它的每个语句或是公理或是根据推理规则由前面的语句得出的。在序列中最后一个语句是定理。
现在我们考察单调逻辑中演绎情况。令W是一阶逻辑公式的集合,D为缺省推理的可数集,cons(D)为D中缺省的后承的集合。我们来建立公式Φ的缺省证明概念:首先我们必须确定从WUcons(D[,0])。导出Φ这种性质的缺省集合D[,0]。为确保在D[,0]中缺省的适用性,我们须确定缺省集合D[,1],致使能从WUcons(D[,1])中得出在D[,0]中缺省的所有必须的预备条件。我们从这种方式操作直至某一空的D[,K]。这意谓着从W得出在D[,K-1]中的必须的预备条件。然后我们确定一个证明,只是我们不陷入矛盾,即是W必须跟包括在证明中的所有缺省后承的集合相一致。例如,给定缺省理论
T=({p},{δ[,1]=p:r/r,δ[,2]=r:ps/pS})
({δ[,2]}),{δ[,1]},Φ是S在T中的缺省证明。
形式地说,Φ在正规缺省理论T=(W,D)中的一个缺省证明是满足下述条件的D的子集合的有穷序列(D[,0],D[,1],…D[,K]):
(i)Φ从WUcons(D[,0])得出。
(ii)对于所有i〈K,从Wucona(D[,i+1])得出缺省的所有预备条件。
(iii)D[,K]=Φ。
(iV)WUcons(U[,i]D[,i])是一致的。
由上面可以看出缺省推理中的证明是与通常的演绎证明是不同的,前者比后者要宽广些。
附图
由此可见,缺省逻辑中的推出关系比经典逻辑中的要宽。因而相应扩大了“演绎性”概念的外延。于是可把演绎性分为:强演绎性和弱演绎性。后者是随着作为前提的信息逐步完善,而导出的结论逐步逼近真的结论。
三、逻辑的数学化和部门化。
正如有人所指出的那样,“逻辑学在智力图谱中占有战略地位,它联结着数学、语言学、哲学和计算机科学不同学科。”[2]作为构建各学科系统的元科学手段的逻辑与各门科学联系越来越密切。它在当展中,表现出两个重要特征:数学化和部门化。
逻辑学日益数学化,这表现为:(1)逻辑采取更多的数学方法,因而技术性程度越来越高。一些逻辑问题(如系统特征问题)的解决需要复杂的证明技术和数学技巧。(2)它更侧重于数学形式化的问题。其实数学化的本质是抽象化、理想
化和泛化(普遍化)。这对像逻辑这样的形式科学显然是非常重要的,近一个世纪逻辑迅速发展就证明了这一点。逻辑方法论的数学化在本世纪下半叶正在加速。这给予逻辑的一些重要结论以复杂的结构和深入的处理,使逻辑变得更精确更丰富。但是,由于逻辑中数学专门化已定型并且限定了它自己,所以逻辑需向其他领域扩张,拓宽其研究领域就势所必然。
逻辑向其他学科领域的延伸并吸收营养,于是出现了各种部门逻辑,如认知逻辑、道义逻辑、量子逻辑等等。我们把逻辑学这种延伸和部门逻辑出现称做逻辑部门化。
哲学逻辑就是逻辑部门化的产物,它是方面逻辑或部门逻辑。众所周知,经典逻辑演算的理论、方法和运算技术具有高度的概括性,它适用于一切领域、一切语言所表达的演绎推理形式。所以,它具有普遍性,是一般的逻辑。有人认为一阶演算完全性定理表明“采用现代数学方法和数学语言来刻画的全体‘演绎推理规律’恰好就是人们在思维中所用的演绎推理规律的全体,不多也不少!”[3]。表达一阶逻辑规律的公式是普通有效的,即是这些公式在任何一种解释中都是真的。而哲学逻辑各分支只是研究某一方面或领域的演绎推理规律,表达这些规律的公式只是在一定条件下在某一领域是有效的,即是它们在具有某种条件解释下是真的。例如,模态公式(D)PP,(T)PP,(B)PP,(4)PP,(E)PP,分别在串行的、自反的、对称的、传递的、欧几里得的模型中有效。而动态逻辑的一些规律只适用于像计算程序那样的由一种状态过渡到另一种状态转换的动态关系。
部门逻辑另一种含义是为某一特定领域提供逻辑工具。例如,当人们找出描述一个微观物理系统在某一时刻的可观察属性的命题的一般形式。对其进行运算时,发现一些经典逻辑规律失效,如分配律对这里定义的合取、析取运算不成立。于是人们构造一种能够描述微观物理世界新的逻辑系统,这就是量子逻辑。
四、哲学逻辑划界问题
哲学逻辑形形并且难于表征。在现代逻辑文献中,“哲学逻辑”是个多义词。它的涵义主要的有三种:它的第一种涵义是指关于现代逻辑中一些重要概念和论题的理论研究。例如,对于名称(词项)、摹状词、量词、模态词、命题、分析性、真理、意义、指涉、命题态度、悖论、存在乃至索引等概念及与它们相关的论题的理论研究以及利用形式逻辑工具处理逻辑和语言的逻辑结构的哲学争论。它的第二种涵义是指非经典逻辑中一个学科群体,它包括模态逻辑、多值逻辑等等众多逻辑分支。它的第三种涵义是兼指上述两种涵义的“哲学逻辑”。
我们认为,第一种涵义上的“哲学逻辑”不是研究推理有效式意义上的逻辑,而是逻辑哲学。我们赞成在第二种涵义上使用“哲学逻辑”一词。于是可以给出下述定义:哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑,在这里应对“哲学”做广义的理解。哲学逻辑不仅与传统哲学中的概念和论题有直接或间接联系。而且也涉及各门科学中具有方法论性质的问题和其他元科学问题。
在我们看来,“归纳”和“演绎”一样,是传统哲学所关注的重要哲学概念,而且也是现代一些哲学家所争议的问题之一。同时归纳逻辑方法的启发作用在认知过程中不可低估,归纳的一些方法和技术同样是一些学科的元科学因素,是发现真理构建学科系统不可少的。因此,它应属于哲学逻辑。《哲学逻辑杂志》亦把它列入哲学逻辑诸分支之首。
问题在于,归纳推理的复杂性,对它的形式刻画和找出能行程序遇到不易克服的困难,致使其成果与演绎推理所获得成果相比,显得不那么丰硕。然而,由于人工智能等技术上的需要,推动着更多的人研究归纳推理,总会有一天,归纳逻辑也像演绎逻辑那样用形式方法来处理。
【参考文献】
[1]Antoniou,G.:1997,NonmontonicReasoning,TheMITPress,Cambridge,Masschusetts.
推荐访问:逻辑 哲学 论文 逻辑哲学论文【五篇】 逻辑哲学论文(精选5篇) 逻辑哲学论的作文