【摘要】：內(nèi)涵能構(gòu)邏輯研究是國(guó)內(nèi)外邏輯學(xué)研究的空白點(diǎn)。本文針對(duì)抽象思維的能構(gòu)性特點(diǎn),總結(jié)了內(nèi)涵邏輯研究的現(xiàn)有成果,從重新確切界定數(shù)理邏輯學(xué)的基本范疇著手,說(shuō)明了“信息的內(nèi)涵性質(zhì)”、“謂詞范疇的兩重性”、“抽象間隔”、“賦值的相對(duì)性”、“賦值映射的不動(dòng)點(diǎn)”,刻劃了一個(gè)決定論框架,并把它嵌入了信息流邏輯的框架。為進(jìn)一步論證內(nèi)涵能構(gòu)邏輯的不動(dòng)點(diǎn)語(yǔ)義作了準(zhǔn)備。
[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(xué)校
【分類號(hào)】：B81

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

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

2 張文祥;辯證邏輯研究中若干問(wèn)題的探討──兼論擬邏輯矛盾的實(shí)質(zhì)及對(duì)于科學(xué)抽象的意義[J];浙江社會(huì)科學(xué);1994年02期

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 盛作國(guó);龔啟榮;胡紅;;論蘊(yùn)涵的演進(jìn)——從蘊(yùn)涵到制約[J];畢節(jié)學(xué)院學(xué)報(bào)(綜合版);2006年02期

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

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

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

6 丁永強(qiáng);;反事實(shí)假設(shè)復(fù)句的邏輯分析[J];湖南文理學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2006年04期

7 王芳;;略論模態(tài)語(yǔ)境中指稱的隱晦性問(wèn)題[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年04期

8 劉葉濤;關(guān)于可能世界視域中的名稱與本質(zhì)問(wèn)題——兼評(píng)中西學(xué)者在相關(guān)領(lǐng)域中的學(xué)術(shù)論爭(zhēng)[J];東南大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2005年01期

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

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

相關(guān)會(huì)議論文 前1條

1 余多星;;克里普克可能世界思想及其哲學(xué)意蘊(yùn)[A];第八屆全國(guó)分析哲學(xué)研討會(huì)論文集（上）[C];2012年

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

5 宋一兵;計(jì)算機(jī)生成兵力中智能體技術(shù)與應(yīng)用研究[D];哈爾濱工程大學(xué);2006年

6 張立娜;個(gè)體詞的邏輯語(yǔ)義[D];清華大學(xué);2007年

7 婁永強(qiáng);信息流理論的邏輯研究[D];南開大學(xué);2009年

8 吉建民;提高ASP效率的若干途徑及服務(wù)機(jī)器人上應(yīng)用[D];中國(guó)科學(xué)技術(shù)大學(xué);2010年

9 王志棟;語(yǔ)用要點(diǎn)識(shí)別模型研究[D];清華大學(xué);2008年

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

相關(guān)碩士學(xué)位論文 前10條

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

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

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

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

5 喬蘭菊;俄語(yǔ)評(píng)價(jià)范疇的語(yǔ)義功能[D];黑龍江大學(xué);2011年

6 楊家勝;現(xiàn)代俄語(yǔ)中的評(píng)價(jià)范疇[D];黑龍江大學(xué);2001年

7 韓宇勝;論法律的不確定性[D];中國(guó)政法大學(xué);2001年

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

9 王軼;認(rèn)知邏輯的動(dòng)態(tài)化理論[D];中國(guó)人民大學(xué);2005年

10 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張文祥;內(nèi)涵能構(gòu)邏輯的特征[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號(hào)：2280052