久久久久精品免费福利电影,国产又黄又大又粗视频,A级毛片免费播放无码,人人妻人人爽人人澡欧美一区

澎湃新聞11月12日消息，11月10日至11日，復(fù)旦大學(xué)哲學(xué)學(xué)院召開了科學(xué)哲學(xué)與邏輯學(xué)系成立大會(huì)暨科學(xué)哲學(xué)與邏輯學(xué)國(guó)際學(xué)術(shù)研討會(huì)。

科學(xué)哲學(xué)與邏輯學(xué)系建系的契機(jī)、意義和愿景

復(fù)旦大學(xué)哲學(xué)學(xué)院院長(zhǎng)孫向晨教授在開幕式上介紹道：“作為建院之初就已確定要建設(shè)的系，新的科學(xué)哲學(xué)與邏輯學(xué)系是原哲學(xué)學(xué)院邏輯學(xué)、科學(xué)技術(shù)哲學(xué)研究力量強(qiáng)強(qiáng)聯(lián)合的產(chǎn)物，它的最大特點(diǎn)是：其一，與傳統(tǒng)的研究相比，專注科學(xué)哲學(xué)、邏輯學(xué)的前沿問題以及與其他各學(xué)科、特別是數(shù)學(xué)和自然科學(xué)的交叉融合，形成教學(xué)、研究新范式；其二，將緊跟世界哲學(xué)發(fā)展趨勢(shì)，爭(zhēng)取出版國(guó)際學(xué)術(shù)刊物，實(shí)現(xiàn)從“Philosophy of”（對(duì)特定領(lǐng)域的哲學(xué)研究）到“Philosophy plus”（哲學(xué)＋）的轉(zhuǎn)變。

孫向晨（本文照片均由于明志提供）

復(fù)旦大學(xué)副校長(zhǎng)陳志敏先生到場(chǎng)致辭，并轉(zhuǎn)達(dá)許寧生校長(zhǎng)的祝賀。他指出，全國(guó)首個(gè)科學(xué)哲學(xué)與邏輯學(xué)系的成立，是復(fù)旦大學(xué)“雙一流建設(shè)”的重要舉措，體現(xiàn)了學(xué)科整合、融合創(chuàng)新的學(xué)校整體發(fā)展方案，也契合世界范圍內(nèi)哲學(xué)學(xué)科本身的發(fā)展趨勢(shì)。當(dāng)前，國(guó)際上出現(xiàn)了基于科學(xué)哲學(xué)與邏輯學(xué)的大量跨學(xué)科研究領(lǐng)域，如科學(xué)認(rèn)知、批判性思維、人工智能等；開設(shè)科學(xué)哲學(xué)與邏輯學(xué)系成為國(guó)際高校的潮流。他期望，順應(yīng)這一大勢(shì)、新生的科學(xué)哲學(xué)與邏輯學(xué)系，能為推動(dòng)哲學(xué)學(xué)院學(xué)術(shù)國(guó)際化建設(shè)、助力復(fù)旦大學(xué)國(guó)際學(xué)術(shù)交流、推動(dòng)中國(guó)人文社會(huì)科學(xué)走向世界做出應(yīng)有的貢獻(xiàn)。

陳志敏

來自南京大學(xué)、中國(guó)人民大學(xué)、清華大學(xué)的科學(xué)哲學(xué)與邏輯學(xué)同仁作為嘉賓致辭。南京大學(xué)數(shù)學(xué)系丁德成教授回顧了邏輯學(xué)、哲學(xué)和數(shù)學(xué)在二十世紀(jì)初的共事：正是由于多學(xué)科對(duì)于可計(jì)算性這一概念的共同討論，才促進(jìn)了圖靈機(jī)的提出，最終導(dǎo)向計(jì)算機(jī)的發(fā)明，對(duì)當(dāng)代世界產(chǎn)生深遠(yuǎn)的影響。

中國(guó)科學(xué)哲學(xué)專業(yè)委員會(huì)理事長(zhǎng)、中國(guó)人民大學(xué)哲學(xué)院劉曉力教授指出，當(dāng)今世界在科學(xué)技術(shù)飛速發(fā)展的過程中，也面臨著一系列的難題與挑戰(zhàn)。歷來關(guān)心自我、他者與宇宙命運(yùn)的哲學(xué)，應(yīng)當(dāng)如馮友蘭先生所言“舊邦新命”，回應(yīng)與思考時(shí)代命題，提出方案。復(fù)旦的科學(xué)哲學(xué)與邏輯學(xué)系，恰逢其時(shí)。

