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

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

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

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

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