清華團(tuán)隊(duì)為一中學(xué)生講授邏輯學(xué)

7月17日上午，清華團(tuán)隊(duì)在一中實(shí)驗(yàn)樓為一中學(xué)生講授了邏輯學(xué)知識(shí)。

鑒于一中同學(xué)們還沒有學(xué)習(xí)集合和命題的相關(guān)知識(shí)，講授者秦丹妮通過(guò)分析一道有趣的題目，引入了一些數(shù)理邏輯的基礎(chǔ)知識(shí)。一中同學(xué)們?cè)谔釂?wèn)互動(dòng)中，不僅積極回應(yīng)，而且回答的思路也比較清晰。

接下來(lái)，她介紹了邏輯學(xué)的簡(jiǎn)史，闡明了傳統(tǒng)邏輯和現(xiàn)代邏輯在思想上是如何一脈相承的。從亞里士多德的一段話開始，向同學(xué)們敘述了邏輯學(xué)中許多重要的定義，并且講授了傳統(tǒng)邏輯相關(guān)的三段論、《工具論》、“三藝”，還有現(xiàn)代邏輯中是如何構(gòu)建形式語(yǔ)言、建立演算的。

在介紹命題的真假性與推理形式的有效性，以及其間的相互獨(dú)立與相互關(guān)聯(lián)時(shí)，一中同學(xué)們?cè)诶斫鈺r(shí)有些許困難，秦丹妮特意放慢速度，舉了很多生動(dòng)的例子幫助一中學(xué)生理解這部分知識(shí)，以打好基礎(chǔ)。（據(jù)清華團(tuán)隊(duì)公眾號(hào)文章改編）