清華大學(xué)科學(xué)史系主任吳國(guó)盛教授談到，聯(lián)合國(guó)早已發(fā)掘科學(xué)哲學(xué)與邏輯學(xué)的親緣關(guān)系，設(shè)立邏輯學(xué)、方法論與科學(xué)哲學(xué)分會(huì)。復(fù)旦建系之舉，創(chuàng)中國(guó)同類平臺(tái)之先，極為重要；同時(shí)，若思考中國(guó)文化在現(xiàn)代社會(huì)中扮演的角色，科學(xué)是不可回避的話題。

《邏輯與形而上學(xué)教科書系列》和《當(dāng)代哲學(xué)問題研讀指針叢書》

最后，科學(xué)哲學(xué)與邏輯學(xué)系主任張志林教授介紹了建系的籌備工作與成果。上溯到直至1956年篳路藍(lán)縷之時(shí)，關(guān)心自然科學(xué)，強(qiáng)調(diào)科學(xué)與哲學(xué)、數(shù)學(xué)與哲學(xué)、邏輯與哲學(xué)之間的關(guān)系就是復(fù)旦哲學(xué)的傳統(tǒng)。2009年以來，科學(xué)哲學(xué)與邏輯系的籌建工作著力推進(jìn)。在師資方面，近年來共引進(jìn)5人，形成14人的教學(xué)研究力量，其中教授8人，副教授4人，講師2人，一半以上的教師具備全英文授課能力。在教學(xué)方面，開設(shè)科哲、邏輯相關(guān)課程，設(shè)立本科哲學(xué)（科學(xué)哲學(xué)與邏輯學(xué)方向）專業(yè)和數(shù)理邏輯學(xué)程等培養(yǎng)計(jì)劃，申報(bào)通過邏輯學(xué)博士點(diǎn)。學(xué)術(shù)活動(dòng)方面，舉辦分析哲學(xué)讀書會(huì)等各類活動(dòng)1700多次，國(guó)際學(xué)術(shù)會(huì)議5次、全國(guó)學(xué)術(shù)會(huì)議17次，編輯出版2套叢書：《邏輯與形而上學(xué)教科書系列》和《當(dāng)代哲學(xué)問題研讀指針叢書》。寄語未來，他希望科學(xué)哲學(xué)與邏輯學(xué)系能夠兼顧分析歐陸，統(tǒng)攝理論實(shí)踐，繼續(xù)落實(shí)哲學(xué)學(xué)院“哲學(xué)+”理念、適應(yīng)跨學(xué)科研究趨勢(shì)、建設(shè)具有國(guó)際視野又不失中國(guó)特色的一流科學(xué)哲學(xué)與邏輯學(xué)學(xué)科。

人工智能，科學(xué)基礎(chǔ)與研究綱領(lǐng)

在開幕式中，諸位致辭者已從各自角度描摹了科學(xué)哲學(xué)與邏輯學(xué)系的整體框架。但是，未來她究竟要關(guān)注哪些具體問題？這些問題又會(huì)與科學(xué)研究、社會(huì)發(fā)展之間產(chǎn)生怎樣的互動(dòng)？主辦方通過三場(chǎng)精心選擇的主題報(bào)告，揭開了神秘面紗之一角。概言之，Huw Price教授談到科學(xué)哲學(xué)與邏輯學(xué)對(duì)人工智能前沿問題的關(guān)心，馮琦教授做出了“邏輯學(xué)作為科學(xué)基礎(chǔ)”這一令人激動(dòng)的跨學(xué)科交叉嘗試，劉闖教授則展現(xiàn)了上述關(guān)涉實(shí)際的研究背后所需要的哲學(xué)基礎(chǔ)工作。

構(gòu)建有益的AI：探索人工智能的社會(huì)影響

普萊斯

劍橋大學(xué)羅素講座教授， Leverhulme 未來智能中心（CFI）主任普萊斯（Huw Price）先生談到科學(xué)哲學(xué)與邏輯學(xué)對(duì)人工智能前沿問題的關(guān)心。他從對(duì)人的觀察開始，論及與智能一道，社會(huì)性是當(dāng)今文明成就的兩個(gè)最重要原因，人類生存在社會(huì)網(wǎng)絡(luò)之中，在其中培育了自我同一性，并歸屬于這樣或那樣的共同體。在哲學(xué)這個(gè)小但卻歷史悠久的共同體中，劍橋大學(xué)教授伯特蘭·羅素是其中優(yōu)秀的一位。除了他眾所周知的在邏輯學(xué)、數(shù)學(xué)和文學(xué)上的成就，羅素也關(guān)心人類的未來命運(yùn)，并致力于消除可能的導(dǎo)致人類滅絕的威脅，如核戰(zhàn)爭(zhēng)等。此種問題意識(shí)相當(dāng)程度上影響到之后的劍橋思想共同體，并擴(kuò)展到整個(gè)學(xué)術(shù)圈。近期，來自英美多所高校的學(xué)者宣告成立CFI，以專注于對(duì)未來AI影響的研究。對(duì)于AI威脅人類的可能，在上世紀(jì)60年代《太空漫游2001》等電影藝術(shù)作品中就已經(jīng)流露出擔(dān)憂的情緒（飛船電腦殺死冬眠中的航天員），但是相關(guān)學(xué)術(shù)性的思考與研究卻遠(yuǎn)未成熟。

