本文選題：演繹 + 歸納��； 參考：《中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2003年S1期

【摘要】：推理的演繹與歸納之分是從推理的導(dǎo)出關(guān)系而言的。推理的結(jié)論為其前提演繹地導(dǎo)出是指:如果推理的前提都為真,那么其結(jié)論為真,而推理的結(jié)論為其前提歸納地導(dǎo)出是指:如果推理的前提都為假,那么其結(jié)論為假。在形式語義學(xué)中,若一組命題演繹地導(dǎo)出一個(gè)命題,則該命題就被定義為該組命題的演繹后承;類似地,若一組命題歸納地導(dǎo)出一個(gè)命題,則該命題可被定義為該組命題的歸納后承。相對(duì)于形式系統(tǒng),“演繹”和“歸納”的涵義如下:形式系統(tǒng)在形式語義下是演繹的,當(dāng)且僅當(dāng)該系統(tǒng)的語法推演關(guān)系等于該語義中的演繹后承關(guān)系;形式系統(tǒng)在形式語義下是歸納的,當(dāng)且僅當(dāng)該系統(tǒng)的語法推演關(guān)系等于該語義中的歸納后承關(guān)系。已經(jīng)證明:形式系統(tǒng)在某形式語義下是歸納的,當(dāng)且僅當(dāng)此系統(tǒng)的鏡像系統(tǒng)在該形式語義的鏡像語義下是演繹的。對(duì)于任何按照某一形式語義建立起來的演繹系統(tǒng),我們都可給出一個(gè)形式語義(它同前一語義具有相同的真值概念),并能按照該形式語義建立起一個(gè)歸納系統(tǒng);反之也成立。演繹系統(tǒng)和歸納系統(tǒng)是一一對(duì)應(yīng)的。
[Abstract]:The deduction and induction of reasoning are based on the derived relationship of reasoning. The conclusion of reasoning deductively means that if the premise of reasoning is true, then the conclusion of reasoning is true, and the conclusion of reasoning is derived from its premise inductively: if the premise of reasoning is false, then its conclusion is false. In formal semantics, if a set of propositions deduce a proposition, then the proposition is defined as the deductive continuation of the set of propositions; similarly, if a set of propositions induces a proposition, Then the proposition can be defined as the inductive inheritance of the set of propositions. Relative to formal system, the meanings of deductive and inductive are as follows: formal system is deductive under formal semantics, if and only if the grammatical deduction of the system is equal to the deductive posthumous relation in the semantic; The formal system is inductive under formal semantics if and only if the grammatical deduction of the system is equal to the inductive posteriori relation in the semantics. It has been proved that the formal system is inductive under some formal semantics if and only if the mirror system of the system is deductive under the mirror semantics of the formal semantics. For any deductive system established according to a form semantics, we can give a formal semantics (it has the same concept of true value as the former one, and can build an inductive system according to that formal semantics; vice versa). Deductive system and inductive system are one-to-one correspondence.
【作者單位】： 華南師范大學(xué)政法學(xué)院
【分類號(hào)】：B812

【參考文獻(xiàn)】

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

1 李小五;何謂現(xiàn)代歸納邏輯[J];哲學(xué)研究;1996年09期

【共引文獻(xiàn)】

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

1 陳燕麗,蔡乾和;淺談傳統(tǒng)歸納邏輯和現(xiàn)代歸納邏輯[J];安康師專學(xué)報(bào);2004年03期

2 劉明明;;推類邏輯:中國古代邏輯的原型(上)[J];畢節(jié)學(xué)院學(xué)報(bào)(綜合版);2006年03期

3 劉明明;;推類邏輯:中國古代邏輯的原型(下)[J];畢節(jié)學(xué)院學(xué)報(bào)(綜合版);2006年05期

4 戚金霞;;高校邏輯學(xué)教學(xué)改革探微[J];畢節(jié)學(xué)院學(xué)報(bào);2009年12期

5 唐玉斌;;論非單調(diào)推理在日常思維中的應(yīng)用[J];畢節(jié)學(xué)院學(xué)報(bào);2011年03期

