-
题名经典命题逻辑的一个公理系统
被引量：7
- 1
-
-
作者
张清宇
-
机构
中国社会科学院哲学所
-
出处
《哲学研究》
CSSCI
北大核心
1997年第8期51-58,共8页
-
-
关键词
经典命题逻辑
公理系统Z
重言式
双重否定
可证性
子公式
原子桥
初始符号
真值指派
树图
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名论逻辑系统
被引量：5
- 2
-
-
作者
梁彪
-
机构
中山大学逻辑与认知研究所
-
出处
《哲学研究》
CSSCI
北大核心
2003年第9期90-95,共6页
-
-
关键词
逻辑系统
公理系统
初始符号
自然演绎系统
模态逻辑系统
-
分类号
B81-0
[哲学宗教—逻辑学]
-
-
题名《周易》的符号与形象思维对应的机制及其启示
被引量：1
- 3
-
-
作者
李廉
-
机构
南京大学哲学系
-
出处
《江苏社会科学》
CSSCI
1995年第1期69-74,共6页
-
-
关键词
《易经》
象思维
《周易》
初始符号
抽象符号
形象变化
卦辞
《易传》
卦象
符号集合
-
分类号
B221
[哲学宗教—中国哲学]
-
-
题名联合演算对传统直言推论的系统化
被引量：1
- 4
-
-
作者
马雷
-
机构
东南大学哲学与科学系
-
出处
《皖西学院学报》
2002年第2期16-21,共6页
-
文摘
本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点 ,本文对传统直接推论和传统直言三段论作出系统化处理 ,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式。
-
关键词
联合演算
传统直接推论
传统直言三段论
系统化
初始符号
-
分类号
B812.2
[哲学宗教—逻辑学]
-
-
题名青墩麋鹿角刻纹与锦屏山将军崖岩画
被引量：1
- 5
-
-
作者
王其银
-
出处
《江苏地方志》
2005年第6期37-38,共2页
-
-
关键词
鹿角岩画
将军崖
新石器时代
初始符号
考古学家
连云港市
遗址
锦屏山
-
分类号
K879.41
[历史地理—考古学及博物馆学]
-
-
题名弗协调的弗雷格(英文)
- 6
-
-
作者
刘靖贤
-
机构
辽宁大学哲学与公共管理学院
-
出处
《逻辑学研究》
CSSCI
2014年第2期81-101,共21页
-
文摘
本文表明,二阶弗协调概括与弗雷格的第五公理是足道的。也表明,如果等数关系是初始符号,那么通过弗协调推理可以从第五公理可以推出休谟原则。最后表明,弗协调的休谟原则不能用作逻辑主义数学的基础。
-
关键词
弗雷格
协调
初始符号
逻辑主义
公理
休谟
-
分类号
B812
[哲学宗教—逻辑学]
-
-
题名亚里士多德模态三段论的形式系统
- 7
-
-
作者
马雷
-
机构
东南大学哲学与科学系
-
出处
《合肥学院学报（社会科学版）》
2005年第1期42-44,共3页
-
文摘
在<前分析篇>[1]中,亚里士多德用大量篇幅讨论了模态三段论问题.亚氏模态三段论自成系统,可以尝试从现代逻辑的联合演算观[2-3]出发构筑这一系统①.
-
关键词
亚里士多德
模态三段论
形式系统
初始符号
形成规则
-
Keywords
Aristotle
model syllogism
formal system
-
分类号
B815.1
[哲学宗教—逻辑学]
-
