真值函数

作品数：50被引量：63H指数：5
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：张兴芳李成允万小龙任芳刘宏岚更多>>
相关机构：聊城大学华中科技大学陕西师范大学北京科技大学更多>>
相关期刊：《烟台大学学报（自然科学与工程版）》《绍兴文理学院学报》《贵阳学院学报（社会科学版）》《湖州师范学院学报》更多>>
相关基金：国家自然科学基金国家社会科学基金教育部科学技术研究重点项目国家留学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
充分条件关系与真值函数、因果性相关问题探析
《贵州工程应用技术学院学报》2022年第6期76-81,共6页甘季灵 
“如果,那么”作为充分条件关系的联结词,能够按照事物情况之间的条件和结果关系来刻画自然语言,由此构成的充分条件假言命题与实质蕴涵的真值情况不同,因而具体化的充分条件关系与形式化的真值函数关系也无法等同;客观的充分条件关系...
关键词：充分条件关系 实质蕴涵 真值函数 因果特性 
论整体——整体是部分的非线性函数还是非函数?被引量：3
《自然辩证法研究》2017年第7期118-122,共5页万小龙 周红艳 邓静荷 
国家社会科学基金项目:量子概率的哲学问题研究(16BZX022);教育部社会科学基金项目:量子逻辑的哲学问题研究(15YJA720006);华中科技大学文科创新项目"函数相对论视野下的量子逻辑及相关基础问题研究"
狭义函数相对论STRF认为:整体(holistic whole)属于全体(whole),全体仅由部分和关系组成,整体是其部分的非函数而不是非线性的函数。哲学逻辑角度,最简单的整体仅有两个要素:一个变元和一个非真值函数算符。它可被确定还原为非整体性的...
关键词：STRF 整体 部分 非真值函数 
小议逻辑语义学中真值函数的合取与析取
《读天下》2016年第22期190-190,共1页赵佳琦 
本论文着力于分析逻辑语义学中的基本概念,尤其是命题逻辑以及真值函数中的合取和析取,并对其逻辑意义,举例进行分析。
关键词：真是函数 合取 析取 
蕴涵层级论：“实质蕴涵怪论”迷雾之廓清被引量：5
《学术月刊》2016年第12期31-44,51,共15页张建军 
国家社科基金重点项目“现代逻辑与分析的马克思主义思潮研究”(12AZX009)资助
解决"实质蕴涵怪论"问题,须首先在逻辑语义学视域之中厘清蕴涵关系的层级,进而再从语用学上考察各类条件句"是否"或"如何"表达不同层面的蕴涵关系。运用集合论工具可以说明,逻辑蕴涵、严格蕴涵、直觉主义蕴涵、相干蕴涵等各种蕴涵关系,...
关键词：实质蕴涵怪论 真值函数 蕴涵关系 蕴涵层级论 
塔尔斯基论题
《中国哲学年鉴》2014年第1期368-369,共2页刘新文 
古典命题逻辑的函数完备性定理是说，每一个真值函数都可以用古典命题逻辑中标准的逻辑常项来定义。由此，我们可以说古典命题逻辑就是真值函数的逻辑。但是，对于作为现代逻辑的主要研究对象的一阶逻辑，我们却没有类似的结果。塔尔斯...
关键词：塔尔斯基 论题 命题逻辑 真值函数 一阶逻辑 逻辑常项 现代逻辑 逻辑概念 
指示条件句的真值条件、相信条件与接受条件被引量：2
《世界哲学》2014年第2期146-158,161,共13页苏庆辉 
"山东大学自主创新基金"(人文社科青年团队项目:意图与行动的哲学研究)资助
针对涉及指示条件句的语言现象,许多学者认为真值函数语意论无法提供一个让人满意的解释,故转而求助于斯托内克的语意论或概率语意论。在许多文章里,埃金顿批评了对条件句采取真值条件式的语意论(包含真值函数语意论与斯托内克的语意论)...
关键词：指示条件句 斯托内克的语意论 真值函数语意论 埃金顿 布洛克 
真值函数与非真值函数的等值变换——一元算符逻辑理论五探
《山东科技大学学报（社会科学版）》2012年第6期1-10,20,共11页万小龙 陈明益 冉奎 
国家社会科学基金项目"量子信息的哲学问题研究"(2007zxc33);华中科技大学基金项目"一元算符理论研究"(RWZD1213)
一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非真值函...
关键词：二真值 非真值函数 一元算符 狭义函数相对论(STRF) 
2012年《山东科技大学学报(社会科学版)》总目录
《山东科技大学学报（社会科学版）》2012年第6期97-100,共4页
关键词：山东科技大学 路径探析 思想政治教育 资助制度 政治体制改革 政策倾向 蓝色经济 社会主义荣辱观 真值函数 道德形而上学 
Gdel逻辑系统中一类模糊逻辑方程解的性质
《烟台大学学报（自然科学与工程版）》2012年第3期166-169,231,共5页杨洁 
国家自然科学基金资助项目(60875034)
以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如...
关键词：Gdel逻辑系统 真值函数 真度 模糊逻辑方程 
Gdel逻辑系统中模糊逻辑方程τ(X→p)=α的解的性质
《模糊系统与数学》2012年第4期25-30,共6页杨洁 
国家自然科学基金资助项目(60875034)
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在Go¨del逻辑系统中就形如τ(X→p)=α的模糊逻辑方程展开了讨论。我们得到了如下结论:模糊逻辑方程τ(X→p)=α有m-同型解当且仅当α∈{i/(m+2)!+1/...
关键词：Gdel逻辑系统 真值函数 真度 模糊逻辑方程 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部