6 吳堅(jiān);;批判性思維:邏輯的革命[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年05期

7 王建芳;胡世全;;邏輯三段論與司法三段論[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年04期

8 許一飛;;用波普爾科學(xué)發(fā)展模式的內(nèi)在邏輯解讀波普爾學(xué)說[J];長春理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2006年03期

9 楊方亮;素質(zhì)教育、邏輯觀與邏輯現(xiàn)代化[J];重慶大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2001年02期

10 袁正校;;關(guān)于現(xiàn)代邏輯教學(xué)中若干問題的思考[J];重慶工學(xué)院學(xué)報(bào);2006年01期

相關(guān)會(huì)議論文 前5條

1 王京安;賴景生;;二元經(jīng)濟(jì)結(jié)構(gòu)轉(zhuǎn)換的實(shí)質(zhì)與途徑[A];中國西部地區(qū)城鄉(xiāng)協(xié)調(diào)發(fā)展與社會(huì)創(chuàng)新國際學(xué)術(shù)研討會(huì)論文集[C];2006年

2 馬天俊;;馬克思的修辭學(xué)實(shí)踐[A];第五屆馬克思哲學(xué)論壇中國化的馬克思主義哲學(xué)形態(tài)研究會(huì)議論文集（上）[C];2005年

3 熊明;;論歸納的邏輯特征[A];2005年邏輯研究專輯[C];2005年

4 劉明明;;推類的邏輯性質(zhì)——基于“類同理同”觀念的分析[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會(huì)論文集[C];2010年

5 葛宇寧;張四化;;試析法律邏輯的幾個(gè)特殊品質(zhì)[A];法律邏輯與法律思維——第十七屆全國法律邏輯學(xué)術(shù)討論會(huì)交流論文[C];2009年

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

1 宋誠摯;中醫(yī)學(xué)的思維模式[D];黑龍江中醫(yī)藥大學(xué);2001年

2 費(fèi)多益;論科學(xué)的合理性[D];中國社會(huì)科學(xué)院研究生院;2001年

3 焦寶乾;法律論證理論研究[D];山東大學(xué);2005年

4 姚志強(qiáng);演繹推理中信念偏差效應(yīng)的研究[D];南京師范大學(xué);2005年

5 朱良好;法律適用類型歸屬技術(shù)范式研究[D];山東大學(xué);2007年

6 苗正達(dá);俄羅斯社會(huì)變遷中的憲政邏輯[D];吉林大學(xué);2007年

7 朱德才;刑法理性構(gòu)造研究[D];華東政法大學(xué);2008年

8 張立娜;個(gè)體詞的邏輯語義[D];清華大學(xué);2007年

9 龐慶舉;教育學(xué)的人性假設(shè)與理論構(gòu)建的關(guān)系初探[D];華東師范大學(xué);2008年

10 謝閩;和諧的成本[D];江西財(cái)經(jīng)大學(xué);2005年

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

1 畢薇;傳統(tǒng)德育的歷史局限及轉(zhuǎn)型研究[D];遼寧師范大學(xué);2010年

2 鄭大偉;刑法適用中的類比推理研究[D];中國政法大學(xué);2010年

3 孫華程;言說的邏輯與沉默之域[D];西南師范大學(xué);2002年

4 施群麗;真之收縮論研究[D];華南師范大學(xué);2003年

5 焦志偉;決策過程中的邏輯應(yīng)用[D];河南大學(xué);2003年

6 張高宏;亞里士多德的存在學(xué)及其對(duì)海德格爾的影響[D];四川大學(xué);2003年

7 馬前進(jìn);科恩歸納支持理論研究[D];華中師范大學(xué);2004年

8 榮立武;語言與邏輯——維特根斯坦前期哲學(xué)研究[D];中南大學(xué);2004年

9 車樹國;中學(xué)體育與健康校本網(wǎng)絡(luò)課程研究與開發(fā)[D];南京師范大學(xué);2004年

10 王舸;事實(shí)推理構(gòu)造論[D];中國政法大學(xué);2005年

【相似文獻(xiàn)】

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

1 夏年喜;為歸納再辯護(hù)──兼評(píng)波普爾的演繹觀[J];首都師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1998年02期

2 梁聘唐;對(duì)歸納問題的答辯[J];鄭州大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2002年01期

3 趙哈黎,李英楠;談?wù)J識(shí)論視角中的歸納與演繹[J];哈爾濱市委黨校學(xué)報(bào);2002年06期

4 曹劍波;歸納與演繹的理論前提[J];柳州師專學(xué)報(bào);2001年01期

5 楊信川;訓(xùn)詁的邏輯方式[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1998年05期

6 劉禮進(jìn);;關(guān)于語言的本質(zhì)——三種語言哲學(xué)觀點(diǎn)述評(píng)[J];外國語言文學(xué);2010年01期

7 王浩;張尚水;;元邏輯[J];世界哲學(xué);1979年03期

8 段軒如;技術(shù)創(chuàng)新中的邏輯構(gòu)想[J];山東社會(huì)科學(xué);2002年05期

9 曹志平;論解釋學(xué)視野中的科學(xué)文本[J];復(fù)旦學(xué)報(bào)(社會(huì)科學(xué)版);2003年05期

10 倪蔭林;;邏輯本體問題新探[J];甘肅理論學(xué)刊;2005年06期

相關(guān)會(huì)議論文 前10條

1 石文華;宋云京;;基于認(rèn)知規(guī)律講授程序設(shè)計(jì)語言課程[A];2005全國計(jì)算機(jī)程序設(shè)計(jì)類課程教學(xué)研討會(huì)論文集[C];2005年

2 張立英;周北海;;基于主謂項(xiàng)涵義聯(lián)系的概稱句推理的幾個(gè)邏輯[A];2004年邏輯研究專輯[C];2004年

3 張錦文;;一種弗晰邏輯的形式系統(tǒng)[A];全國邏輯討論會(huì)論文選集[C];1979年

4 莫毓昌;劉宏偉;左德承;楊孝宗;;FTCL：面向Statechart描述的測(cè)試用例集自動(dòng)生成工具(英文)[A];第五屆中國測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

5 王陽;;模態(tài)邏輯·形式語義·文本符號(hào)[A];2003年邏輯研究專輯[C];2003年

6 莫紹揆;;歸納推理的形式系統(tǒng)[A];1994年邏輯研究專輯[C];1994年

7 劉忠;王成道;;基于漢語語意形式系統(tǒng)的符號(hào)化研究[A];第六屆全國計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2002年

8 黃敏;;用推導(dǎo)法演繹檔差[A];2005現(xiàn)代服裝紡織高科技發(fā)展研討會(huì)論文集[C];2005年

9 李文健;;形式化的涵義及其認(rèn)識(shí)論本質(zhì)[A];1993年邏輯研究專輯[C];1993年

10 張志勇;;從當(dāng)代計(jì)算機(jī)的發(fā)展看什么是邏輯[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

相關(guān)重要報(bào)紙文章 前10條

1 記者 謝慧敏;鄂湘旅游演繹“一家親”[N];湖北日?qǐng)?bào);2010年

2 本報(bào)記者 馮義軍;劉玉明：演繹基礎(chǔ)與發(fā)展之美[N];中國電力報(bào);2010年

3 王城長　鐘經(jīng)賢 李鑫;長沙邵商 湘土上演繹“圈”文化[N];經(jīng)理日?qǐng)?bào);2011年

