罗素对节俭本体论的追求及其局限性

罗素在抛弃黑格尔的绝对理念后,曾一度持有一种巴门尼德式的本体论:凡是我们能够想到的东西都是存在的。这样一种无所不包的本体论是与他的意义理论联系在一起的:语词的意义就在于其所     

罗素的“命题”与弗雷格的“语句”之比较

语句(sentence)是语义的基本单位,语词只有在语句语境中才能获得意义。这是弗雷格(G.Frege)的一个著名观点。(Frege,1884,p.140)可见,语句在弗雷格的语言哲学或语义理论中占据多么重要的位置。然而,语句是什么,它的涵义和指称是什么,     

形容词修饰语义的现代类型论探析

基于现代类型论的自然语言语义学（MTT语义学）是涉及逻辑学、语言学及计算机科学的交叉学科研究,在自然语言语义刻画及推理等方面具有独特的优势。本文基于作者关于MTT语义学的研究成果,探讨中英文形容词的现代类型论语义模型,阐明其丰富的类型结构在语义构造中所起的关键作用,同时在澄清形容词语义方面做进一步的推进性工作。     

浅析罗素的摹状词理论——从一个真命题谈起

那个会腾云驾雾的会腾云驾雾吗?对于这个问题,从常识出发的人们会很自信地回答：当然能。也就是说,命题“那个会腾云驾雾的会腾云驾雾”是真的。而罗素的回答却恰恰相反,在他看来这个命题是假的。在回答之先,罗素首先分析指出这个命题面临     

基督宗教与悲剧性解释的逻辑

T·蒂里希认为,悲剧的成因在于人将其所认同的相对价值绝对化;黑格尔将之归结为各具实体性又各具片面性的伦理力量间的冲突;一种准黑格尔式的看法则将之同所谓历史的方向与目标相关联;雅斯贝斯突出强调了悲剧性的必然性.上述解释既各有合理性,又各有悖背理谬处,其远思的逻辑则分别源于基督宗教独一神信仰、上帝以言创世的教义、上帝的创世目的及救赎计划等思想.从人类生存的实情来看,悲剧性应在于人生存的悖论性,即人既必须由对神圣者的认同而获得自身的同一性,但这种同一却又必然经由世俗要求的否定才能最后完成.人这种生存的悖论也恰是与基督宗教信仰中辩证性的悖论不谋而合的.     

新弗雷格主义对涵义的认知解释

对弗雷格式涵义的描述主义解释传统受到了克里普克和直接指称论者的深入批评。新弗雷格主义者坚持涵义的不可或缺性而建议放弃描述主义。新弗雷格主义者对弗雷格式涵义的实质内容的阐发可以解读成三种进路：一是把涵义解释成从物的思考方式或心理呈现模式;二是把涵义解释成证实性知识或作为证据的概念;三是把涵义解释成动态的信息体或文件系统。这三种理解都强调了弗雷格式涵义的认知功能,从而显示出涵义概念的语义解释和认知解释之间的紧张,以及涵义概念的内在不融贯性。二维语义学承接新弗雷格主义的立场把弗雷格式涵义拆分成认知内涵和真值条件内涵两个维度,涵义的认知层面是弗雷格式涵义的主要特征。     

存在问题的逻辑语言维度

存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上,围绕“存在”是不是个体的属性从而是不是逻辑谓词的争论呈现出三派观点:弗雷格、罗素等从一阶逻辑出发,认为“存在”不是逻辑谓词,而是量词;皮尔士、斯特劳森等结合精致的自然语言分析,认为“存在”在某些特殊情况下表达了个体的属性,是一种特殊的谓词;自由逻辑学家则从自由逻辑的角度给出了肯定的答案。在“何物存在”问题上,蒯因“存在就是约束变项的值”的本体论承诺标准机智地揭示了存在问题的语言学实质。可以说,利用一阶逻辑解释存在问题的方法是比较成功的。如果将弗雷格、罗素的一阶语言扩展到高阶语言,则既能与蒯因的理论连贯一致,又能避免无谓的“存在”本体论纷争。这种做法的结果是“存在”具有了层次性的特征。掌握一定的逻辑学基础知识,有助于我们深入研究西方哲学。     

