科学家与逻辑学家分析(1)(3)
2016-03-19 01:00
导读:在对于数理逻辑贡献的广泛性和独创性方面,Peirce几乎是无与伦比。与逻辑主义学派的Frege相比,Peirce的特殊贡献不在定理证明方面上,而更多的是在新颖
在对于数理逻辑贡献的广泛性和独创性方面,Peirce几乎是无与伦比。与逻辑主义学派的Frege相比,Peirce的特殊贡献不在定理证明方面上,而更多的是在新颖的逻辑句法系统和基本逻辑概念的精制化发展上。他创造了十多个包括二维句法系统在内的不同逻辑句法系统。把实质条件句算子(在他那里的形式为“—