对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同。蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容。如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

殊型句与真值承担者

"真"是逻辑学和语言哲学的重要范畴.对于什么是合适的真值承担者,学界主要有两种观点:一种认为句子本身具有真假;另一种则认为句子并无真假可言,而语句的内容即"命题"或"思想"是真值承担者.如果把句子区分为类型句和殊型句,那么句子殊型才是真正的真值承担者,而命题或思想只能是派生意义上的真值承担者.     

英语动词化的认知理据及语用功能

动词化是有效表达思想的语言方式。从认知理据的角度看,英语动词化的广泛运用体现了人们认知和语言上的经济原则,反映了人类的认知行为具有一定的"省力倾向"。同时,英语动词化的出现和使用符合人们认知上的关联原则,是人们为表达思想而作出的某种关联性的语言选择。从语用功能的角度看,英语动词化在语篇中具有动态顺应性并能够更生动地表达意义。     

文化语境对动词化意义理解的作用

文化语境作为一种间接影响语义的非语言因素影响范围非常大,对语言意义的理解具有十分重要的作用。本文具体分析了历史传统、社会事件、民族文化心理、文学典故和历史人物、自然生活环境等文化语境因素对动词化意义理解的作用,旨在探讨文化语境与动词化意义理解之间的关系,以期对英语中动词化现象的研究作一些补充。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

关于命题的若干问题

本文针对某些高等学校数学系使用的教材、参考书、以及数学教育界流传的关于命题的一些问题,提出一些看法:(1)“命题”概念要明确。(2)“命题”的真值要以事物本身可确定真假而定,不应要求立刻就定或大家有一致意见才定。(3)命题的结构是:主词、宾词、系词(有时还加上量词)。而不应一概说成“若 A 则 B”。(4)命题“若 A 则 B ”的否定命题不是“若 A 则”而是“若 A 且”。(5)逆命题制造方法有两个,都是正确的。     

命题演算范式定理的布尔证明

命题演算构成了数理逻轷的最初且不可少的基本部分,在逻辑学中常常要考虑命题的“真”和“假”特别在逻辑学中一个首要任务是:找出那些永远是真的命题,这一问题的解决就涉及到命题的等值,真值函数的完全性和范式,本文的目的是对此给出数学描述,从而也就容易给出任何一个命题的普遍有效性的判定问题。     

命题真假的一种计算方法和应用

本文给出一种计算命题(也称命题函数或真值函数)“真、假”值的方法,应用它可以为一类逻辑方程(组)提供新的解法。 为了行文的方便,我们记命题的全体为L。 定义1 泛函φ:L→{1,0},P∈L,φ(P)p,P为真命题时,p=1;P为假命题时,p=0。     

英语名动转化的语义特征及其修辞特点

名词动词化现象在英语中越来越普遍，其对汉语的影响也日益显现。名动转化既能体现“语言经济原则”，又能提高表达效果，从而达到生动、形象、言筒意赅的修辞目的。名动转化能产生生动修辞效果的关键在于其语义增值杌理。     

感官评价过程中语言值的转化

在感官评价过程中，因为每个评价者对于一个因素，都有自己的评价术语集，不利于信息聚合的过程．提出标准语言值组的概念，建立了一个统一的标准．探讨了感观评价过程中语言值转化的3种方法．     

Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic

In this paper,we construct a six-element intuitionistic linguistic truth-valued fuzzy propositional logic (6LTV-IP) based on the framework of linguistic truth-valued propositional logic,which can express both the comparable and incomparable truth values. Truth degree and falsity degree of intuitionistic fuzzy proposition are two truth values with linguistic hedge. With the concrete logic operation of 6LTV-IP,some special properties are obtained. Then based on (α,β)-complementary literals and (α,β)-similar literals,we propose a soft-resolution method of 6LTV-IP.     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

Linguistic Truth Values Lattice Implication Algebras

In order to study uncertainty reasoning and automatic reasoning with linguistic terms, in this paper, the set of basic linguistic truth values and the set of modifiers are defined, according to common sense; partially orderings are defined on them. Based on it, a lattice implication algebra model L18 of linguistic terms is built; furthermore, its some basic properties are discussed.     

对西语哲真理观之符合论与融贯论的比较研究

西方哲学关于真理的主要理论历史最悠久的莫过于符合论与融贯论。现代西方哲学的"语言转向"开始从语言分析的角度探讨"真理"以及何谓"成真"的标准。以经验论为基础的符合论考察命题是否与客观实在相符,而融贯论则强调命题之间的相互推演。本文试图梳理这两大真理观的本体论基础以及它们在发展过程中所面临的困境,并考察现代社会对这两种真理观的延伸与运用,揭示其现实性与实践意义。     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

绝对真理是个理想概念——关于真理的逻辑思考

真理的绝对性是指事物的客观规律是能够被认识的。真理是绝对性和相对性的统一:相对性是绝对的,绝对性是相对的。“绝对真理”是为反对“相对主义”,“相对真理”是为反对“绝对主义”而提出的。“真理”是实概念,“绝对真理”如“纯金”、“理想气体”是理想概念。并对马文提出了商榷。     

科技英语文体特征之实例分析

作为一种独立的文体形式,科技英语用于表述客观真理、具体事实、一般规律和科学设想,具有自己相应的文体特征。通过对科技英语实例的分析,从词汇、语法、语篇、语气及文体几个方面透视科技英语的文体特征。     

名词动化的特殊类型

根据名词动化后与宾语所构成的各种不同的语法关系 ,分析其各自的表义特点 ,概括出 12种特殊动化类型 ,并提出不同的理解和对译公式 ,以期将名词动化研究引向深入。