内涵能构逻辑的特征

发布时间：2018-10-18 18:50

【摘要】：内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对性”、“赋值映射的不动点”,刻划了一个决定论框架,并把它嵌入了信息流逻辑的框架。为进一步论证内涵能构逻辑的不动点语义作了准备。
[Abstract]:The study of connotative structurable logic is a blank spot in the research of logic at home and abroad. In view of the constructive characteristics of abstract thinking, this paper summarizes the existing achievements in the study of connotative logic, begins with the redefinition of the basic category of mathematical logic, and explains "the connotation nature of information" and "the duality of predicate category". Abstract interval, the relativity of assignment, the fixed point of assignment mapping, describe a deterministic frame and embed it into the framework of information flow logic. The purpose of this paper is to further demonstrate the fixed point semantics of implicative structurable logic.
【作者单位】： 浙江公安高等专科学校
【分类号】：B81

【参考文献】

相关期刊论文 前3条

1 张文祥;从内涵逻辑的观点看传统逻辑的若干缺陷[J];公安学刊(浙江公安高等专科学校学报);2001年02期

2 张文祥;辩证逻辑研究中若干问题的探讨──兼论拟逻辑矛盾的实质及对于科学抽象的意义[J];浙江社会科学;1994年02期

3 张文祥;从判断真值理论看“逻辑矛盾”的本质[J];浙江学刊;1994年04期

【共引文献】

相关期刊论文 前10条

1 张绍友,谢元春,夏梦,张萍;论命题逻辑中“真”的判定[J];白城师范高等专科学校学报;2002年01期

2 盛作国;龚启荣;胡红;;论蕴涵的演进——从蕴涵到制约[J];毕节学院学报(综合版);2006年02期

3 姚从军;;模态命题逻辑系统K、D、T、S4、S5、B之比较[J];毕节学院学报;2009年04期

4 姚从军;;古典命题逻辑与模态命题逻辑的形式系统之比较[J];毕节学院学报;2009年10期

5 董英东;;单主体自认知逻辑系统[J];毕节学院学报;2010年03期

6 丁永强;;反事实假设复句的逻辑分析[J];湖南文理学院学报(社会科学版);2006年04期

7 王芳;;略论模态语境中指称的隐晦性问题[J];重庆理工大学学报(社会科学);2011年04期

8 刘叶涛;关于可能世界视域中的名称与本质问题——兼评中西学者在相关领域中的学术论争[J];东南大学学报(哲学社会科学版);2005年01期

9 周静;试论宗教自由的规范构造——以联合国和我国相关文件为背景的分析[J];法律科学.西北政法学院学报;2005年05期

10 夏卫国;存在问题新探[J];东岳论丛;2001年05期

相关会议论文 前1条

1 余多星;;克里普克可能世界思想及其哲学意蕴[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

相关博士学位论文 前10条

1 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年

2 刘勇;多Agent系统理论和应用研究[D];重庆大学;2003年

3 贺天平;量子力学模态解释及其方法论研究[D];山西大学;2006年

4 张力锋;模态逻辑和本质主义[D];北京大学;2004年

5 宋一兵;计算机生成兵力中智能体技术与应用研究[D];哈尔滨工程大学;2006年

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

7 娄永强;信息流理论的逻辑研究[D];南开大学;2009年

8 吉建民;提高ASP效率的若干途径及服务机器人上应用[D];中国科学技术大学;2010年

9 王志栋;语用要点识别模型研究[D];清华大学;2008年

10 代利;基于判断聚合逻辑的群体理性条件研究[D];西南大学;2012年

相关硕士学位论文 前10条

1 李秋扬;俄语可能模态词语义分析[D];首都师范大学;2011年

2 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年

3 雷宇;证词逻辑初探[D];西南大学;2011年

4 何雄就;“偶然”逻辑特性的研究[D];南京大学;2011年

5 乔兰菊;俄语评价范畴的语义功能[D];黑龙江大学;2011年

6 杨家胜;现代俄语中的评价范畴[D];黑龙江大学;2001年

7 韩宇胜;论法律的不确定性[D];中国政法大学;2001年

8 刘国锋;D·刘易斯的可能世界理论——模态实在论研究[D];华南师范大学;2003年

9 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年

10 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

【相似文献】

相关期刊论文 前10条

1 张文祥;内涵能构逻辑的特征[J];中山大学学报(社会科学版);2003年S1期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文编号：2280052