Repository | Book | Chapter
(2015) The road to universal logic I, Basel, Birkhäuser.
On universality and formality in 19th century symbolic logic
the case of Schröder's "absolute algebra"
Javier Legris
pp. 351-359
This paper deals with conceptions of formality underlying 19th century symbolic logic, where notations and manipulation of signs played an important role. It is devoted specifically to the case of Ernst Schröder's "formal algebra", which extended with the algebra of relatives (as developed by C.S. Peirce) constituted the basis for a Pasigraphy as a universal notation system. The discussion will begin with the well-known distinction devised by Gottlob Frege between two sorts of formal theories. In the paper, both conceptions of formality will be connected with the corresponding attempts of constructing universal scientific notations (Schröder's Pasigraphy and Frege's Begriffsschrift). It will be shown that the Pasigraphy was an interpretation of that formal algebra. As a further conclusion, it will be suggested that each of the two conceptions of formality places logic in different levels and determines different conceptions of universality.
Publication details
DOI: 10.1007/978-3-319-10193-4_16
Full citation:
Legris, J. (2015)., On universality and formality in 19th century symbolic logic: the case of Schröder's "absolute algebra", in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 351-359.
This document is unfortunately not available for download at the moment.