科學探究推理研究.pdf

1、杜威關于科學探究模式的分析可簡化為“數(shù)據(jù)-假設-結(jié)論”的過程，從數(shù)據(jù)到假設中使用的推理模式包括各種歸納推理和溯因推理，從假設到結(jié)論的檢驗過程使用的推理模式是演繹推理，它包括單調(diào)演繹推理和非單調(diào)演繹推理?；趯Ω鞣N推理類型的重新研究，運用動態(tài)認知邏輯的觀念、技術和方法，我們從信息輸入和輸出的角度對它們做出認知解釋。
　　 利用現(xiàn)代邏輯的技術和方法，我們對歸納推理類型重新進行了研究，清除了形似歸納推理、實則演繹推理的推理類型，并且從

2、模態(tài)角度分析了真正的歸納推理的或然性。特別是，我們借助當代模態(tài)邏輯中的混合邏輯，對穆勒五法重新進行研究，從形式上對穆勒歸納推理進行了刻畫。借用當代動態(tài)認知邏輯中的模型更新的方法，我們對各種歸納推理形式進行了認知分析，構(gòu)造了認知模型，說明了歸納推理的特征。這種方法的實質(zhì)是從所涉及命題的真值情況出發(fā)，根據(jù)輸入信息不斷刪除狀態(tài)，最終確立結(jié)論的可能性的過程。最后，我們還探討了歸納推理的認知價值。
　　 溯因推理是從數(shù)據(jù)達到假設的另一類獨

3、特的推理模式。對于這類推理，我們從命題邏輯、三段論和謂詞邏輯等三個方面，區(qū)分了不同類型的溯因推理。命題溯因推理模式主要涉及蘊涵詞的使用，然而借助命題邏輯中的定義，也可以對其它命題聯(lián)結(jié)詞在溯因推理中的運用進行分析。三段論有A、E、I、O等四種基本的命題形式，我們也分析了使用這四種形式的命題所進行的溯因推理。從現(xiàn)代謂詞邏輯的角度看，三段論溯因推理可以轉(zhuǎn)化為謂詞邏輯中的溯因推理。我們還分析了溯因推理中涉及的時態(tài)、因果等等模態(tài)概念。從信息輸入和

4、輸出的角度，構(gòu)造了各種不同類型的溯因推理的認知模型，反映了溯因推理中信息的動態(tài)變化以及溯因推理的或然性特征。
　　 對于作為科學探究的中間階段的科學假設，我們對假設的定義、一般特征、模式、類型等方面進行了探討。進一步對胡適和波普爾的假設觀進行對比分析，論述了科學假設的認知意義。最后，我們從科學假設與提高認知水平、培育創(chuàng)新思維、促進探究活動科學化、逼近科學真理等方面探討了科學假設的認知功能?？茖W假設作為歸納或溯因推理的終點，它也是

5、從假設到結(jié)論的起點。假設的科學性直接影響到科學探究的成敗，在科學探究中具有極其重要的地位。
　　 從假設到結(jié)論的科學探究活動使用演繹推理。演繹推理分為單調(diào)演繹推理和非單調(diào)演繹推理，前者在科學家探究活動中起重要作用，而后者則在日常生活的科學探究中起重要作用。我們梳理了兩類演繹推理的特征，然后利用動態(tài)認知邏輯中的模型更新方法，說明演繹推理中信息的動態(tài)變化。演繹推理過程本質(zhì)上就是輸入的前提所包含的信息的動態(tài)變化過程。對于非單調(diào)演繹推理