莱斯涅夫斯基 Stanistaw Le niewski1886—1939 逻辑学家、数学家。华沙学派的创立者和代表之一。生于俄国的谢尔普霍夫。1912年在里沃夫的波兰大学获得博士学位。1919年起出任华沙大学数学哲学教授。在逻辑上的主要贡献在于构造了主体论(protothetic)、本体论(ontology)和分体论(mereology)三个相互联系的逻辑系统,认为主体论是基础,它在古典逻辑系统中加上命题的外延性定律,除通常推理规则外还有量词规则、定义规则和外延性规则。本体论和分体论是为解决罗素悖论而建立的。他认为悖论的产生不是由于类的混淆,而是由于不能认识到类的表述总是被用得含糊不清所致。本体论和分体论则能阐明这种含糊不清。本体论是关于词项的理论。它是将若干本体论公理加入主体论、并使其规则适合这些公理而构成的。它包括了三段论、同一理论、逻辑代数以及集合和关系的逻辑。分体论是在本体论加上一些分体论公理、并使其规则适应这些公理而得到的。它是关于部分与整体关系的一般理论。还公开批评了把逻辑看成只是符号游戏的纯形式主义者,认为理论最终必须由是否与实际相一致来检验。 |