Leśniewski's \textit{characteristica universalis} (Q987477)

The author aims to explain why the well-known deviations of Leśniewski's systems from standard logic in some basic features should be there. She argues that Leśniewski built his systems being inspired by a dream close to Leibniz's \textit{characteristica universalis} -- a perfect system of deductive theories encoding our knowledge of the world, based on a perfect language. Her main claim is that Leśniewski's systems conform to an astounding degree with the conditions of the Classical Model of Science set forth by \textit{W. R. de Jong} and the author in [``The classical model of science: a millennia-old model of scientific rationality'', Synthese 174, No.~2, 185--203 (2010; Zbl 1200.03007)]. The paper does not contain mathematical results. Reviewer's remark: Though Leśniewski's systems are analysed in the paper under review from the point of view of several postulates of the Classical Model of Science, none of these is stated there explicitly. The interested reader should consult the cited paper.