试论戴维森的真之理论

戴维森的核心成果之一是其真值条件语义理论,该理论通过给出句子的真值条件以解释其意义。因此,在这一理论中,戴维森的真之理论扮演着十分重要的地位。众所周知,戴维森的真之理论来源于塔尔斯基的真之定义。但在塔尔斯基的真之定义中,自然语言应排除在外,因为它会导致语义悖论;而且,塔尔斯基的真之定义不能直接被用来解释语言的意义,因为在给出真之定义的过程中,塔尔斯基已赋予解释优先地位。因此,戴维森必须对塔尔斯基的真之定义进行修改。但令人遗憾的是,修改后的真之理论实际上仍然不能满足其意义理论的要求。     

哲学逻辑与逻辑哲学

本文对哲学逻辑与逻辑哲学这两门新兴学科进行了较为详细的介绍与讨论，作者认为：（1）尽管“哲学逻辑”在英美哲学界与逻辑界具有不同的涵义，但我们宜在比较规范和合乎词义习惯的意义上使用“哲学逻辑”一词-用“哲学逻辑”指称不同于经典逻辑或标准逻辑的诸现代逻辑分支。（2）关于逻辑哲学，可以定义为研究逻辑特别是现代逻辑及其发展中的哲学问题的学科，这是一门介于元逻辑与语言哲学之间的学科。     

“中国逻辑与当代语言哲学研讨会”在香港科技大学举行

“中国逻辑与当代语言哲学研讨会”在香港科技大学举行李醒民在香港科技大学人文学部的策划和组织下，１９９５年９月２７日至３０日，“中国逻辑与当代语言哲学研讨会”在风景秀丽、设施现代的香港科技大学举行。来自台湾、香港、澳门和大陆的２６位与会学者，就相关学术...     

论逻辑分析与特构语言

在传统哲学中,很多问题都没有确定的解答。常常当一个哲学家的学说与另一个哲学家的学说看来互不相容时,大家都提不出无可置疑的理据或证明支持自己的学说而将对方的学说推翻。倾向于逻辑分析的方法或特构语言的进路(constructed language approach)的分析哲学家大都认为,这种方法或进路能克服上述的哲学困境。本文对逻辑分析和特构语言的     

塔斯基论自然语言的不一致性

塔斯基的不一致性论证表明自然语言由于蕴涵说谎者悖论而是不一致的。索姆斯认为塔斯基的论证不仅证明了自然语言的不一致性还表明存在真的矛盾。格瑞·雷和帕特森则论证说塔斯基没有证明自然语言的不一致性。这三者都误解了塔斯基的论证,即误解了它在塔斯基的真谓词的不可定义性论证中的作用、它的出发点和它能得到的推论。在塔斯基看来,自然语言的不一致性是由它具有普遍性这个经验事实所导致的。通过重构塔斯基的论证不难发现该论证并不需要预设包含说谎者语句的T-语句是真的或可断定,也不需要假定矛盾本身是真的或可断定。     

维特根斯坦论语言的不定性原则——兼论私人语言的不可能性

语言的否定性原则指的是凡语言必须有否定语句的存在，否则就不称为语言。这一原则是维特根斯坦探讨语言问题时所持有的一个根本原则，它体现着语言的辩证法。根据这一原则，他对逻辑语言、日常语言和私人语言的可能性问题都作了独特的分析，认为逻辑语言和日常语言是可能的，而私人语言由于没有否定语句的存在因而是不可能的。     

从逻辑哲学看弗雷格的"真"理论

弗雷格的“真”理论主要包括真的范围、性质、表达、本体论地位、真与思想的关系以及真在逻辑中的地位等几个方面的内容，是一个系统的、全面的理论。它不仅直接为创立现代逻辑提供了哲学上的辩护，而且还为意义理论的创立提供了基本的概念和方法。因此，这个理论在弗雷格逻辑哲学中占有核心的地位；整个弗雷格逻辑哲学是围绕这个中心理论展开的。无论是从历史的维度看，还是从蓬勃发展的现实看，弗雷格的“真”理论对于现代逻辑与现代西方哲学都具有十分重要的意义。     

塔斯基的真理论与符合论

塔斯基的语义真理论常被当作符合论.通过区分塔斯基式真定义的普遍特征和具体的定义形式,并对不同语言构造具有不同语义特征的定义实例,揭示出塔斯基所持的是一种语义工具论.塔斯基的真理论并不是符合论.     