逻辑性和弗雷格算术与简单类型论的逻辑主义CSSCI

弗雷格和罗素的逻辑主义由两个部分构成:可证明性论题和可定义性论题。可以很确信地说,可证明性论题并不能得到完全的辩护。但是,为了向两者,特别是可定义性论题,提供辩护或者拒斥之,我们需要逻辑性的标准来决定,除了其它常元的逻辑性之外,表示数的常元和表示属于关系的常元的逻辑性。我将采用的逻辑性标准是塔尔斯基和谢尔提出的同构不变量标准和费弗曼提出的同态不变量标准。塔尔斯基和谢尔在不同的地方已经指出罗素的表示属于关系的常元是同构不变量。在本文中,我将证明如下结论:第一,表示属于关系的常元是同态不变量;第二,弗雷格的表示数的常元既不是同构不变量也不是同态不变量;第三,如果逻辑性是同构不变量或者同态不变量,弗雷格的逻辑主义(弗雷格算术)的可定义性论题不成立;第四,如果逻辑性是同构不变量,罗素的逻辑主义(简单类型论)的可定义论题成立,但若逻辑性是同态不变量,这个论题则不成立。     

苏赫拉瓦尔迪论心智思虑物——从唯名论存在主义角度批判存在与本质的现实区分

围绕伊本·西那著名的存在与本质的区分,伊斯兰东部哲学家在11至13世纪展开了一场规模宏大的论战。作为主导者之一的苏赫拉瓦尔迪,全面批判存在与本质的现实区分,将其限定为心智区分。他提出了一系列基于无限倒退的原创论证,证明“单义存在”不可能存在于现实中,并增加于本质。但其形上学立场因此被国际学界误读为“本质根源论”。通过考察四个关键阿拉伯语哲学文本,可以得知,苏赫拉瓦尔迪的立场事实上是唯名论和存在主义;他首次提出“存在”可以在强弱完缺意义上以“系统歧义”的方式述谓现实事物,这成为17世纪伊斯兰存在主义形上学的根基和先声。     

解释的覆盖律模型和定律

