理論哲學專題：人類思辨過程在自然語言與哲學推理規(guī)則中的應用探究

專業(yè)：人文科學

項目類型：國外小組科研

開始時間：2025年01月25日

是否可加論文：是

項目周期：7周在線小組科研學習+5周不限時論文指導學習

語言：英文

有無剩余名額：名額充足

建議學生年級：大學生 高中生

是否必需面試：否

適合專業(yè)：數(shù)學哲學語言學

地點：無

建議選修：高等數(shù)學綜合：微積分、線性代數(shù)與概率論

建議具備的基礎：高中生/大學生 項目適合對哲學，邏輯學，集合論，悖論，推理規(guī)則學科有所熱忱的學生 對于理論哲學，哲學歷史，邏輯學在其他學科內(nèi)的具體應用等領域感興趣，希望跟隨名校導師深入學習，建立學術(shù)網(wǎng)絡，選擇相關(guān)領域作為未來學術(shù)研究或就業(yè)方向的學生。

產(chǎn)出：7周在線小組科研學習+5周不限時論文指導學習 共125課時 項目報告 優(yōu)秀學員獲主導師Reference Letter EI/CPCI/Scopus/ProQuest/Crossref/EBSCO或同等級別索引國際會議全文投遞與發(fā)表指導（可用于申請） 結(jié)業(yè)證書 成績單

項目背景：哲學是關(guān)于世界觀的學識。哲學是研討全部存在之間籠統(tǒng)的相互關(guān)系的學科。 片面的，客觀的；真實的，虛構(gòu)的，（人/動物）幻想得到的，和（人/動物）幻想不到的的集合組成了全部存在。哲學是籠統(tǒng)，因為全部存在之間都具有籠統(tǒng)的同一，這種籠統(tǒng)的同一是內(nèi)涵結(jié)構(gòu)的籠統(tǒng)同一和外在關(guān)系的籠統(tǒng)同一。正是根據(jù)這種籠統(tǒng)的同一，使我們有可能感覺到全部存在的存在。哲學所要做的就是闡述這種籠統(tǒng)同一的內(nèi)容。邏輯通常指人們思考問題，從某些已知條件動身推出合理的定論的規(guī)則。 說或人邏輯性強，就是說他長于推理，可以得出正確的定論。說或人說話不合邏輯，就是說他的推理不正確，得出了過錯的定論。 邏輯有時也指邏輯學，邏輯學是研討概念、判別和推理的學科，是研討推理規(guī)則的理論。邏輯學分古典邏輯和現(xiàn)代邏輯。 邏輯又有演繹邏輯，歸納邏輯，形式邏輯，非形式邏輯等不同類型。 邏輯推理中的已知條件和定論都是可以判別真假的出題。如果把出題作為最基本的成分，只研討出題推理的規(guī)則，就得到出題邏輯。進一步，把出題再細分為謂詞，量詞就得到謂詞邏輯。 用符號表明出題，謂詞，量詞，得到符號邏輯。符號邏輯常用來研討數(shù)學中的推理，因而也叫數(shù)理邏輯。 二十世紀，數(shù)理邏輯發(fā)展迅速，它的四個首要分支：集合論，模型論，遞歸論，證明論已成為數(shù)學的重要學科?，F(xiàn)代邏輯如模態(tài)邏輯，時態(tài)邏輯，概率邏輯，量子邏輯，模糊邏輯等林林總總的應用邏輯層出不窮。邏輯已經(jīng)成為數(shù)學，哲學，計算機科學，乃至每一門學科的根底。希望讀者謹記： 一，世界是一切發(fā)生的事情。 二，發(fā)生的事情，即事實，就是諸事態(tài)的存在。 三，事實的邏輯圖像是思想。 四，思想是有意義的命題。 五，命題是基本命題的真值函項。 六，真值函項的一般形式是[P， ξ ，N(ξ ) ]。 七，對于不可說的東西我們必須保持沉默。

項目介紹：This seven-week online project-based learning program is closely modelled on logic curricula taught at the University of Cambridge, the University of Oxford and the University of London.  We will discuss the most important logical systems, truth-functional and first-order.  We will also introduce set theory.  Then we will apply these formal systems to philosophical questions, which will be the focus of the research projects.  We will provide philosophical motivation throughout and describe the fruitful applications that these logics have had to reasoning in natural language, mathematical theories and computer science.  We will also discuss a particular mathematical theory, set theory, and its applications to questions about the foundations of mathematics and the concept of infinity.  Those interested in the history of thought will also enjoy the engagement with foundational figures in analytic philosophy, such as Gottlob Frege and Bertrand Russell.
本項目為基于劍橋大學、牛津大學和倫敦大學的哲學實驗室的邏輯哲學專項研究。同時也是牛津大學PPE本科階段的哲學方向必選探討課題。項目中我們將討論邏輯學中最主要的系統(tǒng)：真值函數(shù) （truth-functional）和一階斷言演算（first-order）。我們還將討論一個特定的數(shù)學理論——集合理論（set theory）。然后，學生將學會如何把這些正式系統(tǒng)應用于哲學問題，這也是本研究項目的重點。例如：討論自然語言的基本邏輯，邏輯/邏輯學在計算機科學中的角色，邏輯在數(shù)學中“無限”（Concept of Infinity）概念上的應用，以及集合論的在哲學層面的含義，介紹哲學的思想史，分析哲學的基礎人物與其代表的理論，如Gottlob Frege和Bertrand Russell。

項目大綱：什么是邏輯？邏輯學本質(zhì)導言 What is logic? We discuss the central notions in the philosophy of logic: validity, logical consequence and consistency. We consider the purposes of formal logic and applications to reasoning in everyday life. 什么是“真值函數(shù)” Truth-functional logic We build our first logic: truth-functional logic. We discuss its syntax and semantics, and consider how to formalize English language arguments into it. 什么是“一階斷言演算/一階邏輯” First-order logic We consider the logic that many take to be the correct one. Following the presentation of truth-functional logic, we consider its syntax and semantics, and how to formalize English arguments into it. 數(shù)學中的“集合理論” Set Theory We move away from logics to theories, focusing on one that is said to be the foundation for mathematics. We present a modern theory of sets and consider its applications. 項目回顧和成果展示 Program Review and Presentation 論文輔導 Project Deliverables Tutoring