弗雷格与达米特意义理论的特征差异及其根源--从逻辑哲学的观点看

弗雷格意义理论与达米特意义理论是两种不同形态的意义理论。论文从理论构建的出发点、理论核心概念——“真”概念的诠释、认知因素在意义理论中的地位等三个方面分析了二者差异的根源，以此表明“真”概念是意义理论的核心概念，“真”概念从实在论的形态到反实在论形态的转化导致了意义理论从实在论形态到反实在论形态的转型，由此生动昭示和例证了当代意义理论研究中的认知转向。     

逻辑经验主义的元哲学

所谓元哲学,就是一种元理论,就是一种理论化的哲学观;它所要回答的基本问题是:哲学是什么?它来自何方?去往何处?这些问题几乎同哲学自身的历史一样长,每一位哲学家都或多或少思考过这些问题。但是,历史上大多数哲学家对哲学本身的看法都是零散的,甚至是偶发的,或者说只是他们的哲学研究的一种副产品。直到二十世纪初,这种状况才开始改观。摩尔、罗素、维特根斯坦和逻辑经验主义者都先后提出了他们的元哲学。本文所涉及的是逻辑经验主义的元哲学。逻辑经验主义的元哲学由两部分组成,其一是对传统哲学的看法;其二是对所谓的真正的哲学的看法。具体说来如下:     

真理概念的本性之基本语义分析

真理概念处于人类文明的核心。但阐明真理概念的本性的工作 ,虽经历代哲学家们殚精竭虑的努力 ,迄今仍未取得令人满意的结果。这显示了真理概念的深度和复杂性。从我们今天的观点来看 ,真理概念可分为常识真理和科学真理 ,常识真理又可细分为一般真理和实指条件下的真理。实指条件下的真理概念是本义的真理概念 ,它仅是符合论适用而其他真理理论并不适用的领域。本文力图通过对实指条件下真理概念之基本语义作用的深入系统的分析 ,阐明构成本义真理概念关键环节的“符合”直觉之实质内容 ,以此对其他真理概念的语义分析奠定一个稳固的基础。     

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同.我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的.逻辑学的任务就是探寻逻辑真理.     

论尼采透视主义的真理观

尼采力图超越绝对主义和相对主义的传统真理观，提出了透视主义真理观：尼采通过揭示传统真理观所预设的本体信念的非理性根源，撼动了基于神目观的绝对主义真理观的根基；通过阐明认识所依赖的透视视角的种类和特点，批判了传统相对主义真理观中唯我主义和人类中心主义的倾向；通过向价值关系的回溯，凸显出真理与生活实践和生命的形而上追求的紧密关系。尼采透视主义真理观将人性关切和实践理性引入到对真理的哲学反思中，为全面理解真理提供了必不可少的人文语境。     

谈谈鸟类的定义问题

