直觉主义逻辑中的否定词

发布时间：2018-03-18 05:08

  本文选题：否定词　切入点：HQC　出处：《现代哲学》2003年03期 　论文类型：期刊论文

【摘要】：该文从直觉主义否定词的特性出发讨论它存在的可能性,同时比较它与ELMQ中强否定词之间的关系,最后讨论了Heyting系统中两个否定性公理的合理性问题。
[Abstract]:This paper discusses the possibility of the existence of intuitionistic negatives, compares the relationship between them and the strong negative words in ELMQ, and finally discusses the rationality of two negative axioms in Heyting system.
【作者单位】： 中山大学逻辑与认知研究所
【基金】：普通高等学校人文社会科学重点研究基地基金
【分类号】：B815

【共引文献】

相关期刊论文 前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];北京科技大学学报(社会科学版);2008年02期

相关会议论文 前7条

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];第八届全国分析哲学研讨会论文集（上）[C];2012年

相关博士学位论文 前10条

1 傅美蓉;从反再现到承认的政治[D];陕西师范大学;2010年

2 彭灵勇;法律推理的确定性与不确定性[D];中国社会科学院研究生院;2001年

3 方刚;维特根斯坦之命题意义的确定性问题研究[D];复旦大学;2004年

4 周晓虹;透视全球化背景下的法律多元论[D];吉林大学;2006年

5 龙小平;可能世界中的名称和同一性[D];西南大学;2007年

6 代金宏;会计逻辑研究[D];天津财经大学;2008年

7 李菁;海德格尔与维特根斯坦存在思想的一种尝试比较[D];浙江大学;2008年

8 张立娜;个体词的逻辑语义[D];清华大学;2007年

9 宁莉娜;中国近代文化革新视域中的逻辑方法研究[D];黑龙江大学;2008年

10 周力;法律的模糊性分析[D];西南政法大学;2008年

相关硕士学位论文 前10条

1 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年

2 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

3 侯占香;亚里士多德的逻辑学说与语言的渊源关系研究[D];广西师范大学;2004年

4 唐玉斌;本质主义和必然性问题的研究[D];华南师范大学;2005年

5 张焱;什么是命题——从两种命题处理方案来看[D];华东师范大学;2005年

6 刘卫花;对蒯因逻辑中“本体论承诺”的探讨[D];西南师范大学;2005年

7 郭建萍;亚里士多德真理观及其现实意义[D];山西大学;2005年

8 张明娜;语义悖论消解研究[D];河北大学;2006年

9 鲍建竹;马克思主义哲学本体论问题溯源[D];华中师范大学;2006年

10 王新峰;数学视野中逻辑与语言的成功融合[D];山西大学;2006年

【相似文献】

相关会议论文 前1条

1 陶士伟;张跃堂;陈卫红;;全球观测资料质量监视评估[A];中国气象学会2005年年会论文集[C];2005年

相关重要报纸文章 前10条

1 盛国宏　匡端;武汉局通过CQC质量管理体系再认证[N];中国邮政报;2008年

2 刘沛国;CQC开展节能产品认证[N];中国国门时报;2010年

3 刘德环;CQC认证助力海湾安全技术公司做大做强[N];中国国门时报;2009年

4 陈新;首批获CQC认证中空玻璃列入政府采购清单[N];中国建材报;2009年

5 罗海滨;台州局质量管理体系通过CQC再认证[N];中国国门时报;2010年

6 记者 丁莹;CQC家电下乡市场核查工作启动[N];中国质量报;2011年

7 本报记者 李芳蕾;积极与国际接轨 土方机械CQC认证启动[N];中国工业报;2011年

8 晓荔;中国土方机械“CQC”标志认证工作启动[N];中国建材报;2011年

9 丁莹;七家企业获得中国土方机械“CQC”标志认证[N];中国质量报;2011年

10 柴国贤　王英;CQC青海评审中心举办认证培训[N];中国国门时报;2009年

，

本文编号：1628115