逻辑现代化:今天的理解与实践——王宪钧先生诞辰100周年纪念大会逻辑现代化专题研讨侧记

王宪钧先生毕生致力于提高中国的逻辑教学与研究的水平,三十余年前率先提出＂逻辑课程现代化＂的口号,对当时的逻辑界有振聋发聩之功。此后＂逻辑现代化＂成为我国逻辑学发展的主旋律。时至今日,三十年的＂逻辑现代化＂实现或完成了什么,在新的形势下,＂逻辑现代化＂有什么新的内涵或重点,或简言之,我们今后该如何发展？这些问题需要逻辑界的总结与共识。

垃圾填埋场构造对渗滤液成分的影响研究

通过对厌氧和半好氧填埋的渗滤液成分的分析 ,发现半好氧填埋的渗滤液中有机物浓度降低最快 ,尤其是氨氮含量大大低于厌氧填埋。因此 ,半好氧填埋有利于渗滤液的处理。

我国填埋场改造及发展方向的探讨

对我国部分生活垃圾填埋场和室内填埋设施的填埋气组分进行了现场测试和分析 ,结果表明 ,厌氧填埋场的CH4 含量高 ,半好氧填埋场CH4 含量很低。并针对我国填埋场的现状提出了如果打算利用填埋气进行发电 ,填埋构造可以作成厌氧填埋 ,否则 ,填埋场应以安全性为主 ,应建造成半好氧结构。

中国工业固体废物的现状和对策探讨

从固体废物的产生、分布、利用与处置、排放、污染以及危险废物等方面分析了我国工业固体废物的现状，得出了相应结论，即工业固体废物产生量增长势头得到了一定控制，与地区和行业有很大关系，其组成相对稳定，以及危险废物状况令人担忧等，最后提出了“九五”期间解决工业固体废物问题的具体对策。

中国垃圾填埋场的问题与改善方法

全面地调查了中国的内陆城市北京（平地填埋）和西安（山沟填埋）及沿海城市上海（海面填埋）和广州（山沟填埋）的生活垃圾填埋场的情况，总结出了这些城市目前的生活垃圾填埋场存在的问题。在对填埋场渗滤液水质分析的基础上，讨论了各地填埋场的特点，提出了引进“半好氧填埋方式”、缩小填埋场作业面和扩大渗滤液收集管管径等向卫生填埋的改善方法。

水源水中2-MIB降解菌的筛选

针对特定水处理工艺,研究了投加2-MIB前后水中微生物种群的变化,建立了筛选分离2-MIB降解菌的方法.以生物膜生长成熟的活性炭连续处理含有较高浓度2-MIB水样,然后从活性炭表面取样,用2-MIB为惟一碳源的无机盐培养基筛选和驯养,最后进行划线分离,成功得到2-MIB降解菌种.通过16SrRNA分析,该菌株属于假单胞菌属(Pseudomonas spp.).

纤维球——砂滤料直接过滤的研究

介绍一种新开发的滤料,纤维球——砂双层滤料的试验概况。阐述不同的进水水质、滤料级配及滤速对直接过滤的影响。

环境规划与管理实务课程教学研究

针对环境规划与环境管理课程的特点,利用多媒体和网络平台实现了交流-互动-共建-共享的教学模式;基于"以科研促教学"的研究生教学理念,通过基础理论讲授、案例分析和讨论、创新过程演示以及信息技术的具体应用介绍,加深研究生对科研创新过程的体会,提高实践观念和创新精神,收到了较好的教学效果。

砂滤床直接过滤机理的研究

以含有高岭土人工配制水的混凝和直接过滤实验研究为基础，探讨了砂直接过滤去除水中悬浮微粒的机理以及烧杯混凝实验最佳投药量与直接过滤最佳投药量的关系。

样本发散型含糊类的形式刻画

含糊类是基于样本和相似性得到的类。通过样本和与样本的相似性处理含糊对象是人们在面对含糊性时常用的方法。含糊类有样本收敛和样本发散两大类型,后者应该更为普遍。样本收敛的含糊类也是有核含糊类,可以通过核来处理边界情况。但是因为样本发散含糊类同时也是无核含糊类,所以这个方法不适用于样本发散含糊类。从人们对于含糊对象的实际处理看,除了用正面的样本外,还会用到反面的样本。将这个过程加以抽象,本文引入了负样本以及提出了由正样本和负样本共同处理边界情况的方案。在形式刻画方面,主要是在一阶语言的基础上通过增加正样本谓词、负样本谓词和论题词给出了语言L*及其语义。在L*中可以进一步定义正谓词、负谓词以及中间谓词,通过这些表达式可以对于含糊对象及其性质给出相应的刻画。