普萊斯指出，目前相關(guān)研究的挑戰(zhàn)主要表現(xiàn)在：其一，問題域非常廣泛，但是關(guān)注的人較少；其二，AI的短期和長(zhǎng)期影響都需要注意，不可偏廢；其三，公眾參與仍然不足；其四，研究需要高度跨學(xué)科、跨領(lǐng)域的視角，尤其需要技術(shù)一線人員和政策制定者的參與。他認(rèn)為，面對(duì)困難最好的解決方案，便是從當(dāng)下開始。為此，今年他們提出了五個(gè)主要話題，涉及智能分類、社會(huì)信任、公正、未來責(zé)任、與對(duì)AI的哲學(xué)倫理討論，并在東京、日內(nèi)瓦等地舉辦了多場(chǎng)研討會(huì)。他希望對(duì)于AI的思考，能夠吸引更多包括中國(guó)學(xué)者、公眾在內(nèi)的國(guó)際參與，最終真正將人類命運(yùn)掌握在自己手中。

表征科學(xué)真理的集合論：邏輯學(xué)成果為科學(xué)奠基的嘗試

馮琦

科學(xué)哲學(xué)和邏輯學(xué)這兩個(gè)初看“相去甚遠(yuǎn)”的學(xué)科，為何可以聯(lián)合建系？中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員，中國(guó)科學(xué)院大學(xué)馮琦教授的講座提供了一種利用集合論（邏輯學(xué)的研究子領(lǐng)域）探討科學(xué)基礎(chǔ)的方案，給出了回應(yīng)。

馮琦首先簡(jiǎn)要介紹了集合論的歷史，以及利用集合論扎實(shí)地建立數(shù)學(xué)的基礎(chǔ)這一構(gòu)思的豐富成果。自康托爾提出雛形、羅素悖論后策梅羅等人建立ZFC公理系統(tǒng)以來，一切變得簡(jiǎn)單：通過數(shù)條一般邏輯公理和集合論公理，僅僅運(yùn)用簡(jiǎn)單的二元謂詞符號(hào)∈，就能表現(xiàn)出數(shù)學(xué)中各分支領(lǐng)域的語法、語義結(jié)構(gòu)：首先處理語法，將任何一個(gè)數(shù)學(xué)領(lǐng)域術(shù)語中的常量編碼成集合宇宙的元素，然后運(yùn)用結(jié)構(gòu)的遞歸定義一步步將整個(gè)數(shù)學(xué)結(jié)構(gòu)“翻譯”到集合論結(jié)構(gòu)中。然后處理語義，采用塔斯基的方案遞歸定義該集合論結(jié)構(gòu)的滿足、語義蘊(yùn)涵等概念。在這樣嚴(yán)格的形式化方法處理下，原來復(fù)雜無比的數(shù)學(xué)真理這一概念，可以被轉(zhuǎn)換為在集合論中對(duì)于相等、屬于關(guān)系、存在性的能行的檢測(cè)，如同計(jì)算機(jī)處理問題的模式。

他進(jìn)一步認(rèn)為，這樣的經(jīng)驗(yàn)也可以被復(fù)制推廣到對(duì)科學(xué)真理的形式化中。仿照對(duì)數(shù)學(xué)真理的奠基，表征科學(xué)真理的過程中有三個(gè)關(guān)鍵步驟：其一，澄清科學(xué)真理的元理論假設(shè)，包括科學(xué)探索活動(dòng)的自身特點(diǎn)（如具有特定研究視域、明確的目的性）、科學(xué)共同體的基本共識(shí)等；其二，如同對(duì)于數(shù)學(xué)證明過程的形式化一樣（編者注：利用素?cái)?shù)唯一分解定理對(duì)證明過程做哥德爾編碼），對(duì)于做實(shí)驗(yàn)的過程進(jìn)行形式化，如對(duì)于時(shí)間、質(zhì)量測(cè)量等實(shí)驗(yàn)報(bào)告組成部分的處理，表現(xiàn)出真理不會(huì)因?yàn)闀r(shí)間而變、先有存在再有度量等特征；其三，根據(jù)科學(xué)哲學(xué)，科學(xué)的求真或許永不能達(dá)到最終的真理，而僅僅是一個(gè)逼近的過程，應(yīng)予以表現(xiàn)。

智能與涌現(xiàn)：科學(xué)哲學(xué)與邏輯學(xué)系的具體研究方向展望