摘要 辽宁西部晚侏罗世中华龙鸟、原始祖鸟、尾羽鸟、孔子鸟和长城鸟的发现,以实物材料证明鸟类系由小型兽脚类恐龙演化而来,鸟类就是恐龙。但目前世界上关于鸟类的定义还存在着较大分歧。本文认为：鸟类应被定义为已经发育了翅膀和飞行羽毛的生物。以原始祖鸟和尾羽鸟为代表的“初鸟类”应是目前已知最古老的鸟类。20世纪最后这20多年,国际古生物学界对鸟类起源问题的研究达到了前所未有的高潮。鸟类的兽脚类恐龙起源假说与鸟类的槽齿类起源假说这两大学派的争论也达到白热化。90年代中期以来,中国辽宁西部晚侏罗世地层中相继发现了一系列长羽毛的生物化石,如：中华龙鸟、原始祖鸟、尾羽鸟、孔子鸟和长城鸟等,为解决鸟类起源问题带来了曙光。中华龙鸟(Sinosauropteryx)体长65cm,具有兽脚类恐龙的典型骨骼特征,牙齿锐利且边缘发育有小锯齿,前肢短小而后肢强壮,尾极长,但因其生有短的原始羽毛,故得名中华龙鸟^[1]。中华龙鸟是目前世界上最早的长有羽毛的生物,代表了小型兽脚类恐龙向鸟类演化的过渡类型。原始祖鸟(Protarchaeopteryx)体长不足1m,棒状的牙齿边缘具微弱锯齿,前后肢等长,尾椎20余节且相互没有愈合,羽毛发育而羽片呈对称状,尾羽很长。该动物的前肢特征、尾椎数目等均与德国著名的始祖鸟(Archaeopteryx)的极为接近,显示出两者间一定的亲缘关系。然而它的腰带和后肢粗壮、羽片对称生长等,又比始祖鸟原始,因而被命名为原始祖鸟^[2,3]。尾羽鸟(Caudipteryx)尾羽鸟的大小和形态都类似于原始祖鸟,但羽尾鸟的牙齿仅长在嘴的前端、表面光滑,前肢也相对更短更细一些。尾羽鸟翅膀上的飞行羽毛较短,羽片对称状;体羽纤维状,与中华龙鸟的相同;长长的尾羽呈扇状,仅发育于尾的末端,这也是其名称的由来^[3]。尾羽鸟和原始祖鸟尚不具备飞行能力,仍为陆地奔跑者。孔子鸟(Confuciusornis)孔子鸟这一名称来自我国古代伟大的教育家和思想家孔子^[4]。孔子鸟是最早具有角质喙和尾综骨的鸟类,飞羽亦很发育,显示出它已具有相当的飞行能力。但孔子鸟前肢上的3个指爪仍很强大,又表明它原始的一面,其肱骨近端极宽大且具有一特殊的气孔,不同于其它鸟类。孔子鸟是群体生活的鸟类,目前已得到的化石数以千计,雄鸟的尾部生有两根极长的漂亮尾羽。长城鸟(Changchengornis)长城鸟的属名源于中国古代最宏伟的建筑——长城^[5]。长城鸟具有许多与孔子鸟相同或相似的特征,但其以喙前部显著钩曲、下颌远远短于头骨、肱骨近端不具气孔、后肢第一趾相对较长等有别于孔子鸟。长城鸟稍小于孔子鸟,骨骼轻巧,飞羽发达,比孔子鸟更为进步。辽西这些化石的发现,首次以确凿的实物材料证明了由小型兽脚类恐龙向鸟类方向演化过程中中间环节的存在,有力地支持和完善了鸟类的兽脚类恐龙起源理论,同时也表明中华龙鸟、原始祖鸟和尾羽鸟、始祖鸟、孔子鸟和长城鸟等代表了鸟类最初演化的主干。随着近年恐龙及鸟类化石新材料的大量发现及研究的不断深入,兽脚类恐龙与鸟类之间的界线越来越模糊,“鸟类就是恐龙”这一观点正在被越来越多的人所接受。1999年2月在美国耶鲁大学召开的“Ostrom鸟类起源与早期演化国际学术研讨会”对此作了充分肯定,此次会议争论的焦点已从鸟类起源问题上转移到了鸟类的定义方面。那么,什么是鸟？我们该如何给鸟下一个定义呢？美国Gauthier教授认为鸟类应局限于现生鸟类及其最近的直系祖先类型(包括少量化石),以保持鸟类定义的最初含义^[6],他把中华龙鸟、原始祖鸟、尾羽鸟和始祖鸟等称为长羽毛的恐龙(feathered dinosaurs),把孔子鸟和长城鸟等化石类型称为会飞的恐龙(flying dinosaurs),把现生鸟类称为现生的恐龙(living dinosaurs)(即鸟类)。而以美国Padian教授和Chiappe博士为代表的学者主张应以德国的始祖鸟作为最早的鸟,也就是说,始祖鸟之后的都可称之为鸟,而比始祖鸟原始的其它长羽毛的生物(如中华龙鸟、原始祖鸟和尾羽鸟)应称为长羽毛的恐龙,其原因仅仅是始祖鸟被作为鸟已经有140多年了^[7]。但是,原始祖鸟和尾羽鸟的特征与始祖鸟的特征是如此相近,以至于在它们中间很难找出根本性的差异。第三种观点是以羽毛的出现作为鸟类的第一特征,实际上,当初正是由于始祖鸟保存有羽毛印痕,它才被作为鸟类的成员。如果以羽毛作标准,那么,包括中华龙鸟、原始祖鸟、尾羽鸟、始祖鸟、孔子鸟和长城鸟等在内的一切长有羽毛的动物都可被称为鸟。一般情况下,生物学家用一些关键特征来作为分类和系统分析的主要依据,根据这些特征,可以发现演化的方向和重建演化系统树。通过对中华龙鸟等一系列化石的研究对比,可以看出：在兽脚类恐龙向鸟类演化的过程中,中华龙鸟开始出现原始羽毛;奔龙(Dromaeosaurus)前肢已呈翼状,其下臂已能向身体方向折过来;原始祖鸟和尾羽鸟最早发育了翅膀和羽片为对称状的飞行羽毛(可跳跃);始祖鸟的翅膀更长,飞行羽毛的羽片已变为不对称类型(可滑翔);孔子鸟和长城鸟牙齿消失而出现角质喙,尾变短并出现尾综骨,飞羽很长(可飞行);今鸟类翅膀上腕掌骨愈合,指爪退化,飞行种类的胸骨龙骨突极发达。到底以什么特征的出现作为鸟类的首要特征呢？我们认为：鸟类应该被定义为已经发育了翅膀和飞行羽毛的生物。具体讲,原始祖鸟和尾羽鸟应作为鸟类的开始,它们是目前已知最早的鸟类,我们把这类生物称作“初鸟类”(Chuniaoia)(图1)。在20世纪即将结束之际,中国辽宁一系列化石的发现使鸟类的起源问题基本得以解决。相信在不久的将来,人们对鸟类的定义也必将会取得基本一致的认识。本文化石照片请见封三。图1 早期鸟类分支系统简图     

