發(fā)布時間：2018-10-18 18:50

【摘要】：內涵能構邏輯研究是國內外邏輯學研究的空白點。本文針對抽象思維的能構性特點,總結了內涵邏輯研究的現(xiàn)有成果,從重新確切界定數(shù)理邏輯學的基本范疇著手,說明了“信息的內涵性質”、“謂詞范疇的兩重性”、“抽象間隔”、“賦值的相對性”、“賦值映射的不動點”,刻劃了一個決定論框架,并把它嵌入了信息流邏輯的框架。為進一步論證內涵能構邏輯的不動點語義作了準備。
[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.
【作者單位】： 浙江公安高等�？茖W校
【分類號】：B81

【參考文獻】

相關期刊論文 前3條

1 張文祥;從內涵邏輯的觀點看傳統(tǒng)邏輯的若干缺陷[J];公安學刊(浙江公安高等專科學校學報);2001年02期

2 張文祥;辯證邏輯研究中若干問題的探討──兼論擬邏輯矛盾的實質及對于科學抽象的意義[J];浙江社會科學;1994年02期

3 張文祥;從判斷真值理論看“邏輯矛盾”的本質[J];浙江學刊;1994年04期

【共引文獻】

相關期刊論文 前10條

1 張紹友,謝元春,夏夢,張萍;論命題邏輯中“真”的判定[J];白城師范高等�？茖W校學報;2002年01期

2 盛作國;龔啟榮;胡紅;;論蘊涵的演進——從蘊涵到制約[J];畢節(jié)學院學報(綜合版);2006年02期

3 姚從軍;;模態(tài)命題邏輯系統(tǒng)K、D、T、S4、S5、B之比較[J];畢節(jié)學院學報;2009年04期

4 姚從軍;;古典命題邏輯與模態(tài)命題邏輯的形式系統(tǒng)之比較[J];畢節(jié)學院學報;2009年10期

5 董英東;;單主體自認知邏輯系統(tǒng)[J];畢節(jié)學院學報;2010年03期

6 丁永強;;反事實假設復句的邏輯分析[J];湖南文理學院學報(社會科學版);2006年04期

7 王芳;;略論模態(tài)語境中指稱的隱晦性問題[J];重慶理工大學學報(社會科學);2011年04期

8 劉葉濤;關于可能世界視域中的名稱與本質問題——兼評中西學者在相關領域中的學術論爭[J];東南大學學報(哲學社會科學版);2005年01期

9 周靜;試論宗教自由的規(guī)范構造——以聯(lián)合國和我國相關文件為背景的分析[J];法律科學.西北政法學院學報;2005年05期

10 夏衛(wèi)國;存在問題新探[J];東岳論叢;2001年05期

相關會議論文 前1條

1 余多星;;克里普克可能世界思想及其哲學意蘊[A];第八屆全國分析哲學研討會論文集（上）[C];2012年

相關博士學位論文 前10條

1 劉張華;大衛(wèi)·劉易斯模態(tài)哲學思想研究[D];南京大學;2011年

2 劉勇;多Agent系統(tǒng)理論和應用研究[D];重慶大學;2003年

3 賀天平;量子力學模態(tài)解釋及其方法論研究[D];山西大學;2006年

4 張力鋒;模態(tài)邏輯和本質主義[D];北京大學;2004年

5 宋一兵;計算機生成兵力中智能體技術與應用研究[D];哈爾濱工程大學;2006年

6 張立娜;個體詞的邏輯語義[D];清華大學;2007年

7 婁永強;信息流理論的邏輯研究[D];南開大學;2009年

8 吉建民;提高ASP效率的若干途徑及服務機器人上應用[D];中國科學技術大學;2010年

9 王志棟;語用要點識別模型研究[D];清華大學;2008年

10 代利;基于判斷聚合邏輯的群體理性條件研究[D];西南大學;2012年

相關碩士學位論文 前10條

1 李秋揚;俄語可能模態(tài)詞語義分析[D];首都師范大學;2011年

2 鄭偉;亞里士多德三段論系統(tǒng)研究[D];河南大學;2011年

3 雷宇;證詞邏輯初探[D];西南大學;2011年

4 何雄就;“偶然”邏輯特性的研究[D];南京大學;2011年

5 喬蘭菊;俄語評價范疇的語義功能[D];黑龍江大學;2011年

6 楊家勝;現(xiàn)代俄語中的評價范疇[D];黑龍江大學;2001年

7 韓宇勝;論法律的不確定性[D];中國政法大學;2001年

8 劉國鋒;D·劉易斯的可能世界理論——模態(tài)實在論研究[D];華南師范大學;2003年

9 王軼;認知邏輯的動態(tài)化理論[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