逻辑方法转换的必然性述评

纵观古今,西方逻辑的发展,呈现出内容的多变性、视角的多向性、形式的多样性,从而导致方法的多元化。从古希腊逻辑直面生活世界的有效论证方法,到近代以后清晰表达思想的系统符号化方法,再到当今处理日常推理的可交往方法,表现出形式化与非形式化的转换与融合,这是逻辑学自身发展的内在需要,也是相关边缘学科发展的必然要求。     

再谈辩证逻辑

苏联逻辑学界曾认为“形式逻辑辩证化”是错误的,这个说法不能成立。辩证逻辑原是范畴体系,否认辩证逻辑是哲学,辩证逻辑就将失去最后的立足点。“马克思主义的科学逻辑学”这种说法慎提为要。类的包含于关系的传递性是思维形式barbara的抽象内容。辩证逻辑要真正成为逻辑,必须形式化,而形式化必须遵守形式化的“游戏规则”。     

语言逻辑与形式化

语言逻辑是一门新兴的学科,是现代逻辑与现代语言学发展结合的产物。语言逻辑有狭义与广义之分,对于它的研究对象,学术界尚无定论。是否采用形式化方法,这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。应当坚持用辩证的观点看待该论争:一方面应该承认形式化方法在语言逻辑领域具有重要的意义,另一方面也要看到形式化方法在语言逻辑领域具有相当的缺陷。     

观念本体论的方法——对《有限意识批判》的元哲学阐释

观念有效性的判据是反思意识所操持的存在概念 ,而这个存在概念只能来源于意识本身的存在形式。因此 ,对意识存在普遍形式的分析正是寻求使一个观念有效的普遍条件的道路。就普遍形式是意识经验的逻辑前提而言 ,这条道路是一种先验思考。而前提批判的彻底性要求 ,逻辑地规定它应当具有无前提性的怀疑论起点 ,并且 ,由揭示存在形式这一任务所决定 ,必须由之开始进行内在构成分析 ,从发掘一种意识存在形式的零散构成要素到综合而确认关于这种意识存在形式的概念。     

人际交往中的名与实 --论"面子工夫"中的断裂

在中国人的日常人际交往中 ,“给面子”已经是普通人习惯了的用语与行为。但“给面子”可能是给予实质性的帮助 ,也可能仅仅是表面上的维护 ,从而导致人际交往过程中出现了名与实的分离 ,“面子”也就从性质上断裂为“形式化面子”与“实质性面子”。实质性面子的大小、正负取决于实质性关系的好坏程度 ,决定了彼此互助互惠或是竞争程度的大小 ,并可能具有一定的隐蔽性 ;而形式化面子具有泛化的特征 ,并不取决于关系的实际情况 ,而是一种依礼行事的结果     

多元化的辩证逻辑形式化研究

本文对 2 0世纪 80年代以来中国学者在辩证逻辑形式化方面的研究 ,作了简要述评 ,涉及到多种形式化的思路和成果。在此基础上 ,笔者提出坚持多元化的研究方向和借鉴其他非经典逻辑有用成果的主张 ,以促进 2 1世纪辩证逻辑的形式化研究     

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.     

预设理论的形式化研究

文章探讨了学者们普遍关注的与预设相关的问题,并重点讨论了盖士达的潜预设理论,即潜预设理论的形式化定义及系统定义,从形式化角度重新审视预设理论的发展.最后本文指出了该理论的优势与不足,希冀引起人们对该理论更深层次的思考,为预设理论的深入研究提供了建设性思路.     

论“中华民族共同体”的结构属性与建设逻辑

从结构属性出发寻找“中华民族共同体”的建设路径是新的视角。“中华民族共同体”具有鲜明的结构属性，由此决定了“中华民族共同体”的建设逻辑。“中华民族共同体”可以解析为三重关系：第一重关系是中华各民族之间的横向关系，第二重关系是“中华民族”与各民族之间的纵向关系，第三重关系是上述两重关系所形成的嵌套关系。对一、二重关系来讲，它们各自推动建设的愿景逻辑、使命逻辑和实践逻辑有着较大的差异；而对第三重关系来讲，价值伦理决定着中华民族共同体内部的共同性和共生性形成，这继而又决定了第一、二重关系的逻辑起点和终点，由此进一步形成中华民族三重嵌套关系。而作为人口占多数的汉族及其文化在塑造这三重嵌套关系中起着独特作用。     

