本文關(guān)鍵詞：客體說(shuō)形式邏輯語(yǔ)用學(xué)淺析

  更多相關(guān)文章： 客體說(shuō)形式邏輯 命題邏輯 語(yǔ)用學(xué) 符號(hào)

【摘要】： 為了達(dá)到確定的目的,在一門(mén)科學(xué)中采用不同于自然語(yǔ)言的人工符號(hào)標(biāo)志的系統(tǒng)稱(chēng)為符號(hào)語(yǔ)言。各門(mén)科學(xué)(如數(shù)學(xué)、物理、化學(xué)等)都有適合于自己的特殊的符號(hào)語(yǔ)言。符號(hào)語(yǔ)言的使用由來(lái)已久。在亞里士多德的邏輯學(xué)中已經(jīng)開(kāi)始使用人工符號(hào),但亞里士多德的傳統(tǒng)邏輯使用符號(hào)是半形式化的,數(shù)理邏輯使用符號(hào)才是形式化的,這就是現(xiàn)代邏輯和傳統(tǒng)邏輯的主要區(qū)別。為了避免自然語(yǔ)言的同義或歧義現(xiàn)象,為了精確、簡(jiǎn)明、方便,更主要的是為了能進(jìn)行嚴(yán)格而又靈巧的演算,在客體說(shuō)形式邏輯中系統(tǒng)地采用了適應(yīng)其研究對(duì)象的符號(hào)語(yǔ)言。客體說(shuō)形式邏輯是得傳統(tǒng)邏輯、數(shù)理邏輯的優(yōu)點(diǎn),而又有自己獨(dú)特的創(chuàng)新的邏輯學(xué)科。就拿命題邏輯來(lái)說(shuō),客體說(shuō)形式邏輯能夠最清楚地刻畫(huà)每一種命題,于是本文著力研究客體說(shuō)形式邏輯里的命題邏輯的語(yǔ)用問(wèn)題。
【關(guān)鍵詞】：客體說(shuō)形式邏輯 命題邏輯 語(yǔ)用學(xué) 符號(hào)
【學(xué)位授予單位】：貴州大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類(lèi)號(hào)】：B812
【目錄】：

• 摘要3
• Abstract3-5
• 前言5-6
• 第一章. 客體說(shuō)形式邏輯及其語(yǔ)用學(xué)6-21
• 第一節(jié). 傳統(tǒng)形式邏輯、數(shù)理邏輯和客體說(shuō)形式邏輯的比較6-14
• 一. 傳統(tǒng)形式邏輯6-9
• 二. 正統(tǒng)數(shù)理邏輯9-11
• 三. 客體說(shuō)形式邏輯11-14
• 第二節(jié). 客體說(shuō)形式邏輯語(yǔ)用學(xué)14-21
• 一. 客體說(shuō)形式邏輯語(yǔ)用學(xué)研究什么14-16
• 二. 客體說(shuō)形式邏輯語(yǔ)用學(xué)1、2、3準(zhǔn)則16-21
• 第二章. 命題的語(yǔ)用淺析21-33
• 第一節(jié). 充分條件假言命題21-27
• 一. 傳統(tǒng)形式邏輯中的充分條件假言命題21-24
• 二. 數(shù)理邏輯中的充分條件假言命題24-25
• 三. 客體說(shuō)形式邏輯的充分條件假言命題25-27
• 第二節(jié). 其它常見(jiàn)命題27-33
• 一. 必要條件假言命題27
• 二. 充分必要條件假言命題27-28
• 三. 盡舉選言命題28-29
• 四. 約合命題29-30
• 五. 外延命題和內(nèi)涵命題30-33
• 第三章. 推理的語(yǔ)用淺析33-41
• 第一節(jié). 推理式和導(dǎo)出式33-34
• 一. 推理和推理式33-34
• 二. 導(dǎo)出和導(dǎo)出式34
• 第二節(jié). 常見(jiàn)的命題邏輯推理34-41
• 一. 充分條件假言推理34-35
• 二. 必要條件假言推理35-36
• 三. 充分必要條件假言推理36-38
• 四. 盡舉選言推理38-41
• 結(jié)語(yǔ)41-42
• 參考文獻(xiàn)42-44
• 致謝44-45
• 文章發(fā)表情況45
• 參加科研情況45-46

【相似文獻(xiàn)】

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

1 高成明;;舞之境界[J];廣東藝術(shù);2010年02期

2 高成明;葉進(jìn);;舞之境界[J];舞蹈;2010年05期

3 ;校(院)學(xué)者風(fēng)采[J];湖南行政學(xué)院學(xué)報(bào);2011年04期

4 史曉艷;;通過(guò)教學(xué)對(duì)極限概念的認(rèn)識(shí)[J];大家;2011年16期

5 張宗艷;;從知性范疇到思辨概念[J];社會(huì)科學(xué)輯刊;2011年04期

6 劉建華;;有關(guān)負(fù)選言判斷的語(yǔ)義解釋[J];青島職業(yè)技術(shù)學(xué)院學(xué)報(bào);2011年03期

7 ;百科全書(shū)式的學(xué)者亞里士多德[J];黨的建設(shè);2010年06期

8 ;最博學(xué)的人:亞里士多德[J];中小企業(yè)管理與科技(中旬刊);2011年08期

9 王煜國(guó);;簡(jiǎn)論老子“道論”與柏拉圖“理念論”[J];絲綢之路;2011年14期

10 蘇德超;;再論“邏輯在先”[J];江蘇社會(huì)科學(xué);2011年04期

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

