日前，由清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心、清華大學(xué)人文學(xué)院哲學(xué)系聯(lián)合主辦的金岳霖學(xué)術(shù)講座在清華大學(xué)舉行。德國(guó)慕尼黑大學(xué)哲學(xué)講席教授、著名邏輯學(xué)家漢內(nèi)斯·萊特格布應(yīng)邀主講。
首場(chǎng)講座主題為“重振邏輯經(jīng)驗(yàn)主義”，由清華大學(xué)哲學(xué)系教授劉奮榮主持。萊特格布指出，盡管20世紀(jì)初的邏輯經(jīng)驗(yàn)主義因過(guò)度強(qiáng)調(diào)經(jīng)驗(yàn)與形式邏輯、忽視文化與實(shí)踐而受到批評(píng)，但這一傳統(tǒng)仍具當(dāng)代價(jià)值。他提出“理性重建”概念，主張通過(guò)分析語(yǔ)言、行為、信念等文化現(xiàn)象中的理性與非理性成分，使其可理解、評(píng)判與改造。在此基礎(chǔ)上，他提出“概念框架”理論，涵蓋邏輯、語(yǔ)義、信息結(jié)構(gòu)等理性要素，并強(qiáng)調(diào)建構(gòu)原則應(yīng)包括寬容性、分析性、先驗(yàn)性與可驗(yàn)證性。他認(rèn)為，形而上學(xué)應(yīng)作為框架內(nèi)的系統(tǒng)建構(gòu)予以重估，而非被排斥。
第二場(chǎng)講座主題為“認(rèn)知理由的加性邏輯：一種公理化闡述”，由清華大學(xué)金岳霖講席教授范丙申主持。萊特格布構(gòu)建了一個(gè)形式邏輯系統(tǒng)，用于刻畫(huà)支持信念的“理由”及其強(qiáng)度。這一系統(tǒng)區(qū)分直接理由與信念理由，并引入一種新的函數(shù)機(jī)制，描述理由如何促使人們修正信念。該模型將信念表達(dá)為主觀(guān)概率，并通過(guò)貝葉斯視角建構(gòu)“理由累加”的邏輯機(jī)制，提供了一種連接哲學(xué)認(rèn)知理由理論與形式知識(shí)論的橋梁。
第三場(chǎng)講座主題為“哲學(xué)邏輯、邏輯哲學(xué)與數(shù)學(xué)哲學(xué)的新趨勢(shì)”，由清華大學(xué)金岳霖講席教授司馬亭主持。萊特格布結(jié)合自身正在進(jìn)行的研究，展示當(dāng)前三個(gè)新趨勢(shì)：在邏輯推理主義部分，認(rèn)為推理規(guī)則只有在可還原為經(jīng)典二階邏輯中的顯式定義時(shí)，才能有效定義邏輯算子；在邏輯主義部分，他提出一個(gè)邏輯主義框架，使數(shù)學(xué)術(shù)語(yǔ)與定理可由邏輯語(yǔ)言推導(dǎo)，并以集合論為例說(shuō)明；在條件句邏輯部分，他提出結(jié)合可能世界距離與排序的“相干理論”，用于更準(zhǔn)確刻畫(huà)條件句的語(yǔ)義結(jié)構(gòu)。
據(jù)悉，漢內(nèi)斯·萊特格布出生于奧地利，先后在薩爾茨堡大學(xué)獲得數(shù)學(xué)和哲學(xué)兩個(gè)博士學(xué)位。2010年，他獲得洪堡教席，并在慕尼黑大學(xué)創(chuàng)立了數(shù)理哲學(xué)中心。憑借其在邏輯學(xué)、語(yǔ)言哲學(xué)、數(shù)學(xué)哲學(xué)等領(lǐng)域的杰出貢獻(xiàn)，2025年他被授予享有盛譽(yù)的萊布尼茨獎(jiǎng)。
據(jù)悉，“金岳霖學(xué)術(shù)講座”以中國(guó)著名哲學(xué)家和邏輯學(xué)家金岳霖的名字命名，旨在傳承和發(fā)揚(yáng)金岳霖先生在清華開(kāi)創(chuàng)的邏輯學(xué)傳統(tǒng)。2015年起，該講座每?jī)赡昱e辦一次，先后邀請(qǐng)了眾多知名學(xué)者來(lái)清華大學(xué)來(lái)訪(fǎng)交流。
編輯：李華山
