關(guān)于蘊(yùn)涵的探究.pdf

1、邏輯的發(fā)展離不開蘊(yùn)涵這個(gè)邏輯概念。蘊(yùn)涵以及它所表達(dá)的邏輯關(guān)系在邏輯的發(fā)展中有著重要的地位，它同命題、推理、論證和邏輯規(guī)律都有不可分割的聯(lián)系。在演繹邏輯中蘊(yùn)涵可以說是靈魂。由于蘊(yùn)涵這個(gè)概念十分重要，又由于它具有不同的含義、不同的性質(zhì)、不同的作用，所以有必要對蘊(yùn)涵及其相關(guān)知識進(jìn)行深入的分析，準(zhǔn)確地區(qū)別各種蘊(yùn)涵的相異之點(diǎn)，準(zhǔn)確地掌握各種蘊(yùn)涵的特征。這樣，將有助于在教學(xué)、研究和應(yīng)用中正確地把握它、使用它。蘊(yùn)涵問題是由麥加拉學(xué)派的第奧多魯斯同他的

2、弟子費(fèi)羅在關(guān)于條件命題的真值問題的爭論中首先提出來的，爾后，斯多葛學(xué)派對蘊(yùn)涵問題又加以豐富補(bǔ)充。羅素對蘊(yùn)涵問題做了更為深入的研究，他明確地把蘊(yùn)涵區(qū)分為實(shí)質(zhì)蘊(yùn)涵和形式蘊(yùn)涵兩種類型。由于實(shí)質(zhì)蘊(yùn)涵的前后兩個(gè)命題在內(nèi)容上可以毫不相干，這樣會(huì)產(chǎn)生蘊(yùn)涵怪論，因而受到很多邏輯學(xué)家的批評。為了解決實(shí)質(zhì)蘊(yùn)涵怪論，劉易斯提出了嚴(yán)格蘊(yùn)涵，阿克曼提出了相干蘊(yùn)涵，林邦瑾提出了制約邏輯等等。
　　本文探討了麥加拉—斯多葛學(xué)派的四種蘊(yùn)涵式：費(fèi)羅蘊(yùn)涵式、第奧多魯

3、斯蘊(yùn)涵式、聯(lián)結(jié)蘊(yùn)涵式、包含蘊(yùn)涵式。通過定義、舉例的方法，分析了四種蘊(yùn)涵的作用與意義，并把它們與實(shí)質(zhì)蘊(yùn)涵、形式蘊(yùn)涵、嚴(yán)格蘊(yùn)涵進(jìn)行了對比。論述了實(shí)質(zhì)蘊(yùn)涵與形式蘊(yùn)涵的發(fā)展的進(jìn)程、作用與意義以及存在的缺陷。研究了嚴(yán)格蘊(yùn)涵、相干蘊(yùn)涵、制約關(guān)系產(chǎn)生的原因、準(zhǔn)確的定義以及作用與意義。分析了實(shí)質(zhì)蘊(yùn)涵、形式蘊(yùn)涵、嚴(yán)格蘊(yùn)涵、相干蘊(yùn)涵、制約關(guān)系之間的相互的區(qū)別。通過這些區(qū)別，使人們對這幾種蘊(yùn)涵有一個(gè)清晰的認(rèn)識。探究了蘊(yùn)涵與命題、推理、論證、邏輯規(guī)律的關(guān)系。通