科学解释(scientific explantion)是科学哲学中的经典问题,科学就是追求对经验事实给出解释性原理的学科。科学解释也是科学哲学中的一个长盛不衰的主题。2005年《综合》杂志专门刊登整整一期来讨论科学解释问题,作者主要从认识论视角研究科学解释问题,其靶子文章就是由哈洛宁(Ilpo     

括号表示法：一种中国式表示法

逻辑常项是各种逻辑系统研究的核心,使用合适的方式表示逻辑常项,可以为逻辑研究提供良好的技术工具和清晰的呈现方式。根据逻辑常项符号表示法的产生和发展历程,可以将其归纳为三种形态：自然语言表示法、符号表示法和形式化表示法。逻辑常项表示法的变迁,不仅决定着逻辑形态的呈现形式,而且决定着逻辑研究的持续和深入发展。中置法和前置法是国际逻辑学界通行的两种主要的逻辑常项表示法,与之不同,作者受舍弗(H. M. Sheffer)函数和张清宇先生相关工作的启发,提出了一种新的逻辑常项表示法——括号表示法。在该表示法中,表示逻辑常项的符号只有一对左右括号。作者阐明在任意给定的逻辑系统中,只要使用一对括号就可以定义出该系统的所有逻辑常项,彰显了括号表示法强大的归约功能和表达功能。作者还证明了括号表示法其形式语言表达的唯一性。在此基础上,作者阐明：比起中置法,括号表示法表达更简洁;比起波兰表示法,括号表示法表达更清晰。括号表示法是一种整体表示法,是由中国学者提出并系统构建的符号表示法,因此也可以称为中国式表示法。     

为分析性辩护

自从蒯因在著名的《经验论的两个教条》等一系列文章中对分析性做出批评以后,分析传统内已经很少有哲学家再对分析性概念持肯定态度了;随之受到威胁的是意义以及逻辑必然性的概念。     

浅论罗素的摹状词理论

在西方哲学史上，伯特兰·罗素（Bertrand Russell）是第一个系统地、全面地探讨了摹状词理论的哲学家，这一理论无论是在语言哲学还是在数理逻辑中都有很大的影响，本文主要介绍了罗素的摹状词理论，包括他这一理论的来源以及主要内容，进一步指出了他的摹状词理论的缺点。从而我们全面的理解罗素的摹状词理论。     

后天物理主义与解释鸿沟——B.劳尔版现象概念策略的拓展分析

作为心灵哲学里的一个著名论证,解释鸿沟试图从知识论层面来质疑物理主义.物理主义的一个新近回应被称为现象概念策略.然而,不同的物理主义者对现象概念策略的理解也不相同,本文选取的是一个具有广泛影响的版本——劳尔版现象概念策略.我将论证,该版本不但能有效化解解释鸿沟带来的困扰,而且能为我们开辟出物理主义的一条新航向——后天物理主义.     

无需他人尊重的自尊是否可欲——对柯林·博德自尊观的一种批评性反思

与正义相关的规范性理论往往视自尊为理论焦点,罗尔斯、玛格利特、霍耐特和查尔斯·泰勒等人的理论均反映了这一特点。柯林·博德从斯多葛主义出发反驳了这一基本立场,其论证核心为“依赖性论题”,即自尊依赖于他人的尊重性态度。借用尼采对“升华的愤恨”的反思,通过区分两种不同形式的痛苦能够反驳博德的论证,并证明博德对自尊自足性的强调将使其拯救自尊的努力产生伤害自尊的后果。为了更好地保障自尊,博德应该接受而不是否认“依赖性论题”。     

意向性的计算解释

当代心智哲学和认知科学中,意向性是颇受关注且又不断引发争论的中心概念之一。直观上,意向性系指心智状态或过程具有的"关于性",即心智的内容是关于或表征某种东西的。许多哲学家认为,意向性是大多数(甚至所有)心智状态的标志。倘若意向性确是一种真实的现象,则以理解心智现象为己任的认知科学,就有责任用科学上合适的方式来解释心智状态的这一特质。     

带有受限缩并规则的兰贝克演算的模型论

自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系,这就是自然语言的毗连性(concatenation)。通过毗连,自然语言符号串可以逐步增长扩张,这就是自然语言的生成性(generation)。自然语言的毗连生成体现出由小到大的递增性,弗雷格(Frege)用语句函项的思想来分析其构造过程,即把某一语言成分当作函项,把旁边的成分当作函项的主目,把两个成分的毗连当作函项运算     

墨家逻辑推理模式的新解释

墨家是先秦诸多学派之一,墨家逻辑也是中国古代本土逻辑思想的典范之一。墨子及其后学创立了中国思想史上第一个＂以名举实,以辞舒意,以说出故＂的墨家逻辑体系,成为中国古代逻辑思想发展的优秀代表。墨家逻辑的主要推理模式包括：＂辟＂、＂侔＂、＂援＂、＂推＂等。墨家逻辑思想的研究开启了中国逻辑思想研究的先河,墨家逻辑思想研究是中国逻辑思想研究的核心内容之一。国际逻辑学界对作为非印—欧语言系统的中国逻辑的关注,显示了中国逻辑独立存在的价值。今天的中国逻辑思想研究处于现代逻辑发展与中国现代文化发展的交汇点上,需要我们从逻辑和中国文化的角度来研究中国逻辑思想。用逻辑的一般特性来分析墨家逻辑,依据工具性、形式性和有效性这三个方面,是解释墨家逻辑的一个新角度。     

科学哲学

本文首先讨论科学哲学的起源与重要性。其次,本文考察如下基本问题：理论客体的实在论性、理论与经验的区分、科学解释、归纳、科学检验等等。本文所涉及的观点包括实在论与反实在论、科学解释的不同模型、证实主义与证伪主义、亚决定论、整体论、被理论渗透的经验、不可公度性等等。本文所涉及的学派包括逻辑经验（实证）主义、实在论及关于科学的实用主义、历史（科学史）转向与相对主义。最后,笔者会谈一谈科学哲学的新近发展方向及笔者对其在中国与西方将来发展的前瞻。