从记法的观点看逻辑:皮尔士论系词

Viewing Logic from Notation: Peirce on Copula

在某种意义上,逻辑学就是推理的记法体系,记法的不断改进显著推动了逻辑学的发展,特别是现代逻辑的诞生。作为一位终生致力于逻辑记法研究的伟大逻辑学家,皮尔士对于系词记法处理上的持续探索,最为典型地展现了他对于现代逻辑诞生和发展所作出的重要贡献。

In some sense, logic is the notation for reasoning. Improving on the logical notation brings about the rapid development of logic, especially the birth of modem logic. As a great logician devoting his life to research on logical notation, C. S. Peirce worked much for a better notation suitable for copula in logic. This typically exhibits Peirce＇ s contributions to the birth and growth of modem logic.