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

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

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

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


本文編號(hào)：2920389