劉闖

著名華人科學(xué)哲學(xué)學(xué)者、原美國(guó)佛羅里達(dá)大學(xué)終身教授、現(xiàn)科學(xué)哲學(xué)與邏輯學(xué)系劉闖教授闡述了共同討論后系里教師對(duì)未來七個(gè)主要研究問題域和進(jìn)路的思考。

智能乃第一個(gè)問題域。欲要理解智能，我們需要一個(gè)歷史悠久的概念：因果性。雖然早在1912年，羅素便認(rèn)為它如同君主制般早已過時(shí)，但是1921年基因?qū)W家Sewell Wright的路徑分析（path analysis）方法又將之“復(fù)活”。如今，關(guān)于因果性的結(jié)構(gòu)性理論、或稱貝葉斯因果之網(wǎng)，在各門科學(xué)中都有比較充分的討論。劉闖介紹，將基于數(shù)據(jù)的推理和因果關(guān)系的推理（正式地說，從概率推理得到因果關(guān)系）統(tǒng)合起來，是本系第一項(xiàng)研究方向。

劉闖為心靈這一哲學(xué)上爭(zhēng)論不休的概念下了定義：具備用于信息（被定義為狀態(tài)或事件間的概率依賴）處理的因果網(wǎng)絡(luò)的大腦。在這樣的視閾中，諸如表征、知識(shí)等，都是信息所導(dǎo)致的狀態(tài)或者信念。人類的智能，是此種定義下心靈的產(chǎn)物：處理各種有關(guān)因果關(guān)系和概率的事實(shí)，并從中做出預(yù)測(cè)。在這樣的整體認(rèn)識(shí)之下，將在三個(gè)研究方向上推進(jìn)，來進(jìn)一步探索智能：第一，Dretske對(duì)于自然化的（編者注：一種哲學(xué)觀點(diǎn)。極為粗略地說，它認(rèn)為可以采用類物理學(xué)或其他科學(xué)的方法研究、描述其他在傳統(tǒng)討論中被認(rèn)為是非物理/非科學(xué)的東西。）心靈的構(gòu)想，可以被Pearl關(guān)于因果性的結(jié)構(gòu)理論中提出的模型所細(xì)化。第二，采用共因原則（Principle of the common cause）等方法，理解大腦的預(yù)測(cè)能力。第三，在關(guān)于智能的自然化模型的基礎(chǔ)上，建立真正自然化的知識(shí)論。

涌現(xiàn)（Emergence）乃第二個(gè)問題域。這一部分關(guān)心智能何來，核心主張是：智能很可能是自然出現(xiàn)的現(xiàn)象（intelligence as emergent phenomena）。劉闖談到，為了實(shí)現(xiàn)這一雄心勃勃的目標(biāo)，亦有三個(gè)方面的“分步走”規(guī)劃：其一，從物理系統(tǒng)到化學(xué)系統(tǒng)。在理解某區(qū)域粒子或激發(fā)態(tài)的基礎(chǔ)上，這一方向的關(guān)鍵，是要理解隨機(jī)的相互作用是如何形成長(zhǎng)距有序性的，如三態(tài)變化和化學(xué)元素的產(chǎn)生。其二，從化學(xué)系統(tǒng)到生物系統(tǒng)。過程相似，只不過結(jié)果是生物系統(tǒng)。其三，研究大腦細(xì)胞的集群和智能涌現(xiàn)的聯(lián)系。整個(gè)問題域的研究方法都是牛頓式的 ，從最基礎(chǔ)的物理概念拾階而上。

11日上午，復(fù)旦大學(xué)哲學(xué)學(xué)院黨委書記袁新主持了閉幕式，劉闖教授與張志林教授分別用中英文宣讀了科學(xué)哲學(xué)與邏輯學(xué)系的《倡議書》，提出了科學(xué)哲學(xué)與邏輯學(xué)系未來發(fā)展的方向：希望發(fā)揮中國(guó)科學(xué)哲學(xué)與邏輯學(xué)的優(yōu)秀傳統(tǒng)，加強(qiáng)兩個(gè)學(xué)科的融合，推進(jìn)中國(guó)學(xué)界在科學(xué)哲學(xué)與邏輯學(xué)領(lǐng)域的研究，凝練新的研究方向；加強(qiáng)與科學(xué)界的合作，改革PSL領(lǐng)域的傳統(tǒng)教學(xué)，開辟“哲學(xué)+物理”等跨學(xué)科的專業(yè)；盡快成立東亞科學(xué)哲學(xué)學(xué)會(huì)，出版國(guó)際刊物Philosophy plus Sciences；與會(huì)學(xué)者對(duì)于這個(gè)新成立學(xué)系的發(fā)展寄予了殷切的期望。