学术沙龙预告｜皮尔士与逻辑史

马明辉教授（中山大学）

报告：一元存在图：逻辑与代数

Monadic Existential Graphs: Logic and Algebra

报告简介：

皮尔士的存在图在逻辑史上具有非常独特的地位，存在图是关于存在量词的图形构造。结合皮尔士的逻辑图理论以及图演的发展，我们可以选取一元存在图作为研究对象，从而建立一元谓词逻辑的图演算，它由若干图变换规则组成。这个演算的代数就是哈莫斯（Paul Halmos）创立的一元布尔代数。因此，可以把一元存在图看作研究一元布尔代数的工具，它提供了深度推理系统。

江璐（中山大学）

报告：皮尔士logica utens和logica docens之分的逻辑史根源

The predecessors of Peirce’s distinction between logica utens and logica docens in the history of logic

Francesco Bellucci 教授（意大利博洛尼亚大学）

报告：皮尔士的康德式构造概念

Peirce's Kantian Notion of Construction

Ahti-Veikko Pietarinen教授（香港浸会大学）

报告：皮尔士和逻辑史：回顾和展望

Peirce and the history of Logic:Review and Prospect