本文關鍵詞：從邏輯圖到圖示邏輯

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

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

【參考文獻】

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

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

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

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

4 徐冬海;邏輯關系圖示法──歐拉圖、文恩圖與邏輯多角陣及其應用[J];淮陰師專學報;1995年02期

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

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

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

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

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

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

，

本文編號：627644