scientific article; zbMATH DE number 1548692
Standard historical treatments of the 19th century origins of modern logic very often neglect a line of development which goes from G. Boole's algebraic treatment of logic, via Ch. S. Peirce's theory of relatives and E. Schröder's extension of it, up to L. Löwenheim and Th. Skolem. The author of this nice book investigates just this development. She starts with an extended explanation of the work of \textit{Ch. S. Peirce} from his ``Description of a notation for the logic of relatives [Mem. Am. Acad. Arts Sci. 9, 317-378 (1870)] to his ``On the algebra of logic [Am. J. Math. 7, 180-202 (1885; JFM 17.0044.02)]. This includes also a discussion of the contribution of Peirce's student O. H. Mitchell, and it shows that Peirce essentially reached a preliminary version of first-order and second-order logic. This discussion is completed by a description of the main content of \textit{E. Schröder}'s 3-volume ``Vorlesungen über die Algebra der Logik (1890-1895; JFM 22.0073.02, JFM 23.0051.02, JFM 26.0074.01), as well as by a detailed discussion of \textit{L. Löwenheim's} famous ``{Über Möglichkeiten im Relativkalkül} [Math. Ann. 76, 447-470 (1915; JFM 45.0108.01)]. The considerations upon Schröder's work are accompanied by a reference to the Ph.D. Thesis of N. Wiener. And finally the continuation of Löwenheim's approach in the work of Th. Skolem is discussed. The second half of the book is a very extended Appendix which offers to the reader parts of the work of E. Schröder in English translation: from the third volume of his ``Vorlesungen \dots Lecture IX (on Dedekind's chain theory) is given completely, and the Lectures I, II, III, IV, and XII of that volume are translated partly.
- Peirce the logician
- Russell and his sources for non-classical logics
- Guest editor's introduction: JvH100
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Jean van Heijenoort's conception of modern logic, in historical perspective
- Jean van Heijenoort's contributions to proof theory and its history
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
- Schröder and group theory
- The prehistory of infinitary logic: 1885-1955
- To found or not to found? That is the question!
- FOL 75?
- scientific article; zbMATH DE number 22241 (Why is no real title available?)
- scientific article; zbMATH DE number 51257 (Why is no real title available?)
- On the justification problems: towards a Peircean diagnosis and solution
- Simplex sigillum veri: Peano, Frege, and Peirce on the Primitives of Logic
- scientific article; zbMATH DE number 2101943 (Why is no real title available?)
- scientific article; zbMATH DE number 2108953 (Why is no real title available?)
- Existential graphs: what a diagrammatic logic of cognition might look like
- Ernst Schröder on pasigraphy
- Busting a Myth about Leśniewski and Definitions
- Philosophy of notation in the 19th century. Peirce, Husserl, and all the others on inclusion and assertion
- Peirce's calculi for classical propositional logic
- Quantification in modern logic
- Peirce's sequent proofs of distributivity
- The beginning of model theory in the algebra of logic
- Peirce's role in the history of logic: \textit{lingua universalis and calculus ratiocinator}
- Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce
- A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper
- A new-old characterisation of logical knowledge
- A first survey of Charles S. Peirce's contributions to logic: from relatives to quantification
- What Is the Relation Between Peirce’s Logic and His Philosophy of Logic?
- Where is ‘There is’ in ‘∃’?
- LINGUA CHARACTERICA AND CALCULUS RATIOCINATOR: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC
- Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus
- A Pragmatic-Semiotic Defence of Bivalence
- Hilbert's epsilon as an operator of indefinite committed choice
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522882)
