清華舉辦邏輯學(xué)國際會議
來源:中國科學(xué)報 2013-10-17 溫才妃
日前,邏輯學(xué)國際會議“跨越大學(xué)的邏輯學(xué):基礎(chǔ)與應(yīng)用”在清華大學(xué)開幕。會議由清華人文學(xué)院哲學(xué)系主辦。60余位境內(nèi)外學(xué)者分享了邏輯學(xué)與交叉學(xué)科的最新研究成果。
會議的議題圍繞著與邏輯學(xué)相關(guān)的學(xué)科交叉,如邏輯與哲學(xué)、邏輯與認(rèn)知、邏輯與計算、邏輯與社會科學(xué)(經(jīng)濟(jì)學(xué)和法律)等。清華交叉信息學(xué)院院長姚期智從邏輯與計算機(jī)科學(xué)的聯(lián)系出發(fā),指出邏輯在計算機(jī)學(xué)科中的重要性。牛津大學(xué)教授阿布來姆斯基在他的報告中討論了量子邏輯和數(shù)據(jù)庫的最新研究成果。
會議組織者清華哲學(xué)系教授劉奮榮、范丙申表示,此次會議展示了邏輯學(xué)領(lǐng)域最高水平的學(xué)術(shù)進(jìn)展,在中國具有開拓意義。