Leśniewski's \textit{characteristica universalis}

DOI10.1007/S11229-008-9423-6MaRDI QIDQ987477zbMATH OpenOpenAlexFDO

Authors Arianna Betti

Publication date 13 August 2010

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/s11229-008-9423-6

zbMATH Keywords

axiomaticscharacteristica universalisclassical model of scienceLeśniewski's systems

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10)

Review text

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.

Recommendations

• Leśniewski's conception of logic
• scientific article; zbMATH DE number 4012580
• Leśniewski's systems of logic and foundations of mathematics
• Reasoning on a tight budget: Lesniewski's nominalistic metalogic
• Leśniewski's logical systems

Cites work

• Aristotle's prohibition rule on kind-crossing and the definition of mathematics as a science of quantities
• Frege's \textit{Begriffsschrift} as a lingua characteristica
• scientific article; zbMATH DE number 193520 (Why is no real title available?)
• The classical model of science: a millennia-old model of scientific rationality
• The logical systems of Lesniewski
• The name solid as primitive in projective geometry

Cited in

(2)

• Leśniewski on metalogic and definitions
• Recent successes with a meta-logical approach to universal logical reasoning (extended abstract)

This page was built for publication: Leśniewski's \textit{characteristica universalis}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987477)