本文關(guān)鍵詞：全稱(chēng)概括規(guī)則和受限制的演繹定理——國(guó)內(nèi)數(shù)理邏輯教材中的一個(gè)問(wèn)題

  更多相關(guān)文章： 全稱(chēng)概括規(guī)則 分離規(guī)則 演繹定理 推理規(guī)則 邏輯教材 數(shù)理邏輯 一階邏輯 規(guī)則定義 保真性 受限制

【摘要】：正事情本來(lái)是怎樣的?在國(guó)內(nèi)數(shù)理邏輯教材較為常用的一階邏輯系統(tǒng)中,有兩條推理規(guī)則。一條是分離規(guī)則,另一條可稱(chēng)為全稱(chēng)概括規(guī)則。這兩條規(guī)則,存在著一個(gè)實(shí)質(zhì)性的區(qū)別。據(jù)分離規(guī)則,從A和A→B,可以得到B,這里,A和A→B不要求在系統(tǒng)內(nèi)可證;據(jù)全稱(chēng)概括規(guī)則,從A可以得到xA,這里,A
【作者單位】： 中國(guó)人民大學(xué)哲學(xué)院;中國(guó)邏輯學(xué)會(huì);
【關(guān)鍵詞】： 全稱(chēng)概括規(guī)則 分離規(guī)則 演繹定理 推理規(guī)則 邏輯教材 數(shù)理邏輯 一階邏輯 規(guī)則定義 保真性 受限制
【分類(lèi)號(hào)】：B811
【正文快照】： 事情本來(lái)是怎樣的?在國(guó)內(nèi)數(shù)理邏輯教材較為常用的一階邏輯系統(tǒng)中,有兩條推理規(guī)則。一條是分離規(guī)則,另一條可稱(chēng)為全稱(chēng)概括規(guī)則。這兩條規(guī)則,存在著一個(gè)實(shí)質(zhì)性的區(qū)別。據(jù)分離規(guī)則,從A和A→B,可以得到B,這里,A和A→B不要求在系統(tǒng)內(nèi)可證;據(jù)全稱(chēng)概括規(guī)則,從A可以得到xA,這里,A應(yīng)當(dāng)

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 張忠義;;因明的“合離”與“分離規(guī)則”[J];社會(huì)科學(xué)戰(zhàn)線(xiàn);1992年03期

2 余俊偉;形式系統(tǒng)的可靠性和完全性問(wèn)題[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期

3 熊明輝;;自然語(yǔ)言論證評(píng)價(jià)的邏輯分析[J];哲學(xué)研究;2006年10期

4 張莉敏;;國(guó)外非單調(diào)道義邏輯研究探析[J];學(xué)術(shù)論壇;2008年09期

5 劉新文;;命題邏輯的證偽系統(tǒng)[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2011年03期

6 熊明輝;;論證評(píng)價(jià)的非形式邏輯模型及其理論困境[J];學(xué)術(shù)研究;2007年09期

7 宋偉;;一種命題形式系統(tǒng)的等價(jià)性證明[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2009年06期

8 劉新文;;皮爾士存在圖的形式推演系統(tǒng)[J];畢節(jié)學(xué)院學(xué)報(bào);2011年05期

9 劉奮榮;全國(guó)現(xiàn)代邏輯學(xué)術(shù)研討會(huì)綜述[J];哲學(xué)動(dòng)態(tài);2002年10期

10 杜珊;;評(píng)三值邏輯SLO[J];科學(xué)文化評(píng)論;2006年04期

，

本文編號(hào)：897893