期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
试探逻辑代数的特点和运用
下载PDF
职称材料
导出
摘要
逻辑代数的建立,展示了形式逻辑的改造,宣告了数理逻辑的诞生。然而,它在形式逻辑和数理逻辑中并未得到系统的运用。问题在于它的特点尚未得到充分的发挥。逻辑代数有何特点?如何运用?有必要进一步探讨。
作者
王平
机构地区
同济大学社会科学系
出处
《同济大学学报(社会科学版)》
1990年第0期85-92,共8页
Journal of Tongji University:Social Science Edition
关键词
逻辑代数
一阶谓词演算
命题演算
个体域
形式逻辑
公理系统
形式系统
布尔代数
数理逻辑
普遍有效式
分类号
C55 [社会学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
杨英锐.
关于哥德尔不完全性定理评介中的两个问题及其哲学涵义浅析——兼评杨熙龄同志的几篇数理逻辑评介文章[J]
.国外社会科学,1981(1):73-76.
2
桂起权,朱志方.
次协调逻辑——辩证法的顶梁柱[J]
.江汉论坛,1988(12):30-33.
被引量:2
3
桂起权.
次协调形式系统——矛盾中求协调的逻辑[J]
.武汉大学学报(人文科学版),1992,46(4):56-62.
被引量:5
4
吳允曾.
公理系统的内在局限性及其意义[J]
.北京大学学报(哲学社会科学版),1963,9(1):17-22.
5
王建军.
爱因斯坦科学评价思想述评[J]
.社会科学研究,1991(2):60-65.
被引量:1
6
姜成林,桂起权.
公理化方法是科学理论系统化的重要方法[J]
.江汉论坛,1984(12):21-25.
被引量:1
7
林夏水.
公理化方法的哲学分析[J]
.福建师范大学学报(哲学社会科学版),1982(1):33-39.
被引量:1
8
杨熙龄.
哥德尔理论与悖论有没有“必然联系”?[J]
.国外社会科学,1981(1):76-79.
9
苗东升.
“非系统理论”质疑[J]
.人文杂志,1989(6):37-44.
被引量:1
10
何邦泰.
略论形式逻辑的改革与发展[J]
.学术研究,1981(4):97-100.
同济大学学报(社会科学版)
1990年 第0期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部