Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

202773

On universality and formality in 19th century symbolic logic

the case of Schröder's "absolute algebra"

Javier Legris

pp. 351-359

Abstract

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

Published in:

Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic I: Festschrift for 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.

Pages: 351-359

DOI: 10.1007/978-3-319-10193-4_16

Full citation:

Legris Javier (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, 351–359.