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

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

否定之否定规律研究近况

近年来哲学界对否定之否定规律的研究讨论比较活跃,现将讨论的主要情况概述如下.一、否定范畴1.关于否定的形式 通常认为否定分两种:一是辩证的否定即自我否定,一种是形而上学的否定即外力作用的否定.现在有人提出,辩证否定并不等于自我否定,它是自我否定和非我否定的有机统一;主观否定是一种主观随意的否定,它等同于形而上学的否定;至于外来力量对事物的否定即非我否定应得到肯定.在谈到非我否定和主观否定的关系时,论者指出,尽管它们有某些方面的相同之处,但不可混用,理由是:非我否定是一种客观存在,而     

否定之否定规律研究概述

我国学术界对否定之否定规律的讨论,始于一九五六年。当时,由苏联哲学家讨论阿历山大罗夫主编的《辩证唯物主义》一书引起的关于辩证法基本规律的研究,特别是关于否定之否定规律的研究,引起了我国学术界的兴趣。庞朴在《哲学研究》一九五六年第三期上发表《否定之否定是辩证法的一个规律》一文,于是讨论便由此展开。当时讨论的主要问题是:一、辩证法和辩证方法是否是两个东西?二、“辩证方法的四个特征是否是“辩证法”     

苏联文献中对否定之否定概念的研究

哲学理论也如同物质过程一样有它的历史。苏维埃时期否定之否定规律的历史,就是确定它作为辩证法理论规律的历史,研究它的内容、揭示它的方法论作用的历史。虽说否定之否定规律有它自身的遭遇,但是无论如何也不能把它排除在哲学发展的整个列宁阶段的范围之外。苏维埃时期最先研究辩证法理论的是列宁。列宁的《论战斗唯物主义的意义》成了决定辩证法的发展和拟定研究它的各种问题的基本方针的纲领。广泛开展研究唯物辩证法运动的成果之一是,     

社会主义时期的否定之否定问题

否定的否定规律是从自然界、人类社会和思维的运动发展中概括出来,成为唯物辩证法的一个重要规律。到了社会主义时期,这个规律仍然普遍发生作用,但有它的新情况和新特点,这是必须充分注意、认真研究的。本文拟就社会主义时期的否定的否定问题,提出一些初步的看法,以便共同探讨,共同解决。 一、社会主义社会的否定是自己创造条件否定自己     

甘岑的自然演绎演算

迄今为止,我们所主要讨论的逻辑演算,即用公理方法处理的狭谓词演算,标志着把数学方法运用于逻辑获得了显著的成功。这种演算的形式上的简易是令人称道的,从纯粹数学的观点看,它可以同公理化的射影几何及抽象群论这一类数学观念的完满体现的学科相媲美。此外,作为应用于研究演绎系     

略论社会主义否定之否定的方法论功能

社会主少有机体是按规律发展的。社会主义事业是人民群众创造的。人民群众越是自觉地认识和利用社会发展规律,按规律办事,就愈能取得社会主义事业的成功。在社会主义社会发展规律系统中,社会主义否定之否定规律是其中一个基本规律。主体自觉     

论否定之否定规律的基本内容

一否定之否定规律是辩证法的三个基本规律之一否定之否定规律是辩证法的三个基本规律之一,是唯物主义辩证法不可缺少的组成部分之一,今天,否认这一点的人,已经很少了。但是,作为辩证法三个基本规律之一的“否定之否定”规律的确切的特定的基本内容,还存在着一些不同的理解,为了试图在这一方面作一些探讨,首先说明一下辩证法各个基本规律之间的关系。     

否定的精神

匆匆忙忙过了三伏,热也热了,却未曾写得一字。想起陶渊明诗句:“心远地自偏”以及时下俗语:“心静自然凉”,不觉汗颜,足见心不远心不静。不过,身居都市为俗人,油盐柴米酱醋茶,又哪一件不让人操心烦心?汗颜只是惭愧,惭愧却更是汗颜,汗下如注,汗流满面,更觉天热了几分,正当此时,志远兄电话来催稿,又添“无米下锅”之烦恼,不由想起一则笑话:妻见夫皱眉挠头作文章,便道:“敢情写文章比生孩子还难。”夫叹道:“你们生孩子肚里有货,而我写文章肚里没货,所以更难。”电话铃如催魂铃,肚里没货时急煞人,天又热了几分。好在这里有了救兵,此期“禅话百家”收得数稿,禾戈先生《春来草自青》,讲一则公案中的诗意与玄机,良文先生将茶与禅的好处衍为一赋,而另一位老干部则提出与张中行老先生商榷一下。草草阅了一过。倒让我松下一口气擦了一把汗。心定神静之后,抬头一看月历,不觉秋之将至。     

关于否定之否定规律的几个问题

否定之否定规律是唯物辩证法的一个重要规律,近年来我国哲学界对这个问题又进行了讨论。在最近一个时期内,本刊编辑部收到了不少与此有关的稿件,限于篇幅,我们不能全部发表,这里仅就一些来稿中的分歧意     

