严格蕴涵

作品数:18被引量:20H指数:3
导出分析报告
相关领域:哲学宗教更多>>
相关作者:杨福荣陈波何朝安柯华庆李金厚更多>>
相关机构:贵州大学北京大学华南师范大学中国人民大学更多>>
相关期刊:《华南师范大学学报(社会科学版)》《自然辩证法研究》《中国社会科学》《法制与社会(旬刊)》更多>>
相关基金:国家社会科学基金教育部人文社会科学研究基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
弱逻辑F的矢列演算
《逻辑学研究》2021年第1期28-48,共21页陈钰 
国家社科基金重大项目(17ZDA026)。
本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。
关键词:严格蕴涵逻辑 亚直觉主义逻辑 切割消去定理 
语义反实在论与弗雷格—吉奇难题被引量:3
《自然辩证法研究》2021年第1期3-8,共6页何朝安 
国家社科基金重大项目“实用主义研究”(14ZDB022)。
语义反实在论主张,有些断定性命题并非对特定事态的描述,因而无真假可言。作为语义反实在论的一个典型版本,表达主义面临著名的弗雷格—吉奇难题。化解此难题的关键在于:对推理有效性的说明必须满足真值要求或内容要求。然而,以吉巴德...
关键词:表达主义 弗雷格—吉奇难题 推理 严格蕴涵 
反事实条件句辨析
《语文学刊(基础教育版)》2014年第9期1-2,10,共3页王小溪 
本文阐述了反事实条件句和实质蕴涵、严格蕴涵的区别,着重归纳了汉语反事实条件句的时态和意义特征,认为汉语无论过去、现在、将来都可以使用反事实条件句,但在不同时态中的意义有所不同。
关键词:反事实条件句 实质蕴涵 严格蕴涵 时态 主观化 
蕴涵理论与一致性原则
《法制与社会(旬刊)》2011年第4期295-295,共1页喻杨 
蕴涵与一致性原则是逻辑系统不可或缺的,蕴涵是逻辑系统的表述方式,而一致性是逻辑系统成立的基本条件,蕴涵与一致性存在密切联系。无论是罗素实质蕴涵,还是刘易斯的严格蕴涵,都出现了相类似的"蕴涵悖论",其原因是违反语言常识的直观、...
关键词:蕴涵悖论 严格蕴涵 一致性 
蕴涵理论与一致性原则
《华南师范大学学报(社会科学版)》2010年第6期94-98,共5页杨福荣 周祯祥 
教育部人文社会科学研究一般基金项目"模态逻辑和美国实用主义哲学研究"(08JA720010)
蕴涵与一致性原则是逻辑系统不可或缺的,蕴涵是逻辑系统的表述方式,而一致性是逻辑系统成立的基本条件,蕴涵与一致性存在密切联系。无论是罗素实质蕴涵,还是刘易斯的严格蕴涵,都出现了相类似的"蕴涵悖论",其原因是违反语言常识的直观、...
关键词:蕴涵悖论 严格蕴涵 一致性 
分辨充分条件假言命题
《重庆理工大学学报(社会科学)》2010年第5期23-28,39,共7页林昌时 
形式逻辑教科书中关于充分条件假言命题的定义及其列举的某些例句,值得质疑。对形如"如果p,那么q"的命题,应以其前、后件本身是不是真值确定的命题为标准,划分成两类,充分条件假言命题只是其中一类。由此出发,加以辨析,求解由逻辑学教...
关键词:实质蕴涵 严格蕴涵 充分条件 假言命题 
论蕴涵的演进——从蕴涵到制约
《毕节学院学报(综合版)》2006年第2期26-30,共5页盛作国 龚启荣 胡红 
蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。...
关键词:实质蕴涵 形式蕴涵 严格蕴涵 相干蕴涵 直觉主义蕴涵 制约关系 
蕴涵意义新解
《江南大学学报(自然科学版)》2004年第2期121-126,共6页李金厚 蒋静坪 
国防科技跨行业基金项目(OOJ16.6.3.JW040)资助课题.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题.实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的.为有效避...
关键词:严格蕴涵 实质蕴涵 必要条件 充分条件 意义蕴涵 
论蕴涵怪论的合理性被引量:3
《中山大学学报(社会科学版)》2002年第4期18-24,共7页柯华庆 
本文详细讨论了实质蕴涵的真实涵义,它与条件句、推论关系之间的联系与区别,分析了实质蕴涵与逻辑蕴涵之间的关系和误解,探讨了逻辑的性质及与科学推理的关系,从而为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。
关键词:实质蕴涵 合理性 逻辑蕴涵 条件句 严格蕴涵 经典逻辑 性质 
关于演绎推理定义的质疑
《西南师范大学学报(人文社会科学版)》2000年第1期41-44,共4页陈尚文 
:关于演绎推理的定义 ,大致有三种 :①演绎推理是从一般到特殊的推理 ;②它是前提蕴涵结论的推理 ;③它是前提和结论之间具有必然联系的推理。这些定义尚欠妥当 ,未能准确地反映演绎推理的实质 ,应当将它定义为
关键词:演绎推理 实质蕴涵 形式蕴涵 严格蕴涵 衍推蕴涵 
检索报告 对象比较 聚类工具 使用帮助 返回顶部