检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

系统RDP中的广义重言式理论

模糊系统与数学 2010年第4期24卷 6-11页

作者：黄阿敏裴道武浙江理工大学理学院浙江杭州310018 杭州聋人学校浙江杭州310018

研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法... 详细信息

研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可达0-重言式和可达(1/2)-重言式分别提升为可达(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式。这表明对非重言式有限次利用升级算法未必能得到重言式。

关键词：参数RDP系统广义重言式重言式升级算法

在线全文

学校读者我要写书评

暂无评论

思维四律不能表述为重言式

哲学动态 1993年第5期 22-25页

作者：陈波中国人民大学哲学系

思维四律不能表述为重言式陈波近年来，有一种见解在我国逻辑学界十分流行：传统逻辑的四条思维基本规律即同一律、矛盾律、排中律、充足理由律只不过是现代逻辑演算系统中的重言式或普遍有效式（简称永真式）并不具有特殊的地位。但在... 详细信息

思维四律不能表述为重言式陈波近年来，有一种见解在我国逻辑学界十分流行：传统逻辑的四条思维基本规律即同一律、矛盾律、排中律、充足理由律只不过是现代逻辑演算系统中的重言式或普遍有效式（简称永真式）并不具有特殊的地位。但在实际处理时，很多逻辑教材又在此种观点和传统观点之间折衷：一方面承认思维四律是逻辑演算的重言式，另一方面又仍然给予它们以基本规律的特殊地位。我认为，上述见解和处理并不正确，其中隐藏着一个根本性的理论错误。对于元逻辑来说，在构造和研究逻辑演算系统时，作出下述区分是至关重要的：对象语言和元语言，内定理和元定理，以及内定理和元规则等。这里，对象语言是被刻画和被研究的逻辑演算系统内所使用的语言，内定理是用对象语言表述的该系统所肯定和接受的命题；而元语言则是用以刻画和研究对象语言的语言，它本身可区分为语形语言和语义语言，例如，“肯定”、“否定”、“可证”、“定理”“证明”等是典型的语形概念．而“真”、“假”、“重言式”、“普遍有效”等是典型的语义概念。元定理是用元语言表述的关于该演算系统的定理，它们刻画着该系统的某种性质或特征。元规则也是用元语言表述的，它指导着人们如何在该系统中从公理推演出定理。

关键词：充足理由律矛盾律重言式同一律逻辑演算语形排中律元规则语义表分离规

金岳霖“穷尽可能”的“必然”观——与维特根斯坦“重言式”的比较

在线全文

学校读者我要写书评

暂无评论

哲学动态 2012年第2期 84-88页

作者：朱晓佳清华大学哲学系北京100084

《论道》是金岳霖的主要著作之一，集中体现了西方现代逻辑与中国哲学相结合这一特点。很多人觉得《论道》不容易读懂，原因在于里面包含很多逻辑的背景知识。在《论道》一书的“序”中，金岳霖这样写道：“近来经奥人维特根斯坦与英人... 详细信息

《论道》是金岳霖的主要著作之一，集中体现了西方现代逻辑与中国哲学相结合这一特点。很多人觉得《论道》不容易读懂，原因在于里面包含很多逻辑的背景知识。在《论道》一书的“序”中，金岳霖这样写道：“近来经奥人维特根斯坦与英人袁梦西分析才知道逻辑命题都是穷尽可能的必然命题。”r10这里表达了两层意思：一是如何理解“逻辑命题都是穷尽可能的必然命题”这一观点，本文试图说明金岳霖文章里是怎样谈“必然”的，“必然”在他的“式一道一能”的思想体系中居何地位；二是金岳霖对“必然性”的解释只提到了西方两位哲学家，其中重要的一位就是维特根斯坦，所以本文也试图说明金岳霖的“穷尽可能的必然”和维特根斯坦“必然”的关系，以更好地理解和把握这位逻辑大师的思想。

关键词：维特根斯坦 “必然” 金岳霖重言式逻辑命题《论道》现代逻辑中国哲学

在线全文

学校读者我要写书评

暂无评论

逻辑系统中重言式及广义重言式的关系

纺织高校基础科学学报 2001年第1期14卷 37-40页

作者：李骏韦奉岐马盈仓甘肃工业大学基础科学系甘肃兰州730050 西北纺织工学院数理系陕西西安710048

研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系 .指出了多值逻辑系统中判断公式不是重言式的充分条件 ,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法 .

关键词：重言式广义重言式多值逻辑系统参数 Kleene系统子代数

在线全文

学校读者我要写书评

暂无评论

从语用修辞角度解读重言式

外语教学 2000年第4期21卷 39-43页

作者：马静西北工业大学大学英语教研室陕西西安710072

重言式在会话中非常普遍而且具有鲜明的特色和交际价值。作者从报刊、电视、歌曲、谚语中及日常语言中收集了大量重言式的应用实例 ,通过对交际者在语言交际中使用重言式的交际意向进行分析 ,归纳出重言式的五种语用修辞特点。本文结论 ... 详细信息

重言式在会话中非常普遍而且具有鲜明的特色和交际价值。作者从报刊、电视、歌曲、谚语中及日常语言中收集了大量重言式的应用实例 ,通过对交际者在语言交际中使用重言式的交际意向进行分析 ,归纳出重言式的五种语用修辞特点。本文结论 :重言式具有复杂细腻的语用含义和丰富多彩的修辞效果 ;正确解读重言式。

关键词：重言式语用含义修辞效果

在线全文

学校读者我要写书评

暂无评论

亚模糊命题与重言式

南昌大学学报（理科版） 2006年第1期30卷 14-16页

作者：杨晓斌马新生上海财经大学应用数学系上海200433 南昌大学数学系江西南昌330047

引入了亚模糊命题的概念。在Gaines-Rescher的蕴涵算子下,证明了简单亚析取式A是重言式的必要条件为A包含环公式为其子公式。

关键词： Gaines-Rescher的蕴涵算子亚模糊命题重言式

乘积逻辑及其与分量系统的重言式关系和语义解释

在线全文

学校读者我要写书评

暂无评论

吉林大学社会科学学报 1990年第1期30卷 87-90页

作者：纪善韬

乘积逻辑是多值逻辑的拓广,是由多值逻辑与多值逻辑的乘积(卡氏积)而形成的新的多值系统。多值逻辑的开拓是从本世纪20年代开始的,由于它反映了更为复杂的现实关系,从而在数学基础、量子力学的不确定性理论。

关键词：多值逻辑乘积语义解释重言式多值系统量子力学不确定性理论卡氏积现实关系数学基础

在线全文

学校读者我要写书评

暂无评论

MV代数的子代数及相关重言式之间的关系

计算机工程与应用 2013年第9期49卷 45-49页

作者：周建仁吴洪博陕西师范大学数学与信息科学学院西安710062

对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[... 详细信息

对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[0,1]的子代数,那么或M为有限MV代数Ln,或M为区间[0,1]上包含{0,1}的稠密集;若正整数n-1可分解为(m1-1)(m2-1)…(mt-1),其中m1-1,m2-1,…,mt-1是两两互素的正整数,则Ln是Lm1,Lm2,…,Lmt生成的MV代数;T([0,1])=∞∩n=2T(Ln),其中T(M)表示MV代数M上全体重言式之集合。

关键词：模糊逻辑 Lucasiewicz逻辑系统多值逻辑代数(MV) 子代数重言式

修正的Kleene系统中的Σ-(α-重言式)理论

在线全文

学校读者我要写书评

暂无评论

中国科学（E辑） 1998年第2期28卷 146-152页

作者：王国俊陕西师范大学数学研究所西安710062

证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .

关键词： Kleene系统模型推理类类互异定理重言式