本文選題：推理規(guī)則 + 邏輯教材�。� 參考：《華南師范大學學報(社會科學版)》2002年06期

【摘要】：正 陳慕澤教授在《全稱概括規(guī)則和受限制的演繹定理》一文中指出,國內(nèi)一些有代表性的數(shù)理邏輯教材(如王憲鈞的《數(shù)理邏輯引論》,北京大學出版社1982年版,以下簡稱《引論》)關(guān)于推理規(guī)則的表述存在一個問題:推理規(guī)則(變形規(guī)則)作為邏輯系統(tǒng)的出發(fā)點之一,其表述帶有符號“ ”,而后來在關(guān)于“有前提推演”和“演繹定理”的表述中,推理規(guī)則又沒有了“ ”。這里存在不一致性或不協(xié)調(diào)性。相比之下,國外的同類教材或著作在表述推理規(guī)則時大都不加“_”,如希爾伯特和阿克曼合著的《數(shù)理邏輯基礎(chǔ)》�！啊奔釉谝粋�公式
[Abstract]:Professor Chen Muze pointed out in his article "generalization rules and restricted deductive Theorems" that some representative textbooks of mathematical logic in China (such as Wang Xianjun's introduction to Mathematical Logic, Peking University Press, 1982), There is a problem with the expression of reasoning rules: as one of the starting points of logic system, reasoning rules (deformed rules) are characterized by symbols. Later, in the description of "deduction with premises" and "deduction theorem", the rule of reasoning was absent. There is inconsistency or inconsistency. By contrast, foreign textbooks or works of the same kind do not include "_" in describing reasoning rules, such as Hilbert and Ackerman's "fundamentals of Mathematical Logic." added to a formula.
【作者單位】： 華南師范大學政法學院
【分類號】：B813

【相似文獻】

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

1 杜岫石;SAP不能換位為PAS嗎?[J];江漢論壇;1982年06期

2 張鳳華;楊群;張慶林;湯永隆;;條件推理中的二元效應初探[J];心理科學;2008年06期

3 歐陽丹彤，劉敘華;關(guān)于strong形RUE－NRF歸結(jié)的反倒[J];計算機學報;1994年05期

4 林尚垣;;謂詞邏輯推理與機器證明[J];安慶師范學院學報(自然科學版);2005年04期

5 霍書全;;推理關(guān)系形式化產(chǎn)生的問題及哲學思考[J];廣東廣播電視大學學報;2006年04期

6 麻昌貴;;“在愚人節(jié)里”的故事不能說明聯(lián)言判斷原理——與彭漣漪、余式厚先生商榷[J];貴州教育學院學報;2008年08期

7 于西昌;譚桂梅;張興芳;;連續(xù)值命題邏輯系統(tǒng)中公式的條件概率真度[J];計算機工程與應用;2009年28期

8 譚桂梅;于西昌;;G銉del命題邏輯中公式概率真度的相似度及偽距離[J];計算機工程與應用;2010年20期

9 于西昌;譚桂梅;;幾種邏輯系統(tǒng)中的概率真度[J];計算機工程與應用;2011年12期

10 于西昌;張興芳;;連續(xù)值命題邏輯中公式的概率真度及相似度[J];計算機工程與應用;2009年24期

相關(guān)會議論文 前10條

1 方毅;;牛頓的哲學推理規(guī)則之思考[A];第二屆中國科技哲學及交叉學科研究生論壇論文集（博士卷）[C];2008年

2 李喜初;;試論《易經(jīng)》符號系統(tǒng)的推理規(guī)則[A];邏輯今探——中國邏輯學會第五次代表大會暨學術(shù)討論會論文集[C];1996年

3 高欣;;基于條件不確定性的不確定推理研究[A];第三屆中國智能計算大會論文集[C];2009年

4 姚旭晨;馬建強;;幾個漢語典型語言現(xiàn)象的范疇語法分析[A];中國計算機語言學研究前沿進展（2007-2009）[C];2009年

5 彭展;;一階謂詞系統(tǒng)的獨立性[A];2004年邏輯研究專輯[C];2004年

6 趙嵐;胡九川;;基于數(shù)據(jù)表的模糊推理規(guī)則生成法[A];模糊集理論與模糊應用專輯——中國系統(tǒng)工程學會模糊數(shù)學與模糊系統(tǒng)委員會第十屆年會論文選集[C];2000年

7 趙新生;高善清;邢立新;許梅生;;炮兵軍用文書智能處理的主要模型及推理規(guī)則[A];計算機模擬與信息技術(shù)會議論文集[C];2001年

8 石翌軼;;基于前向鏈策略的RDF閉包生成技術(shù)研究[A];2008'中國信息技術(shù)與應用學術(shù)論壇論文集（一）[C];2008年

9 郭戈;王偉;柴天佑;;一種模糊方法在結(jié)晶器液位控制中的應用[A];1997中國控制與決策學術(shù)年會論文集[C];1997年

10 張錦文;;推理與計算[A];邏輯學文集[C];1978年

相關(guān)重要報紙文章 前10條

1 丁柱杉;祿豐廟山小學嘗試開設(shè)兒童哲學課[N];楚雄日報(漢);2007年

2 文/高君;網(wǎng)站流量緣何飚升？[N];計算機世界;2004年

3 劉達;GOOGLE百度聯(lián)姻中國搜索堅持“智能化”革命[N];中國經(jīng)營報;2004年

4 黃中;自控科技走向全面智能化[N];中國知識產(chǎn)權(quán)報;2001年

5 馬振兵;加強黨員違紀案件審理報告的說理性[N];鎮(zhèn)江日報;2008年

6 郭韋鈺 丁連紅;語義Web和語義網(wǎng)格[N];中國計算機報;2004年

7 朱林源;判決書“本院認為”部分的寫作探討[N];江蘇經(jīng)濟報;2000年

8 李建會;人工智能：挑戰(zhàn)人類智慧的科學[N];科技日報;2000年

9 丁麗芳;女性管理者在企業(yè)中的作用[N];發(fā)展導報;2003年

10 李樹琦;邏輯推理與科學精神[N];中國社會科學報;2011年

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

1 張忠平;基于約束的XML數(shù)據(jù)庫模式規(guī)范化研究[D];復旦大學;2004年

2 談子敬;XML的完整性約束[D];復旦大學;2003年

3 毛明毅;面向?qū)ο蟮膹V義空間邏輯運算模型與推理研究[D];西北工業(yè)大學;2006年

