本文關(guān)鍵詞：從邏輯圖到圖示邏輯

  更多相關(guān)文章： 邏輯圖 歐拉圖 文恩圖 皮爾士-文恩圖 存在圖 圖示邏輯

【摘要】： 邏輯學(xué)是一門較為抽象的研究理論的學(xué)科,為了使抽象的邏輯關(guān)系變得更加形象直觀,更加容易理解,人們在很早的中世紀(jì)就發(fā)明了用圓或封閉曲線的方式來表示古典三段論。這就是邏輯圖的雛形,經(jīng)過漫長的發(fā)展變化,邏輯圖經(jīng)過了萊布尼茨、歐拉、文恩、漢密爾頓和皮爾士等人的應(yīng)用和改變,分別產(chǎn)生了萊布尼茨圖解、歐拉圖、文恩圖、漢密爾頓圖和皮爾士圖等等,從最初的對三段論的簡單描述發(fā)展成了可以表達(dá)邏輯關(guān)系的圖式。因?yàn)閭鹘y(tǒng)邏輯轉(zhuǎn)變?yōu)楝F(xiàn)代邏輯的關(guān)鍵就是建立關(guān)系理論,所以說邏輯圖經(jīng)歷了由傳統(tǒng)邏輯轉(zhuǎn)變成為現(xiàn)代邏輯的過程。 本文按照時(shí)間的先后順序從邏輯的最初形式和應(yīng)用范圍開始,來介紹幾種邏輯圖:歐拉圖、文恩圖、皮爾士文恩圖及皮爾士存在圖及其定義、特點(diǎn)、性質(zhì)、用法,然后通過應(yīng)用舉例來對幾種邏輯圖的圖形形成方式和形成規(guī)則、符號來進(jìn)行對比。通過對幾種邏輯圖的相互之間共同點(diǎn)和差異的分析,從而得到邏輯圖從簡單到復(fù)雜,從低級到高級的發(fā)展過程。用對比的方法找到幾種圖的優(yōu)點(diǎn)和缺點(diǎn),和邏輯圖發(fā)展進(jìn)步的過程,最后產(chǎn)生圖示邏輯,并簡要介紹圖示邏輯國內(nèi)外研究成果和研究現(xiàn)狀,并介紹了一種圖示邏輯的方法,舉例說明圖示邏輯的特點(diǎn)和應(yīng)用。 本文不但總結(jié)了現(xiàn)有研究成果中的各種邏輯圖的特點(diǎn)和應(yīng)用,而且突破性的對幾種比較重要的邏輯圖進(jìn)行了比較研究,還對圖示邏輯的特點(diǎn)和應(yīng)用進(jìn)行了簡單的介紹,并且舉例說明了圖示邏輯的具體應(yīng)用方法,進(jìn)一步推進(jìn)了對圖示邏輯的研究。
【關(guān)鍵詞】：邏輯圖 歐拉圖 文恩圖 皮爾士-文恩圖 存在圖 圖示邏輯
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2009
【分類號】：B812
【目錄】：

• 論文摘要6-7
• ABSTRACT7-10
• 引言10-11
• 一、邏輯圖:從古典到現(xiàn)代11-32
• 1. 歐拉圖11-14
• 2. 文恩圖14-18
• 3. 皮爾士-文恩圖18-20
• 4. 存在圖20-30
• 5. 一些其他的邏輯圖30-32
• 二、各種邏輯圖的比較32-39
• 1. 歐拉圖VS文恩圖32-34
• 2. 文恩圖VS皮爾士-文恩圖34-36
• 3. 皮爾士-文恩圖VS存在圖36-39
• 三、圖示邏輯39-45
• 1. 圖示邏輯的產(chǎn)生與基礎(chǔ)39-40
• 2. 圖示邏輯的理論與方法40-41
• 3. 介紹一個(gè)圖示邏輯41-43
• 4. 圖示邏輯的發(fā)展與應(yīng)用43-45
• 結(jié)語45-46
• 參考文獻(xiàn)46-48
• 后記48

【參考文獻(xiàn)】

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

1 張盛彬;文恩圖與歐拉圖的異同─—《文恩圖解的意義與功能》讀后[J];哈爾濱師專學(xué)報(bào);1995年03期

2 金成j;歐拉圖和文氏圖有何不同[J];湖南教育;1996年06期

3 胡媛媛;;用集合圖形法檢驗(yàn)三段論式有效性——兼論集合圖形法與文恩圖法的比較[J];黃石教育學(xué)院學(xué)報(bào);2006年03期

4 徐冬海;邏輯關(guān)系圖示法──歐拉圖、文恩圖與邏輯多角陣及其應(yīng)用[J];淮陰師專學(xué)報(bào);1995年02期

5 張留華;邏輯圖表的發(fā)展[J];現(xiàn)代哲學(xué);2002年02期

6 劉新文;;邏輯圖:從古典到形式化的發(fā)展[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年04期

7 劉新文;;皮爾士邏輯語義學(xué)思想[J];燕山大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年02期

8 張留華;;論邏輯圖表與邏輯教育[J];云南社會(huì)科學(xué);2006年01期

9 劉新文;圖式邏輯:哲學(xué)邏輯的一個(gè)新分支[J];哲學(xué)動(dòng)態(tài);2004年07期

10 劉新文;;皮爾士存在圖研究[J];世界哲學(xué);2006年01期

，

本文編號：627644