發(fā)布時(shí)間：2017-12-25 11:14

  本文關(guān)鍵詞：論直覺(jué)主義謂詞邏輯的矢列式自然演繹系統(tǒng)　出處：《湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2016年05期 　論文類(lèi)型：期刊論文

  更多相關(guān)文章： 直覺(jué)主義謂詞邏輯 矢列式自然演繹系統(tǒng) 證明策略

【摘要】：達(dá)米特系統(tǒng)地給出了直覺(jué)主義謂詞邏輯的矢列式自然演繹系統(tǒng)N。在此基礎(chǔ)上,我們給出一個(gè)與之等價(jià)的系統(tǒng)NSI,進(jìn)一步探討這兩個(gè)系統(tǒng)的特點(diǎn)和證明策略,比較矢列式自然演繹系統(tǒng)與根岑的自然演繹系統(tǒng)的異同,并評(píng)價(jià)矢列式自然演繹系統(tǒng)的歷史地位和意義。
【作者單位】： 西南大學(xué)邏輯與智能研究中心;貴州工程應(yīng)用技術(shù)學(xué)院邏輯與文化研究中心;
【基金】：中央高�；究蒲袠I(yè)務(wù)費(fèi)專(zhuān)項(xiàng)資金一般項(xiàng)目(SWU1609140) 國(guó)家哲學(xué)社會(huì)科學(xué)基金重大項(xiàng)目(14ZDB016);國(guó)家哲學(xué)社會(huì)科學(xué)基金重點(diǎn)項(xiàng)目(12AZD073)
【分類(lèi)號(hào)】：B812
【正文快照】： 在現(xiàn)代邏輯學(xué)中,自然演繹是一種證明演算,其中,邏輯推理是通過(guò)與“自然的”推理方式密切相關(guān)的推理規(guī)則來(lái)表示;而公理化系統(tǒng)是盡可能地使用公理來(lái)表示演繹推理的邏輯規(guī)律。自然演繹有兩種不同的表現(xiàn)形式即樹(shù)形表示法、順序表示法,而矢列式自然演繹是一種在教科書(shū)中不常見(jiàn)的特

【相似文獻(xiàn)】

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

1 朱建平;;邏輯、邏各斯、定義與自然演繹系統(tǒng)——亞里士多德邏輯的當(dāng)代詮釋[J];燕山大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2013年04期

2 任秋云;假設(shè)的研究情形及其演繹性探究[J];科學(xué)·經(jīng)濟(jì)·社會(huì);1994年03期

3 朱建平;;自然演繹系統(tǒng):亞里士多德的“第二種邏輯”[J];寶雞文理學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2013年01期

4 蕭瑤;;用集合論的方法判定三段論的有效性[J];和田師范專(zhuān)科學(xué)校學(xué)報(bào);2007年05期

5 ;[J];;年期

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

1 易小涵;對(duì)偶基本命題邏輯的自然演繹系統(tǒng)研究[D];西南大學(xué);2015年

，

本文編號(hào)：1332599