本文關(guān)鍵詞：傳統(tǒng)邏輯直言命題推理的擴(kuò)充，由筆耕文化傳播整理發(fā)布。

【摘要】：傳統(tǒng)邏輯的直言推理包涵易被忽略的內(nèi)容,文中力圖揭示這些內(nèi)容;一旦用一階邏輯形式化直言推理以后,在得到精確性的同時(shí),又失去了思維的直覺(jué),對(duì)擴(kuò)展思維方法并無(wú)好處。但這種推理還可以用現(xiàn)代數(shù)學(xué)的圖論進(jìn)行擴(kuò)充,發(fā)掘更多的連通關(guān)系;最后還可以用知識(shí)庫(kù)理論擴(kuò)充,以讓傳統(tǒng)邏輯發(fā)揮更大的作用。
【作者單位】： 蘭州大學(xué)哲學(xué)社會(huì)學(xué)院;
【關(guān)鍵詞】： 直言推理 形式化 謂詞邏輯 有向圖 Prolog語(yǔ)言
【分類號(hào)】：B812
【正文快照】： 一、隱藏的七種關(guān)系直言命題推理處理的是S類與P類之間的外延關(guān)系，這種關(guān)系可用五種歐拉圖來(lái)描述，如圖1，用四個(gè)命題描述為:SAP，SEP，SIP，SOP。這是大家熟悉的知識(shí)�？�，口圖15類與P類之間關(guān)系依據(jù)直言命題的推理規(guī)則，可進(jìn)行熟知的決換推理[‘]，，如下:推理1 SAP*推理2 SE

【共引文獻(xiàn)】

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

1 胡記芳;形式邏輯應(yīng)用題一題多解法探討[J];溫州大學(xué)學(xué)報(bào);1999年04期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 趙敏;我國(guó)現(xiàn)代大學(xué)教師管理制度倫理研究[D];華中科技大學(xué);2007年

【相似文獻(xiàn)】

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

1 林勝?gòu)?qiáng);;思想的形式化 形式化的思想——讀《數(shù)理邏輯的思想和方法》[J];思維與智慧;1993年03期

2 羅仕國(guó);走出形式化的困境[J];河池師專學(xué)報(bào);2003年03期

3 馬希文;有關(guān)“知道”的邏輯問(wèn)題的形式化[J];哲學(xué)研究;1981年05期

4 許梅,劉永富;運(yùn)用語(yǔ)義分析方法重新解決邏輯的判定[J];社會(huì)科學(xué)輯刊;2002年03期

5 樊明亞;;直言邏輯與謂詞邏輯的對(duì)比研究[J];上饒師范學(xué)院學(xué)報(bào);1989年06期

6 李廉;辯證邏輯的“形式化”與“非形式化”[J];哲學(xué)動(dòng)態(tài);1992年08期

7 張小燕,孫學(xué)君;皮亞杰論邏輯認(rèn)識(shí)論[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期

8 朱習(xí)軍;有向圖及其在邏輯上的應(yīng)用[J];泰安師專學(xué)報(bào);1998年06期

9 金順福;關(guān)于辯證邏輯形式化問(wèn)題[J];廣州大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2002年03期

10 杜文靜;;謂詞邏輯在人工智能中的應(yīng)用[J];河南機(jī)電高等�？茖W(xué)校學(xué)報(bào);2006年06期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 劉壯虎;;復(fù)合謂詞的邏輯系統(tǒng)[A];2000年邏輯研究專輯[C];2000年

2 劉壯虎;;幾類性質(zhì)詞的邏輯特征[A];第二屆中國(guó)南北哲學(xué)論壇暨“哲學(xué)的當(dāng)代意義”學(xué)術(shù)研討會(huì)論文集[C];2005年

3 李娜;;我講《數(shù)理邏輯》課程的方法[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

4 劉宗棠;;論辯邏輯的復(fù)興與創(chuàng)新——三論“承認(rèn)”[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

5 陳其樓;潘正華;;謂詞邏輯中有關(guān)函數(shù)及其部分性質(zhì)的形式描述[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

6 孟曉青;;Topos理論的哲學(xué)意義以及辯證法的形式化[A];1994年邏輯研究專輯[C];1994年

7 陳曉平;;也談周延規(guī)則的普適性問(wèn)題[A];1998年邏輯研究專輯[C];1998年

8 胡龍彪;;論建立統(tǒng)一的邏輯科學(xué)體系[A];1997年邏輯研究專輯[C];1997年

9 張金成;;辯證邏輯形式化公理系統(tǒng)ZC[A];1994年邏輯研究專輯[C];1994年

10 毛翊;;鄰域語(yǔ)義學(xué)[A];1994年邏輯研究專輯[C];1994年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前5條

1 辛望旦;悖論的意義與理性形式的演化[N];社會(huì)科學(xué)報(bào);2000年

2 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

3 寧莉娜;從非日常思維的價(jià)值維度看邏輯方法的走向[N];光明日?qǐng)?bào);2004年

4 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢(shì)[N];人民日?qǐng)?bào);2004年

5 王健平;不能缺少人文邏輯[N];浙江日?qǐng)?bào);2004年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 聶大海;語(yǔ)言指稱的同一性與必然性[D];吉林大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 盧海;前謂詞經(jīng)驗(yàn)與一般性判斷的構(gòu)造[D];西北師范大學(xué);2011年

2 孫麗娜;言語(yǔ)交際中的語(yǔ)用推理述評(píng)[D];燕山大學(xué);2009年

3 武慶榮;索引詞研究述評(píng)[D];西南大學(xué);2009年

4 王佳君;CTD悖論研究[D];華東師范大學(xué);2009年

5 劉素姣;一階謂詞邏輯在人工智能中的應(yīng)用[D];河南大學(xué);2004年

6 謝耘;論證概念的理論探究[D];華東師范大學(xué);2006年

7 段宏立;道義邏輯[D];西南大學(xué);2006年

8 文紅峰;論邏輯后承與邏輯真[D];湘潭大學(xué);2008年

9 李彩紅;命題邏輯中廣義MP問(wèn)題的合理解及新型反向三I算法[D];蘭州理工大學(xué);2011年

10 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

  本文關(guān)鍵詞：傳統(tǒng)邏輯直言命題推理的擴(kuò)充，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：493910