重言式

作品数：180被引量：439H指数：12
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：陈图云吴洪博王国俊李顺琴于鸿丽更多>>
相关机构：陕西师范大学辽宁师范大学延安大学西安文理学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
经典逻辑中的模糊命题(Ⅰ)
《辽宁师范大学学报（自然科学版）》2024年第2期145-150,共6页袁学海 
国家自然科学基金资助项目(12071056)。
经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指...
关键词：命题 模糊命题 真值指派 重言式 模糊逻辑 
数学与思维(续2)
《数学教学》2023年第4期1-4,共4页周青 
5推理格式有了这些准备之后,我们就可以研究推理了.除了重言式,即逻辑真理之外,所有的推理都需要一些前提.也就是说,我们要假定某个集合F={P_(1),…,P_(n)}中的命题都是成立的.在此基础上,我们要论证某个结论Q也是正确的.
关键词：重言式 逻辑真理 推理 数学与思维 集合 
一个真值函项偶然逻辑的希尔伯特演算系统
《逻辑学研究》2021年第3期24-36,共13页梁飞 田中旭 杨新宇 
supported by “The National Social Science Fund of China”(grant number 20&ZD046);“The Fundamental Research Funds of Shandong University”(11090079614065);“Young Scholars Program of Shandong University”(11090089964225)
如果一个命题在经典命题逻辑中既不是一个重言式也不是一个矛盾式,则称它是真值函项偶然的。真值函项偶然逻辑即是为了刻画所有真值函项偶然的命题。本文将给出一个关于真值函项偶然逻辑的可靠且完全的希尔伯特演算。在此演算中,通过演...
关键词：真值函项 希尔伯特 重言式 演算 逻辑 偶然 命题 
对相对主义的反思:从重要的重言式到诱人的矛盾式
《哲学分析》2019年第3期115-130,199,共17页苏珊·哈克 徐召清(译) 彭译莹(译) 
国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”(项目编号:17ZDA024);国家留学基金委公派访问学者项目(项目编号:201806245025)资助
苏珊·哈克提供了一个分析相对主义的统一框架,将蒯因的本体论相对性等诸多论题都纳入相对主义的范围内来讨论。她区分了浅层相对主义和深层相对主义,前者是指讨论的主题会随着不同的因素而变化,后者是指只有相对于某些因素,这些主题才...
关键词：浅层相对主义 深层相对主义 认知相对主义 概念相对主义 坦陈实在论 
“离散数学”命题逻辑的教与学研究被引量：1
《无线互联科技》2019年第8期151-152,共2页王国卿 
高校“离散数学”命题逻辑与高中数学衔接,是高中数学的延续与深化。针对命题逻辑总体知识结构以及内容细节中的几个关键难点,文章分别从教师和学生的视角出发,详细讲解了如何讲授及理解这些问题的方法。
关键词：命逻辑 逻辑联结词 主范式 重言式 
数理逻辑论证形式有效性算法
《理论数学》2019年第3期276-281,共6页刘巧云 
青海民族大学探究课程项目,项目编号:2018-TJKC-01。
本文讨论了数理逻辑中论证形式有效性的四种判断方法并给出了一种判断有效性的计算机算法。
关键词：论证形式有效性 真值表 重言式 推理规则 
前期维特根斯坦的逻辑哲学及其影响
《学术界》2019年第2期68-74,235,236,共9页李国山 朱文瑞 
教育部规划基金项目"维特根斯坦语言哲学研究与文献翻译"(15YJA720002)的阶段性成果
维特根斯坦在其前期著作《逻辑哲学论》中阐述了他的逻辑哲学,其核心思想为:逻辑命题是重言式。这种逻辑哲学以其新颖和简洁受到了广泛关注,并产生了巨大影响。维特根斯坦本人在其后期哲学研究中,很快意识到了前期逻辑哲学存在的问题并...
关键词：逻辑哲学 重言式 分析性 约定论 
单称词项替换推论·重言式·主词(语)——主语性质问题思考(之二)被引量：1
《外语学刊》2016年第4期29-34,共6页刘利民 
本文引介R.布兰顿的单称词项替换推论理论,以此考察日常语言重言式句对单称词项双向对称替换分析构成的问题,认为重言式句中系词后的单称词项事实上是"缩略的语用谓词"。由此,本文引申讨论二目谓词句中单称词项的句法角色,认为动词前单...
关键词：单称词项 替换推论 主语-谓语 语用分析 
修正的RDP系统中的一种升级算法及其性质
《云南师范大学学报（自然科学版）》2015年第6期34-38,共5页李顺琴 
陕西省自然科学基金资助项目(2014JM2-1003);陕西省科技计划资助项目(2014ks15-03-07);延安市科技计划资助项目(2013ks-03);延安大学自然科学专项基金资助项目(YDQ2014-45)
通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.
关键词：修正的RDP逻辑系统 广义重言式 分划 升级算法 
Gainse-Rescher系统基于子代数的广义重言式
《计算机工程与应用》2015年第19期53-55,113,共4页李顺琴 惠小静 
国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安大学自然科学专项基金(No.YDQ2014-45)
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。
关键词：Gainse-Rescher逻辑系统 广义重言式 子代数 分划 
全选清除导出
共19页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部