元工具概念的界定

元工具是制造工具的工具,是人类所持有的最初的最早的最根本的工具,是人类制造一切工具的基础及其技术形态的根本体现,其表现形态分别为:手、火、语言。元工具的出现和人类的诞生是同时的、互为依据的。因为元工具的诞生,循着工具叠加的路径,人类登上了文明的阶梯。     

作为反馈机制的真理概念--兼论戴维森的真理理论

戴维森的真理-意义理论基于对符合论与融贯论两种理论传统的内在缺陷的超越以及对奎因、塔斯基等人的技术手段的拓展.然而戴维森的理论内部存在技术上和哲学上两方面的问题.本文在继承和超越戴维森理论的基础上提出一种理解"真理概念"的视角,继承之处在于把真理概念放在交往、解释活动中,超越之处在于把真理概念作为交往、解释活动中的反馈中介.作为反馈机制的真理概念可以作为一种真理理论的起点.     

关于计算机操作系统的定义

首先探讨术语定义的基本要素,指出概念的定义必须足以判断某个事物属于或不属于该概念所指称的属类。然后针对“操作系统”这个计算机学科基本名词,详细分析了其概念内涵,指出了国内外常见教材中相关定义存在的问题,并提出了揭示概念本质特性的新定义。     

丹霞地貌概念释义

丹霞地貌的概念自创立之初至今,众说纷纭,莫衷一是,对其误解目前甚有扩大化的明显趋势。文章通过文献和野外调研,追溯了丹霞地貌的缘起,梳理了它的内涵,得出如下认识:(1)丹霞山地形,起初为描述红层即丹霞层(后称丹霞组)而总结出来的颜色+地形特征的地层单位野外识别标志,属地层学范畴;后因地貌奇观等观赏价值才转为地貌学研究的范畴;引起歧义的关键所在是修饰地貌的“丹霞”二字被误解为红色或红黄色的形象。它实为广东丹霞山一带山地的名称,即丹霞地貌是“丹霞山式地貌”的简称。(2)该地貌作为一种特殊的地貌类型,具顶平、身陡、麓缓的显著特征,其成因条件必然具有一定的特殊性:一是厚层的红色碎屑岩,且含有可溶钙质胶结物和砾石;二是岩层产状近水平,且发育两组高角度相交的近乎直立的构造节理;三是形成时代较新,仍处于发育的壮年期。(3)红黄色砂岩中的雕岩谷(如陕北延安雕岩谷和美国羚羊谷)以及褶皱倾斜互层岩石中的彩丘(如张掖彩丘和秘鲁彩虹山)的成因和形貌特征与丹霞地貌迥异,即使侵蚀继续进行,也不可能发育成丹霞地貌。因此,丹霞地貌的概念应回归到1983年《地质辞典》的定义,切不可继续张冠李戴,失去科学的严谨性与合理性。     

浅议计算机名词“文件”的定义

在“定义”的定义和“操作系统”的定义的基础上,针对“文件”这个计算机学科基本名词,详细分析了其概念内涵,指出了国内外常见教材和词典工具书中相关定义存在的问题,并给出了能揭示概念本质特性的新定义。