聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 真之同一论与单称命题
出处:逻辑学研究 2012年第4期77-87,共11页
摘要:麦道的哲学试图抹去心灵与世界之间的本体论间隙。为了实现这一哲学计划,麦道需要接受某种真之同一论。本... 显示全部
关键词: 真理论 同一论 单称命题
在线阅读 下载全文
期刊文章 组合原则
出处:逻辑学研究 2008年第1期 75-83,共9页
摘要:组合原则是逻辑语义学的基本原则,表现为函项的思想和句法与语义的对应。就构造逻辑系统而言,组合原则是... 显示全部
关键词: 组合原则 形式语义学
在线阅读 下载全文
期刊文章 从现象学角度看佛教因明中的遮诠问题
出处:逻辑学研究 2008年第1期 103-119,共17页
摘要:笔者在此提出并尝试论证以下三个命题:其一,应当区分佛教因明中与为他比量相关的“遮诠”方法以及可以运... 显示全部
关键词: 遮诠 因明 现象学
在线阅读 下载全文
期刊文章 从逻辑哲学看模糊逻辑的形式化
出处:逻辑学研究 2008年第3期 66-78,共13页
摘要:从逻辑哲学观点看,在“符号化、公理化的模糊逻辑”与非形式化的“人脑使用的模糊逻辑”(苗东升的说法)... 显示全部
关键词: 逻辑哲学 模糊逻辑 经典逻辑 形式化 合经典的公式
在线阅读 下载全文
期刊文章 《荀子》的“类”观念
出处:逻辑学研究 2009年第3期 88-109,共22页
摘要:《荀子》的“类”观念有四种:一、感性经验价值世界中由“名”所指代的“实类”,即由“实”的感性和价值... 显示全部
关键词: 荀子 类观念 实类 相从类 统类
在线阅读 下载全文
期刊文章 一个用于表达因果关系的ATL的扩展
出处:逻辑学研究 2009年第4期 1-15,共15页
摘要:CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑(ATL)是对CTL的一个扩展,用于表达多主体博弈... 显示全部
关键词: 因果关系 时态逻辑 计算复杂性 检测技术 博弈结构 设计目标 系统
在线阅读 下载全文
期刊文章 塔斯基定理的一种推广
出处:逻辑学研究 2010年第1期 73-88,共16页
摘要:当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的... 显示全部
关键词: 有向图 佐丹卡片悖论 说谎者悖论 塔斯基定理 模式
在线阅读 下载全文
期刊文章 基于英文法律语言的Lambek演算* ; .
出处:逻辑学研究 2016年第4期100-109,共10页
摘要:本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先,分析并总结英文法律语言主要的... 显示全部
关键词: 英文法律语言 类型逻辑 范畴语法
在线阅读 下载全文
期刊文章 读逻辑RL 与任意读逻辑AL
出处:逻辑学研究 2016年第4期110-125,共16页
摘要:本文认为文献(vanDitmarschet.al.,2007)对认知行动“读”形式化时,语法与语义混淆,给出的语法和语义不... 显示全部
关键词: 认知行动量化 知识更新
在线阅读 下载全文
期刊文章 一个多值逻辑的一阶谓词系统
出处:逻辑学研究 2009年第1期 78-89,共12页
摘要:鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全... 显示全部
关键词: 命题逻辑 一阶谓词逻辑 可靠性 完全性
在线阅读 下载全文
找到37条结果
`