The development of symbolism in logic and its philosophical background

DOI10.1007/PL00009901MaRDI QIDQ1897478zbMATH OpenFDO

Authors Roman Murawski, Thomas Bedürftig

Publication date 4 November 1996

Published in Mathematische Semesterberichte (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00009901

zbMATH Keywords

algebraization of logicAristotlecombinatory logicLeibnizlogical formalismLullusmathematical symbolismPeano's symbolismPolish notationRussellscholastic logiciansSchönfinkelsurveytwo-dimensional logical symbolism of Frege

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Review text

Suitable formalisms are of primary importance for many fields of mathematics and logic. Starting from some sketchy remarks on the development of mathematical symbolism, the authors give a short explanation of the early logical formalism from Aristotle via the scholastic logicians and Lullus till Leibniz and his idea of characteristica universalis. Then they take a closer look at Boole and de Morgan and their algebraization of logic, continue with explaining Peano's symbolism and his tendency toward a total symbolization of mathematics, mention the influence of Russell, discuss the two-dimensional logical symbolism of Frege, describe the principles of the Polish notation, and close their survey with a consideration of the notation of Schönfinkel which led to the notation of combinatory logic. A few philosophical remarks close this interesting survey.

Recommendations

• On universality and formality in 19th century symbolic logic: the case of Schröder's ``absolute algebra
• The development of mathematical logic
• scientific article; zbMATH DE number 3205442
• scientific article; zbMATH DE number 1163360
• scientific article; zbMATH DE number 2171654

Cited in

(14)

• Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship
• Whitehead's early philosophy of mathematics and the development of formalism
• scientific article; zbMATH DE number 3889465 (Why is no real title available?)
• scientific article; zbMATH DE number 3851013 (Why is no real title available?)
• The development of mathematical logic
• The brothers james and john bernoulli on the parallelism between logic and algebra
• scientific article; zbMATH DE number 1314920 (Why is no real title available?)
• Making sense of solly’s syllogistic symbolism
• Introduction: History and philosophy of logical notation
• The debate on symbolic logic in Oxford at the end of the nineteenth century: the logical disputes of Lewis Carroll and John Cook Wilson
• Erhard Weigel's Contributions to the Formation of Symbolic Logic
• On universality and formality in 19th century symbolic logic: the case of Schröder's ``absolute algebra
• Peano on symbolization, design principles for notations, and the dot notation
• Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’

This page was built for publication: The development of symbolism in logic and its philosophical background

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