相干逻辑

作品数：36被引量：22H指数：3
导出分析报告
相关领域：哲学宗教更多>>
相关作者：冯棉周北海贾青陈波桂起权更多>>
相关机构：华东师范大学北京大学中国社会科学院哲学研究所武汉大学更多>>
相关期刊：《河南社会科学》《逻辑学研究》《哲学动态》《科学技术哲学研究》更多>>
相关基金：国家社会科学基金教育部规划基金项目国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论“蕴涵怪论”
《锋绘》2021年第3期258-259,共2页张皓迪 
“蕴涵怪论”就是指一个逻辑系统中的重言式在认知领域中却不是普遍有效的。这是由于蕴含关系虽是对自然语言中关系的抽象化,但是却并没有将自然语言的所有关系进行抽象。命题逻辑只是对需要研究的某一个关系进行抽象研究,作为逻辑算子...
关键词：“蕴涵怪论” 相干逻辑 命题逻辑 模态逻辑 
范畴语法层级系统及其在自然语言计算中的优劣分析
《周口师范学院学报》2019年第1期1-6,共6页姚从军 李奕丹 
湖南省社科基金一般项目"面向汉语信息处理的CCG词库研究"(17YBA397)
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级"。对于自然语言的计算处理来说,各层级系统各有优劣。虽然原始兰贝克演算较好地体现了自然语言的资源管理方式,但它是一种非结合非交换的系统,故在计算处理上存在...
关键词：直觉主义逻辑 相干逻辑 线性逻辑 兰贝克演算 混合范畴类型逻辑 
相干逻辑的三种语义解释
《逻辑学研究》2018年第3期44-57,共14页贾青 
国家社科基金重大项目(12&ZD119)
基本正系统B_+是若干相干逻辑正系统的基础,通过添加新的公理模式就能在B_+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley(1972)以及Routley和Meyer(1972)分别给出了B_+及其一系列扩充的代数语义和关系语义,Meyer和Routley(1...
关键词：相干逻辑 推理语义 代数语义 关系语义 
经典的扩充与变异——2015年逻辑学研究述评
《中国哲学年鉴》2016年第1期185-192,共8页贾青 刘新文 
命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,...
关键词：逻辑学研究 哲学逻辑 相干逻辑 逻辑哲学 非经典逻辑 逻辑史 模态逻辑 非单调逻辑 
深刻理解逻辑哲学内涵,全面把握学科研究现状——评《爱思唯尔科学哲学手册》《逻辑哲学》卷中译本
《科学技术哲学研究》2016年第6期108-109,共2页赵晓玉 
《爱思唯尔科学哲学手册》的《逻辑哲学》（Philosophy of Logic）分册的翻译,对于逻辑哲学研究水平不是很高的国内而言,无疑是具有重要的学术价值的,一是因为《逻辑哲学》分册所对应的英文原书是一部高水平的学术编著,几乎收录了目前...
关键词：逻辑哲学 爱思唯尔 研究成果 相干逻辑 数学实在论 非形式逻辑 文原 内涵性 逻辑学家 哲学逻辑 
编者导语
《逻辑学研究》2015年第1期1-1,共1页刘新文 
现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的＂数理逻辑黄金时代＂和70年代的＂哲学逻辑黄金时代＂。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类...
关键词：现代逻辑 弗雷格 类型论 哲学逻辑 皮尔士 一阶逻辑 逻辑形式 相干逻辑 公理化 何树 
相干逻辑关系语义的推理解释被引量：3
《逻辑学研究》2015年第1期50-64,共15页周北海 贾青 
国家社科基金重大项目(批准号12&ZD119)
关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以"纯粹"的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间...
关键词：相干逻辑 关系语义 推理语义 
逻辑学研究被引量：5
《湖北大学学报（哲学社会科学版）》2014年第1期47-53,148-149,共7页陈波 
从逻辑哲学的眼光看，辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑，因此它归属于逻辑，而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱...
关键词：辩证逻辑形式化 逻辑哲学 次协调逻辑 相干逻辑 模糊逻辑 
相干逻辑的产生及评价被引量：1
《重庆理工大学学报（社会科学）》2013年第9期84-87,共4页刘步青 
在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂...
关键词：蕴含怪论 相干逻辑 经典逻辑 模态逻辑 
相干逻辑的情境论解释被引量：1
《逻辑学研究》2013年第4期105-115,共11页胡光远 
相干逻辑的情境论解释属于相干逻辑的直观语义。情境论以集合论的方式处理信息,用"邻界"的概念拓宽了可能世界语义学。情境论不仅以直观的方式解释了相干逻辑,还在相干逻辑如何解决蕴涵怪论,如何进一步修正逻辑上具有重要作用,理当受到...
关键词：相干逻辑 情境论 信息 邻界 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部