哲思逻辑——一个形而上学内容的公理体系

发布时间：2018-10-30 08:48

【摘要】：在经典命题逻辑的系统内,增加一个一元算子*,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统。在该扩充系统内,有遵守矛盾律和排中律的经典否定算子,有遵守矛盾律而不遵守排中律的构造性否定算子,有不遵守矛盾律而遵守排中律的弗协调否定算子,还有既不遵守矛盾律又不遵守排中律的辩证否定算子。通过引入关于*的一个形式语义,可以证明哲思逻辑系统具有可靠性和完全性。在哲思逻辑中,A和A之间是矛盾关系,A和2A之间是反对关系,A和△A之间是下反对关系,A和*A之间是差等关系。所以,哲思逻辑又可以称为对当关系逻辑。
[Abstract]:In the system of classical propositional logic, we add a univariate operator *, by introducing two univariate operators 2 sum, we can establish an extension system of classical propositional logic called philosophy logic system. In the extended system, there are classical negative operators that obey the law of contradiction and the law of middle exclusion, constructive negative operators that obey the law of contradiction but do not obey the law of center of exclusion, and operators of Free-coordinate negation which obey the law of exclusion without complying with the law of contradiction. There is also a dialectical negative operator that neither obeys the law of contradiction nor the law of exclusion. By introducing a formal semantics about *, it is proved that the philosophical logic system is reliable and complete. In philosophical logic, there is a contradiction between A and A, an opposition relationship between A and 2A, a lower opposition relationship between A and A, and a difference relationship between A and * A. Therefore, philosophic logic can also be called the logics of relation.
【作者单位】： 南京大学现代逻辑与逻辑应用研究所
【基金】：国家社科基金项目(02CZX0080) 教育部人文社会科学重点研究基地重大项目“逻辑哲学重大问题研究”(05JJD720.40002)成果之一
【分类号】：B812

【相似文献】

相关期刊论文 前10条

1 杨武金;;弗协调逻辑的理论渊源和历史发展[J];贵州师范大学学报(社会科学版);2007年06期

2 张清宇;;弗协调逻辑[J];哲学动态;1987年02期

3 郝旭东;;论弗协调逻辑的特异性质[J];学术论坛;2011年04期

4 杨武金;弗协调逻辑及其理论特征[J];中共南京市委党校南京市行政学院学报;2004年02期

5 郝旭东;李娜;;弗协调单主体认知逻辑系统C_nEK及其扩张[J];重庆工学院学报(社会科学版);2009年02期

6 杜国平;;不协调理论的逻辑基础——读张清宇先生的《弗协调逻辑》[J];哲学动态;2007年10期

7 郝旭东;;弗协调多主体认知逻辑系统C_nE_mK[J];云南师范大学学报(哲学社会科学版);2010年05期

8 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期

9 冯艳;论经典否定、直觉主义否定和弗协调否定[J];自然辩证法研究;2005年02期

10 赵伟莉;;关于弗协调逻辑的否定与矛盾[J];淮阴师范学院学报(哲学社会科学版);2007年01期

相关会议论文 前10条

1 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[A];仲景医学求真（续三）[C];2009年

2 张清宇;;弗协调逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

3 杨武金;;弗协调逻辑及其哲学意义[A];2004年逻辑研究专辑[C];2004年

4 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

5 杜国平;;哲思逻辑[A];第三次金岳霖学术思想研讨会论文集[C];2005年

6 陈自立;;直觉主义逻辑的新公理系统RH[A];1995年逻辑研究专辑[C];1995年

7 张清宇;;弗协调逻辑系统Zn和ZnUS[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

8 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

9 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年

10 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

相关重要报纸文章 前10条

1 李德顺 孙伟平;传统“官本位”：人对自己的否定[N];社会科学报;2001年

2 叶扁舟;90秒能否定“生死”[N];中国教育资讯报;2002年

3 蔡振兴;感悟权力[N];西南电力报;2000年

4 冯东书;恩格斯何以否定自己[N];北京日报;2002年

5 本报记者 贾学颖;单一税：体现公平还是否定公平[N];中国财经报;2002年

6 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年

7 刘霖;先于对手否定自己[N];解放军报;2002年

8 翟义;如何玩转“生物医药项目”[N];中国高新技术产业导报;2002年

9 朱健;科学社会主义理论不可能否定[N];社会科学报;2001年

10 ;退赃并不能否定犯罪行为[N];人民法院报;2001年

相关博士学位论文 前10条

1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

2 冯彦波;合并逻辑方法研究[D];南开大学;2010年

3 徐正龙;文学长河论[D];南京师范大学;2007年

4 许国萍;现代汉语差比范畴研究[D];复旦大学;2005年

5 彭利贞;现代汉语情态研究[D];复旦大学;2005年

6 王晓凌;论非现实语义范畴[D];复旦大学;2007年

7 王兴斌;历史事实的结构[D];华东师范大学;2008年

8 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

9 何松旭;为什么需要道德？[D];浙江大学;2011年

10 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

相关硕士学位论文 前10条

1 郝旭东;次协调逻辑初探[D];河南大学;2004年

2 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

3 胡丹;现代西方元伦理学的开端[D];厦门大学;2007年

4 王小刚;彭加勒的科学哲学思想[D];武汉大学;2005年

5 陈洁;G.E.摩尔元伦理直觉主义研究[D];大连理工大学;2007年

6 刘旭峰;直觉的位置[D];湖南师范大学;2004年

7 张晓华;直觉主义价值论[D];西南大学;2007年

8 李爱国;罗斯义务论直觉主义伦理思想研究[D];西南大学;2008年

9 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

10 金慧敏;“严肃的游戏”[D];郑州大学;2006年

，

本文编号：2299527