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

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

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

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