4 賀宛男;重組市場(chǎng)演繹“國進(jìn)民退”[N];財(cái)經(jīng)時(shí)報(bào);2002年

5 滬光電;用燈光演繹“城市讓生活更美好”的理念[N];消費(fèi)日?qǐng)?bào);2010年

6 嚴(yán)冰　劉明鑫;大交通演繹中國速度[N];人民日?qǐng)?bào)海外版;2010年

7 占坤;演繹北非沙漠幻影[N];中國服飾報(bào);2010年

8 本報(bào)記者 范寧　煙成群;百姓生活演繹三重“變奏”[N];河北經(jīng)濟(jì)日?qǐng)?bào);2010年

9 記者 張四代　吳俊生;化肥出口演繹“鷸蚌相爭(zhēng)”？[N];農(nóng)資導(dǎo)報(bào);2011年

10 赤擇遠(yuǎn);上半年融資額世界居首深交所演繹深圳奇跡[N];證券日?qǐng)?bào);2010年

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

1 鄭虹;DNA計(jì)算的若干應(yīng)用及形式語義[D];吉林大學(xué);2012年

2 吳毅堅(jiān);面向網(wǎng)格服務(wù)的軟件體系結(jié)構(gòu)建模及演化研究[D];復(fù)旦大學(xué);2006年

3 李晶;Web事務(wù)的建模及其語義分析[D];華東師范大學(xué);2008年

4 韓守鵬;分布式仿真系統(tǒng)動(dòng)態(tài)重構(gòu)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2007年

5 劉新文;系統(tǒng)Z的量化擴(kuò)張及其對(duì)話語表現(xiàn)理論的處理[D];中國社會(huì)科學(xué)院研究生院;2002年

6 劉華;面向域的快速造型技術(shù)研究[D];浙江大學(xué);2007年

7 趙也非;動(dòng)態(tài)UML子圖的形式語義研究[D];華東師范大學(xué);2010年

8 楊瀟瀟;框架時(shí)序邏輯程序語言MSVL的形式語義[D];西安電子科技大學(xué);2009年

9 王兵;邏輯進(jìn)程范型的形式語義、算法評(píng)估及其在空間隨機(jī)仿真中的應(yīng)用[D];國防科學(xué)技術(shù)大學(xué);2011年

10 傅朝陽;面向?qū)崟r(shí)任務(wù)求解的自治服務(wù)協(xié)同模型、形式語義及其驗(yàn)證[D];浙江大學(xué);2010年

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

1 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

2 王玉玲;企業(yè)安全文化形式系統(tǒng)及其評(píng)價(jià)系統(tǒng)研究[D];首都經(jīng)濟(jì)貿(mào)易大學(xué);2006年

3 朱梅霞;基于XYZ/E的UML2.0順序圖的時(shí)序邏輯語義描述研究[D];青島大學(xué);2007年

4 劉萬春;主動(dòng)服務(wù)構(gòu)件關(guān)系研究及智能化可視化組裝[D];武漢理工大學(xué);2009年

5 陶正;基于CSP形式語義的構(gòu)件組裝研究[D];解放軍信息工程大學(xué);2006年

6 黃晶晶;機(jī)會(huì)發(fā)現(xiàn)的形式描述與形式建模的研究[D];哈爾濱工程大學(xué);2007年

7 韓波;不完全信息數(shù)據(jù)庫研究[D];南京航空航天大學(xué);2003年

8 周引莉;王安憶對(duì)中國古典美學(xué)的當(dāng)代演繹[D];廣西師范大學(xué);2005年

9 董學(xué)陽;本體演化的表示方法及其驗(yàn)證[D];吉林大學(xué);2012年

10 國玲;演繹泥性[D];青島大學(xué);2006年

，

本文編號(hào)：1875746