函数式程序設計語言的合成邏輯語义学

本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。     

函数/邏輯程序设计語言LM的应用——FFP系统支持的Δ-PROLOG

LM是一种对于FAIR-LILY语言作了一定扩展的函数/逻辑程序设计语言.本文旨在探讨LM语言的应用,表明该语言所具的函数与逻辑两种编程风格的协调、和谐及雅洁.文中用LM语言编写了Δ-PROLOG语言的解释程序,从而,Δ-PROLOG得以在FFP系统上实现.     

再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

量子逻辑:一种全新的逻辑构造

与经典逻辑相比,量子逻辑是一种全新的逻辑构造。其独特之处主要体现在:一是数学基础的新颖性。量子逻辑是一种新的、非布尔型的非经典逻辑,在语义和句法上由一种独特的代数结构确定,这种代数结构的重要特征是非分配性和不对易性。数学中新发展起来的格论直接推动了量子逻辑基本结构模型的建立。二是形式的多样性。作为言说量子世界的语言逻辑,量子逻辑的联结词、命题及其演算,最终都是基于量子实体和量子世界的经验内容之上的。其中一条重要特征是非决定性,非决定性和模糊性使得量子逻辑中包含有量子模糊逻辑。三是技术应用的广泛可能性。     

正式函数式程序设计语言的一种操作性语义模型

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。     

语言逻辑刍议

公元前三世纪,“逻辑之父”亚里土多德以其巨著《工具论》六篇,宣告了逻辑学科作为一门独立学科的诞生。亚氏以后,逻辑科学不断地发展、完善,至今已长成了一株枝茂叶盛的参天大树,在这颗大树的众多的分枝中,有一个历史不长,尚不为大多数人所熟悉的新兴分支,它就是语言逻辑。 1 语言逻辑是“自然语言逻辑”的简称,也称“自然逻辑”。从历史渊源看,它的历史可以上溯至古代:由于思维和语言在自然状况下的不可分割,人们从一开始就把逻辑研究与语言研究紧密地交织在一起,无论是古希腊的智者,还是中国古代的辩者,他们都兼长于逻辑与语言研究;我国历史上的第一部逻辑专著《墨经》,也既有逻辑思想亦有语言分析;亚里士多德的逻辑思想中也有大量的语言分析;中世     

纯逻辑的程序设计方法

文中对比了逻辑设计与程序设计,指出程序设计可作为某种广义的逻辑设计。拟定一种基于“?塑式”的谓词逻辑,提出一种新的有条理的面向正确性的程序设计方法。它将程序设计语言当作“硬件”,谓词逻辑语言则作为“软件”工具。程序设计工作中摆脱程序设计语言,而主要归结为“边验证边设计地进行的纯碎的逻辑推演”。只在最后,根据得到的?塑式和所使用的程序设计语言,才把该?塑式转换成所要的等效程序。文中举了例子来阐明。     

逻辑与语言二题驳议

一“应用思维形式表达思想”说质疑各种普通逻辑著作开宗明义必论普通逻辑的作用。“普通逻辑(形式逻辑)是表达思想的必要工具”,“掌握普通逻辑知识就能使我们善于应用恰当的思维形式表达思想”。在我所见到的二十七种普通逻辑著作中,有二十种以上提出了上述论点。毫无疑问,“表达作用”说是个颇为流行的见解。可是,依我之见,“表达作用”说与思维和语言关系的一般理论相悖,而这种理论正是“表达作用”说的主张者所接受的。同时,“表达作用”说的立论基础是混淆了的逻辑和语言的关系。     

概念与词语的对应关系新探

一、逻辑学研究不能回避的一个问题概念与词语的对应关系是形式逻辑、数理逻辑和语言逻辑都应该解决的一个根本性问题。传统逻辑既以自然语言符号关系为研究对象,又以自然语言为研究工具,当然应该解决概念与词语的关系这个问题。现代符号逻辑即数理逻辑虽然以自然语言的成体系的代号——人工语言作为直接研究对象和研究工具,但是所有人工语言产生的基础仍然是表达人类思维的自然语言。而且符号逻辑的演算过程和演算结果的解释,仍需要翻译还原为自然语言才能最终被人们理解和掌握。由此可见,自然语言的人工符号化,必然是以命题演算、谓词演算、集合演算为基本内容的数理逻辑应该解决好的前提性问题。在自然语言人工符号化的过程中,既有语句符号化的问题,也有语词符号化的问题,而且更多的是语词符号化的问题。例如主词、谓词、各类量词、各类模态算子、各类联结词的确立和定性,都要牵涉到语词与     