辩证法的核心是对立的统一还是否定的否定

肖焜焘同志的长篇论文《关于辩证法科学形态的探索》(见《中国社会科学》1980年第2期),内容广泛,有不少有见解的思想,读后深受启发。但是其中有一些理论观点,是值得商榷的。比如:文章说马克思、恩格斯、列宁都认为否定问题是深入了解辩证法的关键;否定是发展的源泉;把辩证法三大规律联成一体的是否定的否定等等。意思是说,唯物辩证法的核心就是否定的否定。对此,我有些不同的理解。下面就来谈谈我对这个问题的认识。     

关于“否定之否定”規律的討論

本刊本年第三期發表的庞朴同志所写的“否定的否定是辯証法的一个規律”一文(以下簡称“庞文”),引起了許多同志的討論兴趣,紛紛向本刊寄来了文稿和信件,对这个問題提出了一些不同的意見。在这些来稿和来信中比較集中地討論了“辯証法”与“辯証方法”是否有区别的問題,也就是恩格斯著作中所指出的辯証法三大規律与斯大林著作中所表述的辯証方法四个特征是否有所区别以及它們相互间的关系問题;同时,对有关“否定之否定”这个規律的各項問題也有所討論。現在讓我們把各位同志所提出的意見加以归納分作下面的几个問題报导出来,以供大家討論和研究这个問題的参考。     

关于对立统一学说与否定之否定学说的分化

近年来,在关于辩证法的讨论中,许多争论都涉及对立统一规律和否定之否定规律的关系问题。在黑格尔那里,辩证法的核心是什么?是对立面的统一还是否定之否定?马克思主义关于辩证法的核心的观点,同黑格尔的观点是否一致?对立统一規律是辩证法的核心这     

否定之否定规律的客观普遍性和方法论意义

否定之否定究竟是不是自然、社会和人类思维发展的普遍规律?它有没有不可取代的客观的固有内容和特征?肯定这一规律在理论上和实践上有何重要意义?等等,是当前哲学界对这一规律展开讨论中发生争议的问题。本文试就这些问题提出一些粗浅的看法。     

否定的否定是辯証法的一个規律

由苏联哲学家們討論阿歷山大罗夫同志主編的“辯証唯物主义”一书所引起的关于辩法基本規律的研究,特別是关于否定的否定規律的研究,引起了我國哲学界人士們的極大兴趣。本文試图簡要地探索一下否定的否定規律的內容及其在辯証法中的地位;同时,为了说明这个問題,也談一下什么是辯証法的三个基本規律和辩证方法的四个基本特征,以及它們之間的关系,請大家批評和討論。     

“两次否定三个阶段”不是关于否定之否定过程的正确表述

“两次否定三个阶段”不是关于否定之否定过程的正确表述黄宗理我国许多马克思主义哲学原理教科书,在谈到否定之否定过程时,常用“两次否定三个阶段”来加以概括。这种概括是不正确的。事物的否定之否定过程表现为三个阶段,但在三个阶段的序列发展中,辩证的否定并非仅...     

弱逻辑F的矢列演算

本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。     

基于英文法律语言的Lambek演算

本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先,分析并总结英文法律语言主要的句法特征,由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时,证明了本文所关注的类型逻辑是可判定的且其对应的范畴语法是上下文无关的。本文研究结果为英文法律语言自动处理提供了理论基础。     

贝克·雷米疗法对心理问题的咨询报告

汪某,女,52岁,小学文化,因涉嫌故意杀人被安顺市公安机关关押于安顺市第二看守所,三个月前得知三位儿女均表示要与其脱离母子关系而产生焦虑、烦躁、悔恨、情绪低落、失眠、无法参加生产、学习和平时常常发呆、头昏头疼乃至于昏倒的情况、与同监室人员关系紧张,影响到其参与正常司法诉讼及改造。通过诊断,是一例典型的严重心理问题。本案,心理咨询师针对汪某的具体情况,经过分析原因在于求助者存在错误观念和主观推断、选择性夸大和过度概括的自动思维,咨询师采用认知疗法,通过七次咨询,达到了咨询目标,建立了新的认知模式和行为模式,让其逐步拥有了积极改造争取减刑,早日重返社会的信心。     

儒学内部的自我否定

马克思说：“任何真正的哲学都是自己时代精神的精华。”（《马克思恩格斯全集》，第1卷，第121页）在中国长达25个世纪之久的封建社会中，由孔子奠定其基础的儒家哲学，是中国封建社会时代精神的精华。古老的中华民族，在政治、思想、风俗、心理乃至社会生活的各个方面，无不留下了儒家思想传统的深深烙印。儒家哲学为何会产生如此大的力量，适应了封建社会内部一次又一次的朝代更替和历史变迁而历久不衰？或者说，儒家哲学是如何经受着历史的检验，而不断地进行自我调节，不断地充实和改变自己的内容和形态的？这是一个值得认真研究的重要…