發(fā)布時間：2020-12-16 15:32

　　<正> 2003年8月7日至13日,第12屆國際邏輯學、方法論和科學哲學大會(The 12th International Congress of LogicMethodology and Philosophy of Science)在西班牙北部風景秀麗的海濱城市奧維耶多舉行,來自世界各國約600多名學者聚集奧維耶多,參加四年一度的盛會。我國學者邱仁宗、蔡曙山、王巍、蔣勁松等一行四人參加了大會,并應(yīng)邀在大會上作專題報告和宣讀論文。 本次大會分為邏輯學,一般科學哲學,特殊科學中的哲學問題,科學哲學中的倫理、社會和歷史觀點四個部分,每一部分又分為若干主題。邏輯學分為3個主題:數(shù)學邏輯(證明論、遞歸論、模型論、集合論);哲學邏輯(非經(jīng)典邏輯、邏輯和語言、邏輯學基礎(chǔ));邏輯與計算(知識表達和人工智能、計算機驗證、程序語義學、交互證明、計算語言學)。一般科學哲學分為2個主 

【文章來源】：清華大學學報(哲學社會科學版). 2003年06期 北大核心CSSCI

【文章頁數(shù)】：1 頁


本文編號：2920389