1 徐川平;;形式邏輯諸因素在編輯工作中的應(yīng)用[A];“新學(xué)科與編輯學(xué)”學(xué)術(shù)研討會(huì)論文集[C];1989年

2 彭漪漣;;簡(jiǎn)評(píng)有關(guān)形式邏輯與辯證邏輯關(guān)系的某些流行觀點(diǎn)[A];1993年邏輯研究專(zhuān)輯[C];1993年

3 張燕京;;王方名與《論形式邏輯問(wèn)題》[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

4 諸葛殷同;;學(xué)習(xí)毛澤東建國(guó)后關(guān)于邏輯的思想的一些體會(huì)[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

5 劉培育;;充足理由律是形式邏輯的基本規(guī)律嗎?[A];邏輯學(xué)文集[C];1978年

6 關(guān)老健;;一種論述方式的變革[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

7 張燕京;;論五六十年代邏輯論爭(zhēng)的歷史影響[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

8 柳昌清;;關(guān)于辯證邏輯與形式邏輯統(tǒng)一的構(gòu)想[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

9 朱波;;論形式邏輯有無(wú)階級(jí)性問(wèn)題[A];邏輯學(xué)文集[C];1978年

10 羅旭;;論案例分析法在警察院�！缎问竭壿嫛方虒W(xué)中的運(yùn)用[A];第十四屆全國(guó)法律邏輯學(xué)術(shù)討論會(huì)論文集[C];2006年

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

1 鄧曉芒 華中科技大學(xué)哲學(xué)系;黑格爾辯證法為形式邏輯奠基[N];中國(guó)社會(huì)科學(xué)報(bào);2009年

2 草廬公;邏輯推斷：打開(kāi)戰(zhàn)爭(zhēng)“黑箱”的第一把鑰匙[N];解放軍報(bào);2004年

3 吉林大學(xué)哲學(xué)社會(huì)學(xué)院 孫利天;一切科學(xué)都是應(yīng)用邏輯[N];中國(guó)社會(huì)科學(xué)報(bào);2011年

4 彭漪漣;邏輯科學(xué)需要進(jìn)行系統(tǒng)反思[N];光明日?qǐng)?bào);2006年

5 本報(bào)記者 賀修平;云大王瑞探究“拉母賽理論”取得實(shí)質(zhì)性突破[N];云南科技報(bào);2009年

6 張明雪 梅巖;比較中西醫(yī)學(xué)認(rèn)知方法的異同[N];中國(guó)中醫(yī)藥報(bào);2006年

7 馮仕亮　本報(bào)記者 張守營(yíng);研究問(wèn)題不能“見(jiàn)大不見(jiàn)小”[N];中國(guó)經(jīng)濟(jì)導(dǎo)報(bào);2009年

8 陳嘉明;“一”與“多”：現(xiàn)代與后現(xiàn)代的知識(shí)觀[N];光明日?qǐng)?bào);2007年

9 天津市第一中級(jí)人民法院 李寶明;論法官的思維[N];天津日?qǐng)?bào);2008年

10 王旭;法律推理與疑難案件[N];人民法院報(bào);2005年

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

1 田忠鋒;形式邏輯前提批判[D];吉林大學(xué);2008年

2 張春良;沖突法的歷史邏輯[D];西南政法大學(xué);2008年

3 黃志強(qiáng);佛教邏輯比較研究[D];中國(guó)人民大學(xué);2002年

4 郭建萍;真與意義的融合與分離之爭(zhēng)的邏輯探究[D];山西大學(xué);2012年

5 劉克蘇;大全若缺[D];中國(guó)人民大學(xué);1998年

6 沈琪;刑法推理方法初論[D];中國(guó)政法大學(xué);2006年

7 李紅婷;7-9年級(jí)學(xué)生幾何推理能力發(fā)展及其教學(xué)研究[D];西南大學(xué);2007年

8 毛天虹;創(chuàng)造視角下的兩種文化交融[D];中國(guó)科學(xué)技術(shù)大學(xué);2008年

9 王一妍;《資本論》方法論研究[D];吉林大學(xué);2009年

10 李春勇;20世紀(jì)中國(guó)的邏輯爭(zhēng)辯與邏輯觀[D];華東師范大學(xué);2002年

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

1 徐大路;從得克薩斯宅到墻宅——海杜克的形式邏輯與詩(shī)意[D];中國(guó)美術(shù)學(xué)院;2010年

2 劉亞;邏輯視角下的幽默語(yǔ)言[D];華中師范大學(xué);2008年

3 李全;藝術(shù)設(shè)計(jì)的形式邏輯[D];天津美術(shù)學(xué)院;2005年

4 肖俊;邏輯思維在法律英語(yǔ)漢譯過(guò)程中的運(yùn)用[D];中南大學(xué);2008年

5 簡(jiǎn)麗;“別說(shuō)”句式研究[D];北京語(yǔ)言大學(xué);2005年

6 趙啟博;高中物理概念教學(xué)的邏輯學(xué)策略[D];東北師范大學(xué);2009年

7 張培;胡塞爾倫理學(xué)思想研究[D];華中科技大學(xué);2007年

8 戴敬周;用Petri網(wǎng)對(duì)語(yǔ)義網(wǎng)絡(luò)歧義性和推理不確定性改進(jìn)的探索[D];太原理工大學(xué);2002年

9 龍婭;當(dāng)代形式邏輯是辯證唯物的科學(xué)[D];貴州大學(xué);2008年

10 尚冠衛(wèi);論觀念攝影的符號(hào)學(xué)特征[D];南京藝術(shù)學(xué)院;2009年

，

本文編號(hào)：1041220