对现行传统逻辑读本中命题逻辑推理的几点剖析

在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的方法，不是判定推理式有效性的方法。所谓“反三段论”，只有当其中的基础命题为传统直言命题时才有效。数理逻辑演算技巧精确严密，但它是数学，与向人类提供从已知获取新知识的。具的逻辑科学殊异，不能用它来“改造”或“取代”传统形式逻辑。     

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

次协调逻辑——辩证逻辑形式化的阶梯

“次协调逻辑”(para-consistent logic)这个术语意味着,新逻辑的协调性次于经典逻辑,但又远高于完全不协调系统。换句话说,在新逻辑中当矛盾律的有效性减弱之后,仍能保持一种稍逊的协调性。次协调逻辑是近二、三十年来兴起于国际逻辑界的一种新思潮。它是作为一种颇带革命性的非经典逻辑而出现的,它允许“有意义的矛盾”进入形式演算系统,并否认矛盾律的普遍     

对C语言中“‖”和“＆＆”运算符的剖析

在软件开发中,C语言是程序设计语言中使用最广泛的一种语言,它提供了灵活、方便且功能强大的逻辑运算．通过汇编语言剖析C语言中“‖”和“＆＆”运算符的工作过程,目的在于加深对复杂逻辑运算表达式的理解．     

模糊修辞的原则和方法初探

语言,从抽象角度来看,它是一种符号系统。仅凭这一点,我们便不难看出模糊语言学和模糊数学的师承关系:模糊数学的建立从理论上为模糊语言学奠定了基础。模糊语言学正是运用了模糊数学理论中语言变量及其一致性函数理论对语言现象进行分析的。我们知道,人们日常生活中所运用的语言叫“自然语言”,其特点是带有模糊性。它是用字或词作为符号,并用它代表主客观世界的各种事物、观念、行为和情感,是社会成员交换信息的一种重要工具。如果使用计算机的话,则须编成刻板生硬的程序,用一系列符号去代表机器的动作和被处理元素的状态,这就是“形式语言”,其特点是精确性。     

递归函数中的 Cache

由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

科学语言的意义与科学合理性——卡尔纳普科学逻辑再评

卡尔纳普认为：科学语言的特征在于：它是能通过逻辑方法建立在观察基础上的；而观察基础是客观的、可形式化的。这一特征使科学与形而上学及艺术等区别开来。科学的合理性在于我们能够客观的，在确定的（形式的、不变的）意义上分析它的证实、证伪及确证度。但是，研究表明，科学语言的这种“客观意义”仅是一种虚构的幻想     

“本体论承诺”问题的内涵与意义——谈蒯因的《论何物存在》

蒯因在当代形而上学的复兴事业中扮演了举足轻重的角色,他采取从语义逻辑与整体论的角度来考察本体论问题的策略,从而使存在论问题从事实走向承诺,从经验证实走向语言使用。这种影响是巨大而深远的,它不仅体现在“促使他提出了整体主义知识观,并促使逻辑实证主义转变为逻辑实用主义”,更重要的是体现为对整个经验论基础的根本性摧毁。     

应从语言和言语来研究语言逻辑

思维和语言的内在联系成了许多哲学家,逻辑学家和语言学家共同关注的问题,自然语言已经不仅是逻辑研究的手段,同时也是逻辑科学研究的对象。语言逻辑就是要探讨思维和语言的内在联系。目前对语言逻辑的研究还没有形成一个公认的体系,研究什么一直众说纷纭。我们认为:研究语言逻辑应从语言和言语两方面来研究,从“语言”来研究,就是要研究思维的工具——语言所表达的逻辑问题,它是一种静态研究;从