论命题与括号
本文选题：公理系统 + 命题联结词 ； 参考：《哲学研究》2008年09期
[Abstract]:......
【作者单位】： 中国社会科学院哲学所;
【分类号】：O141.1
【参考文献】
相关期刊论文 前7条
1 余俊伟;形式系统的可靠性和完全性问题[J];湖南科技大学学报(社会科学版);2005年01期
2 刘新文;经典一阶逻辑的希尔伯特型系统[J];湖南科技大学学报(社会科学版);2005年02期
3 张清宇;不用联结词的经典命题逻辑系统[J];哲学研究;1995年05期
4 张清宇;不用联结词和量词的一阶逻辑系统[J];哲学研究;1996年05期
5 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期
6 张清宇;系统Z中的范式和插入定理[J];哲学研究;1999年12期
7 杜国平;单独函数完全的算子[J];哲学研究;2000年06期
【共引文献】
相关期刊论文 前10条
1 刘程;邱紫华;;不能不说的话:维特根斯坦与弗雷格、罗素[J];阿坝师范高等专科学校学报;2006年04期
2 孙显元;;芝诺悖论中的逻辑和形而上学[J];安徽电气工程职业技术学院学报;2010年02期
3 张盛彬;评逻辑研究中的极左干扰[J];安徽师范大学学报(人文社会科学版);2001年03期
4 王习胜;;道德悖论的消解路向——基于逻辑解悖角度的思考[J];安徽师范大学学报(人文社会科学版);2008年03期
5 孙显元;;“道德悖论”研究的现状及走向[J];安徽师范大学学报(人文社会科学版);2009年06期
6 王力钢;;数理逻辑的发展及未来趋向[J];安庆师范学院学报(社会科学版);2010年11期
7 龙小平;试论个体的本质[J];北华大学学报(社会科学版);2001年01期
8 张晓光;;关于逻辑学功能定位的思考[J];毕节学院学报;2008年06期
9 戚金霞;;高校逻辑学教学改革探微[J];毕节学院学报;2009年12期
10 崔清田;;关于张东荪的“逻辑与文化”[J];毕节学院学报;2011年10期
相关会议论文 前10条
1 张四化;葛宇宁;;从对集合论悖论的剖析看制约逻辑的客体性[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
2 王洪;;法律逻辑的基本问题[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年
3 王建芳;;为逻辑三段论正名[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年
4 张晓光;;关于逻辑学功能定位的思考:兼谈逻辑学与素质教育[A];法律逻辑与法学教育——第十五届全国法律逻辑学术讨论会论文集[C];2007年
5 韩彩英;;关于西方哲学-科学之形式逻辑范式的理性批判[A];山西大学2008年全国博士生学术论坛（科学技术哲学）[C];2008年
6 江怡;;胡塞尔是如何反对心理主义的?——对《逻辑研究》第一卷的一种解释[A];现代德国哲学与欧洲大陆哲学学术研讨会论文汇编[C];2007年
7 张清宇;;以广义析舍为初始符号的经典命题逻辑系统[A];1997年逻辑研究专辑[C];1997年
8 刘新文;;以广义析舍和存在量词为初始符号的一阶系统[A];2003年逻辑研究专辑[C];2003年
9 杜国平;;三值逻辑Sheffer[A];2005年逻辑研究专辑[C];2005年
10 刘新文;;塔尔斯基论题和函数完备性[A];第八届全国分析哲学研讨会论文集（上）[C];2012年
相关博士学位论文 前10条
1 傅美蓉;从反再现到承认的政治[D];陕西师范大学;2010年
2 赵e，
本文编号：1735810
本文链接：https://www.wllwen.com/shekelunwen/ljx/1735810.html