语用逻辑研究的新进展--蔡曙山的语用逻辑形式化研究述评

20世纪80年代以后,中国语用学与语用逻辑的研究开始起步.虽然起步较晚,但以蔡曙山教授为代表的一批学者,却能够站在当代西方语言哲学,特别是言语行为理论和语用学研究的基础上开展研究工作,在受到当代语言哲学大师塞尔高度赞誉的<言语行为和语用逻辑>一书中,蔡曙山构造了命题语用逻辑、量化语用逻辑以及模态语用逻辑的自然推理系统与形式公理推理系统及其各自的语义模型,探讨并证明了元逻辑问题.蔡曙山在这一领域的研究成果,拓展了语言逻辑研究的空间,促进了语用逻辑的形式化研究,从而为进一步推进计算机与人工智能逻辑、认知科学的研究,提供了完备的、精密的研究工具.这项研究成果标志着中国语用逻辑的形式化研究达到西方现代语用逻辑研究的相同水准,同时也发扬与光大了中国古老的语用学与语用逻辑的思想传统.     

普遍联系不等同于矛盾

从本质上讲,唯物辩证法是关于普遍联系的科学,它的核心是矛盾学说,因此,普遍联系和矛盾的关系如何,理当成为辩证法研究中首先必须解决的问题。不明确普遍联系和矛盾范畴的性质及其内涵的规定,“联系”与辩证法中所有其他范畴的关系就无法得到合理的说明,建立科学的唯物辩证法的逻辑结构体系也就无从谈起。 关于普遍联系与矛盾的相互关系问题,长时间沿用着一种说法;联系就是矛盾,事物之间的种种联系,是事物之间的矛盾关系,一事物内部诸要素的联系,则是它内部的矛盾关系。     

当代元伦理学中的亚里士多德主义──简析黑尔对“道德语言”的建构

本文分析了当代元伦理学的代表人物黑尔在《道德语言》中对道德论证体系的建构。正如黑尔本人所认可的那样,由黑尔开创的伦理学方法是现代逻辑语言方法和亚里士多德伦理学传统的重新结合。本文第一部分展示了当代元伦理学发展的背景,并梳理了亚里士多德伦理学的主要看法。第二部分由三个小节组成,分别涉及黑尔的形式化道德论证体系的三个主要方面。第一节主要阐述黑尔对规定语言的分析;第二节分析黑尔对价值语词特别是“善”(好)的理解,以及他根据言语行为理论对“自然主义”的拒斥;第三节讨论黑尔如何在规定语言和实践三段论的基础上解释道德原则的生成。我们的分析将表明,由于黑尔采用了方法论的普遍主义而放弃了认识论的普遍主义,在《道德语言》中发展出来的形式化体系不能避免道德相对主义的困难。而这正是黑尔在其后的工作中着重加以弥补的。     

浅谈现代逻辑的社会功能

现代逻辑以其形式抽象、体系严密、应用广泛和结论精确的特性在促进现代科学技术发展和推动人类文明进步过程中发挥了重要作用，公理化、形式化的思维方法对提高现代人的综合素质提供了必要条件。如何进一步提高现代逻辑在高等教育中的地位，强调现代逻辑在素质教育中的作用，是高等教育面临的重要问题。本文就现代逻辑的社会功能略作探讨，以引起人们对现代逻辑教学与研究的关注和思考。     

论思想的数学化和形式化

思想是理性的事业。理性的现代命运与其自身所具有的“计算”性质密切相关。从学理上说 ,理性的数学化倾向导致了理性的形式化 ,数学在其学科领域内的成功给理性涵义的转化提供了历史性机遇和规范性动力。但由此而来却产生了很多问题 ,如超验依据的丧失、无思状态的产生以及非理性的张狂等等。理性有着远比形式化和数学化更为丰富的内容     