4 項森;基于邏輯的程序驗證方法在高可信軟件開發(fā)上的應用[D];中國科學技術(shù)大學;2006年

5 華保健;一種用于指針程序安全性證明的指針邏輯[D];中國科學技術(shù)大學;2008年

6 李兆鵬;匯編指針程序安全性驗證的研究[D];中國科學技術(shù)大學;2008年

7 趙華偉;兩種安全協(xié)議形式化理論的研究[D];山東大學;2006年

8 周平;基于格蘊涵代數(shù)的格值邏輯中的近似推理研究[D];西南交通大學;2007年

9 王治綱;分布式環(huán)境中基于本體的RBAC策略研究[D];華中科技大學;2006年

10 王振明;用于指針邏輯的自動定理證明器的設(shè)計與實現(xiàn)[D];中國科學技術(shù)大學;2009年

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

1 左麗娟;基于多Agent技術(shù)的電子商務模擬系統(tǒng)的研究與實現(xiàn)[D];河海大學;2002年

2 孫麗娜;言語交際中的語用推理述評[D];燕山大學;2009年

3 蘇召;XML弱函數(shù)依賴與單依賴集合的研究[D];燕山大學;2007年

4 李明洋;基于本體的教育資源知識點推理研究[D];重慶大學;2009年

5 林暉;專利信息檢索實驗系統(tǒng)的研究與實現(xiàn)[D];北京郵電大學;2009年

6 榮凌燕;XML多值依賴問題的研究[D];燕山大學;2006年

7 王其冰;本體查詢和推理規(guī)則在學科概念建模中的應用[D];華東師范大學;2009年

8 陳莉;基于領(lǐng)域本體的智能搜索系統(tǒng)的研究和應用[D];南京航空航天大學;2008年

9 王梅娟;XML數(shù)據(jù)的規(guī)范化存儲[D];南京師范大學;2007年

10 王立巖;智能型報警處理系統(tǒng)的模型的建立[D];中國電力科學研究院;2006年

，

本文編號：1891841