贝瑞斯·高特的艺术集束论与析取式艺术定义取向

在分析哲学中,用集束的方式理解概念源自希拉里·普特南,但贝瑞斯·高特的艺术集束论的理论基础是维特根斯坦和塞尔的专名理论。高特认为,用集束的方式可以界定但不能定义“艺术”。他主张,不存在某种可以把某物确定为艺术作品的普遍性质,存在的只是一组具有局部性、情境性但足以构成充分条件的性质。高特从直觉的充足性、规范的充足性、启发的有用性三个方面为其理论做了辩护,而他遇到的问题主要有两个:一是集束论为何不能是一种定义类型;二是更一般的非难,即无论是否属于定义,集束论都包含着析取式艺术定义取向对“艺术”概念分裂或杂糅本质的信奉,这也是集束论的争论焦点。

一个非形式的归纳支持句法系统——与刘壮虎先生商榷

本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了J.Cohen归纳支持理论的基本概念和相关变量方法,在此基础上指出J.Cohen的归纳支持句法同样是不完备、不恰当的。再次,本文吸取Cohen理论中的合理部分——相关变量方法,纠正了J.Cohen对上述句法中有关原理的证明错误,提出和证明了六条新的原理,构造了归纳支持句法非形式系统,克服了Cohen理论的困难,为解决上述问题提供了可行的方案。最后,本文指出;对归纳支持的逻辑结构的研究有可能导致全新的逻辑系统。

命题逻辑中推理理论的数字形式

本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示 ,在一定程度上简化了自然推理系统 P.

基于Vague集的加权模糊运算

分析了Vague集的性质 ,定义了Vague集上的加权析取式和加权合取式 .讨论了Vague集上的加权析取式和加权合取式的模糊运算及性质 ,这些运算及性质可以很好地用“投票模型”

“最大—最小”加权模糊逻辑

针对“最大—平均”加权模糊逻辑模型存在的不足,提出了“最大—最小”加权模糊逻辑模型。

模糊逻辑运算中的若干问题

结合工程实践之需要,提出了模糊逻辑合取式和析取式真值求解的“一票否决”与模糊综合评判中的“综合性”问题,并首次建立了相应的算法模型。

模糊逻辑函数的几何建模与图象运算

本文是将逻辑空间图象理论发展至模糊逻辑的一次新的探讨。模糊逻辑中现有代数的及卡诺图一类的方法,在实际应用中比二值逻辑遇到更为严重的困难。因此,建立模糊逻辑函数的几何模型及图象计算,将几何与代数,形象思维与抽象思维相结合,系统地提出模糊逻辑的几何理论与图象算法,得到了一类模糊逻辑空间及其模糊点集图。

基于正相关信息的Fuzzy推理规则自生成研究及应用

为了在先验经验少、结构复杂的控制系统中，充分利用有效的统计样本信息来生成Fuzzy控制规则，克服统计正相关信息控制规则自生成技术，在大样本情况下得到模糊特异析取标准式有过多最小项的问题，利用模糊模式识别的方法，对Fuzzy推理规则自生成方法进行了改进研究，并通过试验仿真证明了该方法的可行性和有效性．

客观世界的纯真值联结关系

纯真值联结关系是一种客观存在的关系。本文重点讨论客观存在的纯真值联结关系对真值函数关系的完全性问题。真值即真假值,在我们这里就是指事件的有、无。有和无分别是存在和不存在的简称。事件是客观的,事件的有、无也是客观的。

命题逻辑中真值树的使用方法及其作用

自从美国逻辑学家皮尔士(Charles Sanders Peirce.1839—1914)创立了真值表(truth—table)以后,它已成为研究命题逻辑的必不可少的工具。但如果命题变项太多,真值表使用起来就十分麻烦。于是人们寻求了一些简化真值表的方法,其中主要有归谬赋值法和真值树(truth—tree)方法。归谬赋值法在国内已有不少逻辑教材介绍,人们较为熟悉。这种方法虽然较为简便,但它只能实施于蕴涵式。

论证

为了帮助读者加强基础知识的学习和提高,加强数学的逻辑性和严密性的训练,进一步提高教学质量,我们特约中国数学会科普委员会委员、杭州大学数学系张明樑付教授为本刊作《论证》基础知识讲座,于1982年第1期起连续刊出。欢迎读者就文章的深浅程度及具体要求提出建议,以便使《论证》的内容更切合读者的实际。

否定词与“或(者)”共现的语义解读

本文首先从北京大学汉语语言学研究中心现代汉语语料库搜索了否定词与"或(者)"同现的其中100条例句,再按照其所表达的是a.p∨q,或者b.(p∨q)p∧q,或者是两者兼可进行归类,继而从中找出规律。结果发现表达合取式((p∨q))意义有四种规律:一是出现有标记的副词如并、一律、都等;二是"或(者)"的前后成分是同一类属性的名词;三是"或(者)"前后的成分属于对立或者不同现的谓词;四是整个事实都确定是否定的时候。而表达析取式(p∨q)的规律可以是出现"可能"、"可以"的标记形式;谓词是可以同时发生;以及当事实是有选择性的时候。当然也有两种形式都可以的情况,如"或(者)"的前后情况都可以独立存在,并且不会相互冲突。