期刊文献+
共找到116篇文章
< 1 2 6 >
每页显示 20 50 100
Why Belief Statements Are Not Truth-Functional
1
作者 Keith Burgess-Jackson 《Journal of Philosophy Study》 2020年第11期683-688,共6页
Truth-functionality is the most important concept in propositional logic.Some compound propositions are truth-functional and some are not.In this essay,I explain the difference between truth-functional compound propos... Truth-functionality is the most important concept in propositional logic.Some compound propositions are truth-functional and some are not.In this essay,I explain the difference between truth-functional compound propositions and non-truth-functional compound propositions,using what I call“belief statements”as an example of the latter.My explanation of why belief statements are not truth-functional is both more thorough and(I submit)more illuminating than the explanations provided by the leading logic textbooks.The authors of these textbooks may wish to incorporate some of my suggestions into future editions.Alternatively,they may direct their students to this essay for edification. 展开更多
关键词 logic propositional logic truth-functionality truth-functions belief belief statements
在线阅读 下载PDF
基于函数依赖自动识别的真值发现算法
2
作者 高东钧 张志勇 靳正芬 《计算机工程与设计》 北大核心 2025年第8期2141-2148,共8页
为解决真值发现方法通过人为分析实体属性间的依赖关系效率较低、使用平均值进行可靠度初始化导致结果准确率较低的问题,提出了一种多源同构数据真值发现算法。识别实体属性间的函数依赖关系;利用识别出的函数依赖计算数据源的初始可靠... 为解决真值发现方法通过人为分析实体属性间的依赖关系效率较低、使用平均值进行可靠度初始化导致结果准确率较低的问题,提出了一种多源同构数据真值发现算法。识别实体属性间的函数依赖关系;利用识别出的函数依赖计算数据源的初始可靠度;将函数依赖对应的否定约束转换为算术约束,通过最小化目标函数计算数据源的可靠度并生成真值表。实验结果表明,该算法相较于现有方法获得了更高的准确率。 展开更多
关键词 真值发现 多源同构数据 实体关系 函数依赖 数据源可靠度 数据集成 数据质量
在线阅读 下载PDF
现实主义与伦理
3
作者 王紫薇 王守仁 《广东外语外贸大学学报》 CSSCI 2024年第5期24-39,共16页
认识他者并与之建立和谐伦理关系是人类自古以来的真切愿望。本文通过分析亚里士多德与努斯鲍姆对道德与伦理间联系的不同认识指出知觉是辨析二者内在关系的关键,强调对他者的真实知觉是展开正确道德实践,恢复道德与伦理辩证共生关系的... 认识他者并与之建立和谐伦理关系是人类自古以来的真切愿望。本文通过分析亚里士多德与努斯鲍姆对道德与伦理间联系的不同认识指出知觉是辨析二者内在关系的关键,强调对他者的真实知觉是展开正确道德实践,恢复道德与伦理辩证共生关系的根本,并在梅洛-庞蒂对知觉作为先验性存在的论述以及威廉斯对文学创造性实践本质的认知指导下从知觉维度揭示现实主体间性的伦理本质,探寻文学教诲功能的具体内涵。结合对现实主义文学真实书写特征的分析,本文指出现实主义文学能客观反映现实关系变化,展现被遮蔽的真实他者,具有其他文学形式不可比拟的积极教诲价值,其中战后现实主义文学基于对现实建构本质的认识,追求真实的同时,运用有限并不断变化的文本形式强调他者他异性,揭示现实蕴含的丰富伦理潜能。凭借“思真即辨善”的伦理书写原则,现实主义文学对人们把捉现实关系变化、探寻正义与善的可能具有指导意义。 展开更多
关键词 知觉 伦理 道德 教诲功能 现实主义文学 真实
在线阅读 下载PDF
论现代西方“真”理论的塔斯基转向
4
作者 韦雷雷 孙萌萌 《自然辩证法通讯》 CSSCI 北大核心 2024年第6期39-46,共8页
“真”是西方哲学中一个十分重要的概念,真理论是西方哲学的重大研究课题。20世纪30年代以来,真理论逐渐发生了所谓的“塔斯基转向”:在研究的视角上,发生了从本质到功能的转向;在研究的目标上,发生了从揭示本质到防止悖论的转向;在研... “真”是西方哲学中一个十分重要的概念,真理论是西方哲学的重大研究课题。20世纪30年代以来,真理论逐渐发生了所谓的“塔斯基转向”:在研究的视角上,发生了从本质到功能的转向;在研究的目标上,发生了从揭示本质到防止悖论的转向;在研究的基础上,发生了从认识论到语言学的转向;在研究的进路上,发生了从下定义到公理化的转向。理解塔斯基转向对于理解现代西方真理论的本质特征具有重要意义。 展开更多
关键词 真理论 塔斯基转向 本质 功能
原文传递
二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵
5
作者 杨小庆 王学平 《模糊系统与数学》 北大核心 2024年第1期26-35,共10页
本文首先给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的定义,讨论重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的封闭性,然后分别讨论它们与并∪,交∩,扩展并及扩展交的分配律,最后给出二型模糊集真值代数上重叠... 本文首先给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的定义,讨论重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的封闭性,然后分别讨论它们与并∪,交∩,扩展并及扩展交的分配律,最后给出二型模糊集真值代数上重叠函数的扩展余蕴涵和分组函数的扩展蕴涵的一些表示。 展开更多
关键词 模糊真值 重叠函数 分组函数 余蕴涵 蕴涵 分配律
原文传递
话语标记“实话说”的语义特征、语用功能及演变
6
作者 陈柳蓓 《世界华文教学》 2024年第1期285-300,共16页
在现代汉语中,“实话说”属于示诚类话语标记。“实话说”具有叙实传信的语义特征。“实话说”在句中主要起人际互动和建构语篇的语用功能。“实话说”的形成经历了从实义短语到虚义短语再到话语标记的过程,主观化和交互主观化及类比化... 在现代汉语中,“实话说”属于示诚类话语标记。“实话说”具有叙实传信的语义特征。“实话说”在句中主要起人际互动和建构语篇的语用功能。“实话说”的形成经历了从实义短语到虚义短语再到话语标记的过程,主观化和交互主观化及类比化是其标记化的动因。 展开更多
关键词 实话说 话语标记 语义特征 语用功能 演变
在线阅读 下载PDF
基于Vague集的多目标模糊决策方法 被引量:67
7
作者 李凡 卢安 蔡立晶 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第7期1-3,共3页
指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结... 指出了采用Vague集进行多目标模糊决策的现有计分函数的不足 ;根据Vague集的性质提出了一种新的计分函数 ;该计分函数和Vague集所具有的“投票模型”属性是完全一致的 ,并将其扩展到加权的形式 ,从而使该方法具有更好的通用性 ,所得结果也更符合人的直觉 . 展开更多
关键词 模糊决策 VAGUE集 FUZZY集 真隶属函数 假隶属函数 计分函数 多目标决策
在线阅读 下载PDF
Gdel系统中由一个或两个原子生成的公式的真值函数的特征 被引量:5
8
作者 张安英 张兴芳 高芹 《模糊系统与数学》 CSCD 北大核心 2007年第3期54-59,共6页
在Gdel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。
关键词 Goedel系统 逻辑公式 真值函数
在线阅读 下载PDF
命题逻辑推理的代数化证明 被引量:7
9
作者 王礼萍 张树功 《计算机工程与科学》 CSCD 2008年第10期78-81,84,共5页
本文尝试利用纯代数的方式,通过解多项式方程组对命题逻辑进行演算、推理。
关键词 真值函数 赋值 多项式 命题公式
在线阅读 下载PDF
命题逻辑中的程度化方法 被引量:67
10
作者 王国俊 宋建社 《电子学报》 EI CAS CSCD 北大核心 2006年第2期252-257,共6页
在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最... 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论. 展开更多
关键词 命题逻辑 诱导函数 真度 近似推理 相容度
在线阅读 下载PDF
多值逻辑中的命题相关性与逻辑运算研究 被引量:5
11
作者 刘宏岚 高庆狮 杨炳儒 《北京科技大学学报》 EI CAS CSCD 北大核心 2007年第S2期172-177,共6页
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命... 命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数. 展开更多
关键词 多值逻辑 逻辑运算 命题公式 真值函数
在线阅读 下载PDF
L*逻辑系统中的函数决定公式问题 被引量:3
12
作者 李成允 张兴芳 《山东大学学报(理学版)》 CAS CSCD 北大核心 2009年第12期91-96,共6页
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。
关键词 L*逻辑系统 真值函数 真度
原文传递
L^*系统中由单个原子生成的公式的真值函数的特征 被引量:12
13
作者 任芳 《工程数学学报》 CSCD 北大核心 2005年第3期563-566,共4页
本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的... 本文以L系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类。 展开更多
关键词 L^*系统 逻辑公式 真值函数
在线阅读 下载PDF
命题逻辑系统L~*的有效集 被引量:2
14
作者 任芳 王国俊 《模糊系统与数学》 CSCD 北大核心 2006年第2期13-17,共5页
针对命题逻辑系统L*,以及增加一元联结词△后的系统L*△,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即可将L*与L*△中的公式集F(S)分别分为16和20个等价类;最后给出了L*中对M P规则封闭的有效集的特征。
关键词 L^*系统 真值函数 有效集 MP规则
在线阅读 下载PDF
一种非真值函数性模糊逻辑 被引量:2
15
作者 吕建平 赵树芗 《微电子学与计算机》 CSCD 北大核心 2004年第10期90-92,共3页
Zadeh模糊逻辑因其不满足互补律(即排中律与矛盾律)而不是一个布尔代数。本文介绍了一种非真值函数性模糊逻辑,它遵守布尔代数的互补律,并且由于引用了条件隶属度,使其具有广泛的适应性。同时还证明了Zadeh模糊逻辑是它的一个特例。
关键词 模糊逻辑 布尔代数 非真值函数性
在线阅读 下载PDF
关于条件句的蕴涵理论 被引量:6
16
作者 霍书全 《安徽大学学报(哲学社会科学版)》 CSSCI 北大核心 2011年第3期37-43,共7页
为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出... 为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。 展开更多
关键词 条件句 蕴涵 真值函项 可能世界 条件概率 信念修正
在线阅读 下载PDF
论整体——整体是部分的非线性函数还是非函数? 被引量:3
17
作者 万小龙 周红艳 邓静荷 《自然辩证法研究》 CSSCI 北大核心 2017年第7期118-122,共5页
狭义函数相对论STRF认为:整体(holistic whole)属于全体(whole),全体仅由部分和关系组成,整体是其部分的非函数而不是非线性的函数。哲学逻辑角度,最简单的整体仅有两个要素:一个变元和一个非真值函数算符。它可被确定还原为非整体性的... 狭义函数相对论STRF认为:整体(holistic whole)属于全体(whole),全体仅由部分和关系组成,整体是其部分的非函数而不是非线性的函数。哲学逻辑角度,最简单的整体仅有两个要素:一个变元和一个非真值函数算符。它可被确定还原为非整体性的全体(non-holistic whole),它是由包含其他变元和一个真值函数联结词组成的真值函数。 展开更多
关键词 STRF 整体 部分 非真值函数
原文传递
Vague集的三维表示及相似度量 被引量:3
18
作者 蔡立晶 吕泽华 李凡 《计算机科学》 CSCD 北大核心 2003年第5期76-77,共2页
A new expression of vague sets is given. Based on the reference [3,4],we discuss the definition of intersec-tion and union and some properties of vague set again ,then similarity measure and examples are presented.
关键词 VAGUE集 三维表示 相似度量 模糊理论 模糊数学 隶属度
在线阅读 下载PDF
一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑 被引量:4
19
作者 万小龙 《华中科技大学学报(社会科学版)》 CSSCI 北大核心 2012年第3期33-39,共7页
狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有1... 狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 展开更多
关键词 狭义一元算符 经典二元真值函数 K-1 K-2
在线阅读 下载PDF
真值函数与非真值函数的等值变换——一元算符逻辑理论五探 被引量:1
20
作者 万小龙 陈明益 冉奎 《山东科技大学学报(社会科学版)》 2012年第6期1-10,20,共11页
一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非... 一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非真值函数与真值函数的等值变换"原理的发现与严密的经典定义。它不断借用了量子力学中对"不确定"的确定性的认识,所揭示的非真值函数在句法与语义上的两大特征分别有助于模态逻辑中的等值代换难题、多值逻辑中的非二值性难题等哲学逻辑与逻辑哲学中的非经典性问题回归其经典本性。 展开更多
关键词 二真值 非真值函数 一元算符 狭义函数相对论(STRF)
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部