相干逻辑关系语义的推理解释

关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R+为例,证明出推理语义是与关系语义等价的语义。从推理语义与关系语义的这个等价关系上看,推理语义完全可以作为对于关系语义直观解释的一个中间环节。由此不仅使得关系语义有了推理结构的解释,同时说明了相干逻辑是一种关于推理的逻辑。这与相干逻辑产生的历史也完全吻合。

常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性。Γ-典范模型方法是有穷方法。如果Γ有穷,得到的典范模型有穷。这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的。

模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。

涵义语义与关于概称句推理的词项逻辑

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用λ-表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。

概念语义与弗雷格迷题消解

弗雷格因同一替换律讨论而提出了涵义与指称的理论,这个理论后来引出了弗雷格迷题。弗雷格迷题的形成有多方原因,直接指称论对弗雷格理论批评是主要原因之一,以至于可以说,这是产生于直接指称论哲学立场的迷题。尽管如此,弗雷格理论确有不足。最重要的是,弗雷格理论只有关于涵义与指称的理论,即只有语言层面的理论,而缺少认知层面的理论。这个不足使得在弗雷格理论基础上解决同一替换律问题难有令人满意的结果,让"迷题"多添了几分"迷"的色彩。这里将给出一个新的方案:在弗雷格理论的基础上,增加有关概念的理论,以概念和内涵、涵义等这些概念的形式刻画为中心,建立可以消解弗雷格迷题的形式语义学,即概念语义。通过概念语义可以在不同层次上对弗雷格迷题的消解给出统一回答。

一个关于专名指称存在预设的形式刻画

目前关于预设的真值语义学研究主要是各种三值语义。这看起来有自然的一面,但其实有一个严重的误区,将"无定义"也看成一个与预设原句真值处于同一层面的真值,混淆了对象语言与元语言的区分。预设句与原句是不同层次的句子。本文试以专名指称存在预设为例,通过部分模型以及在此之上的同底扩张模型方法构造了复合模型,给出了一个既保证不同语言层次的区分又可以跨层次统一谈论原句和预设句关系的形式语义。通过这个语义,揭示了预设句与原句的2//[2]+[0]式的真值结构,使得通常情况下关于预设的默认得到形式上的刻画和呈现。

概称句词项逻辑的树图判定算法

概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。

亚里士多德划分格与亚里士多德逻辑

亚里士多德逻辑究竟是什么逻辑,这个问题实际上并没有真正解决。目前的几种主要看法都是基于数理逻辑的理论得到的,虽然略有不同,但都认为亚里士多德逻辑是一阶逻辑的子逻辑。从技术的观点看,这个结论没有错,但是亚里士多德逻辑有自己的思想基础,不能简单地从数理逻辑的视角来看。我们的观点是,亚里士多德逻辑是一种什么逻辑,应该回到亚里士多德的概念理论来考察。亚里士多德概念理论中作为其逻辑基础的是划分理论。亚里士多德划分理论在两个方面对柏拉图二分法加以改造:根据生物学分类得到亚里士多德分类树;改造柏拉图正反二分法提出了正负二分法。分类树和正负二分形成了亚里士多德划分格。按今天的理论看,亚里士多德划分格就是集合代数上的有补分配格。亚里士多德逻辑实际上是亚里士多德划分格上的逻辑。

砂,纤维球,纤维球-砂过滤效果的比较

通过过滤实验从过滤周期、水头损失及比沉积量三个方面对砂、纤维球和纤维球-砂滤床的过滤效果进行了比较.实验结果证实了纤维球-砂滤料的优越性。

氯离子对填埋场浸出液水质测定的影响

近年来,在日本随着焚烧残渣填埋逐渐增加,填埋场浸出液中无机盐类物质的浓度变得愈来愈高。该文主要研究了这些无机盐类离子中氯、铁离子对BOD和COD测定的影响,以及探讨比较合理的测定方法。