马克思主义的时尚化与马克思主义的危机

当社会经济发展到一定水平时,当符号得到解放时,时尚就开始出现。时尚表现为形式的死亡和形式的复活。当马克思主义从最初的压迫和控制中解放出来的时候,当马克思主义在苏联和中国等国家得到大规模发展的时候,马克思主义也面临着时尚化的风险。这时马克思主义的解放和建设功能弱化,形式化的问题凸显。当马克思主义形式化的时候,它成为一种形式化的"外衣",而缺乏实质性的功能。马克思主义的指导地位在形式化的繁荣背后面临着被掏空和动摇的危险,这是需要我们警惕的。     

现代西方科学哲学理性的嬗变

现代西方科学哲学理性经历了从逻辑理性到历史理性的嬗变。逻辑理性把科学看作是由某种普遍的规范性方法论原则所决定的东西,并以牺牲科学的历史性为代价,用逻辑分析的方式去追问科学命题的意义。历史理性以“历史”的方式去再现科学的动态的现实发展过程,但历史理性具有强烈的相对主义倾向。历史的逻辑理性则将二者统一起来,在历史的发展中寻找逻辑的确定性和规范性。     

形式化治理:村级组织性质的再认识

税费取消后,村级组织逐渐从原来的半正式或非正式的治理方式向以干部管理科层化、村务管理文牍化、村庄治理行政化为主要特征的形式化治理方式转型。形式化的治理是后税费时代村级组织经济基础的转变、治理内容的转换以及乡村两级治权的弱化所共同形塑的。这种治理方式使得基层组织既没有实现规则之治,又失去了原本简约治理的内涵,造成干群关系疏远、基层组织权威下降、农村的矛盾纠纷无法解决和农民上访增加,同时还造成了村庄内生资源和国家输入资源的极大浪费。在乡村社会与国家对接的这一灰色地带中,半正式治理仍然是一个合理且有效的选择。     

英汉语言形式化差异与翻译隐化处理

语言形式化是指某一语言表现某种意义所依靠的各种方式,包括音调、语序、屈折变化及功能词等的丰富程度,以及该语言对这些形式手段的依赖程度.由于英汉两种语言对这些形式手段的依赖程度不同,在英汉翻译转换中,常常表现出美语作为形式化程度较高的语言在汉语译语文本中的隐化现象,需要译者根据具体情况对译文做适当的隐化处理,忠实传达原作的意思.     

黄庭坚诗歌形式观的再探讨——兼论形式化乐论对其诗学思想的影响

作为江西诗派的中坚,黄庭坚在宋代文学史上占据着承前启后的重要地位。以贬谪黔南为界,黄庭坚诗歌形式观由重视文学之"格律"变为遵奉音乐之"律吕",而其诗美理想亦相应的由"奇崛"之美突进为"老朴"之美。鉴于宋代尚未断绝的音乐文学传统,使得音乐与文学的关系仍十分密切,从音乐以及乐论的整体技术化、形式化的角度去探究黄庭坚形式观的演变及其美学意蕴,对于理解宋代美学、文学思想的变迁具有重大意义。     

弗雷格的实质蕴涵思想与现代逻辑的选择

弗雷格提出实质蕴涵思想的最初依据实际上也是蕴涵命题前后件之间的相关性,他所引以为据的"如果太阳现在已经升起,那么天空乌云密布"并不是毫无条件联系的假言命题,他是由这种相关性经过抽象论证而过渡到了实质蕴涵的,但他的论证并不是逻辑有效的.弗雷格的思想对现代逻辑以至于现代哲学的影响是巨大的.罗素把实质蕴涵的思想明确地贯穿于他的逻辑体系并且还提出了一个关于实质蕴涵的形式化定义,由此,实质蕴涵的意义完全成了一种人为的规定,它不仅不能正确处理自然语言中的假言命题,而且也不能正确处理自然语言中的假言推理.判断一个条件句的真值最主要还是要看该条件句的前件和后件之间有没有条件和结果的关联.判定条件语句真假的复杂性要求判定者必须具备超出形式逻辑范围的知识.