聚类工具

0
网站首页网站地图
访问手机版
关于我们
注册
帮助 本站公告
全部文献 媒体文章 报刊论文 会议论文 学位论文 出版专著 研究报告 课题成果 特色专题
高级检索
您现在所在的位置：网站首页 > 知识中心 > 检索结果
全选 题录导出
排序：
期刊文章 一个与卢卡西维兹不同的亚里士多德三段论形式系统
出处：哲学研究 1988年第4期33-41,共9页
摘要： <正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究... 显示全部
关键词： 三段论公理 亚里士多德三段论 命题逻辑 形式系统 现代逻辑 谓词逻辑 命题变元 有效式 逻辑理论 公理系统
期刊文章 超协调逻辑(Ⅰ)——传统超协调逻辑研究
出处：计算机科学 1994年第5期
摘要：<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对... 显示全部
关键词： 非单调逻辑 逻辑研究 公理系统 经典逻辑 传递律 相干逻辑 当且仅当 证明论 后承关系 集论
期刊文章 公理化方法是科学理论系统化的重要方法
出处：江汉论坛 1984年第12期21-25,共5页
摘要： <正> 任何一门科学当其积累了一定数量的概念、范畴、原理和定律之后,运用一定的逻辑手段把已经获得... 显示全部
关键词： 公理系统 理论系统化 演绎系统 逻辑手段 现实意义 亚里士多德 形式化方法 公理化方法 形式系统 自然规律
期刊文章 互补性构架及其逻辑重建
出处：武汉大学学报：人文科学版 1997年第2期61-65,共5页
摘要： 从互补性的物理内涵抽引出其逻辑构架，用逻辑哲学将它定性为因矛盾律疑难触发而生的一种扩展型的非经典逻... 显示全部
关键词： 互补性构架 矛盾律 公理系统
期刊文章 次协调逻辑——辩证法的顶梁柱
出处：江汉论坛 1988年第12期30-33,共4页
摘要： <正> "次协调逻辑"的主要意思是指,在新逻辑中当矛盾律被削弱之后,仍要保持一种次于经典逻辑的新的... 显示全部
关键词： 次协调逻辑 非经典逻辑 矛盾律 逻辑学家 辩证逻辑 数理逻辑 公理系统 经典命题演算 亦此亦彼 亚里士多德
期刊文章 公理系统的布尔值模型
出处：河南大学学报：自然科学版 1998年第2期 37-42,共6页
摘要：本文建立了一个无穷的公理系统序列 显示全部
关键词： 公理系统 布尔值 布尔值模型
在线阅读 下载全文
期刊文章 数学家视野下的几何素养的内涵
出处：中国数学教育：高中版 2010年第6期 2-5,共4页
摘要：在数学家眼里，几何是一门重要的科学．从高层次上看，几何是数学的一部分，它是以公理系统的方式组织起来... 显示全部
关键词： 数学家 几何 内涵 素养 公理系统 基本层次
在线阅读 下载全文
期刊文章 开放类3-值逻辑的元性质
出处：中山大学学报：社会科学版 2006年第2期 76-78,共3页
摘要：经典逻辑是建立在封闭世界预设的基础上的，但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研... 显示全部
关键词： 公理系统 弱完全性 强完全性 一致性
在线阅读 下载全文
期刊文章 泛系理论:框架、理法与进展
出处：系统科学学报 1994年第2期33-37,共5页
摘要： 本文根据最新研究,综述泛系理论的框架、理法与进展,是泛系理论创业17年(1976～1993)的一个缩影. 显示全部
关键词： 泛系理论 广义系统 系统科学大辞典 超复变函数 泛系模拟 泛系变分原理 系统辩证学学报 公理系统 电磁介质 变分方法
在线阅读 下载全文
期刊文章 论逻辑系统
出处：哲学研究 2003年第9期 90-95,共6页
摘要：在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q；p，所以q”。也可以用符号表示为(p→q... 显示全部
关键词： 逻辑系统 公理系统 初始符号 自然演绎系统 模态逻辑系统
在线阅读 下载全文
找到13条结果

联系方式

电 话：020-38800179

邮 箱：gdtheory@126.com

地 址：广州市天河区天河北路618号广东社会科学中心

邮 编：510635

友情链接

扫一扫 手机浏览

广东省社会科学院·广东省哲学社会科学数据库·广东智库 版权所有 Copyright©2012 gdtheory.cn All Rights Reserved.

违法和不良信息举报中心举报邮箱：jubao@cqvip.com 粤ICP备10080020号-3

`