From Peirce to Skolem : a neglected chapter in the history of logic /
Collection : Studies in the history and philosophy of mathematics, 0928-2017 ; . v. 4 Mention d'édition :1st ed. Détails physiques : 1 online resource (xi, 468 pages) : illustrations. ISBN :9780444503343; 044450334X; 0080532020 (electronic bk.); 9780080532028 (electronic bk.).This book is an account of the important influence on the development of mathematical logic of Charles S. Peirce and his student O.H. Mitchell, through the work of Ernst Schröder, Leopold Löwenheim, and Thoralf Skolem. As far as we know, this book is the first work delineating this line of influence on modern mathematical logic.
Introduction. -- 1. The Early Work of Charles S. Peirce -- 2. Peirce's Calculus of Relatives: 1870 -- 3. Peirce on the Algebra of Logic: 1880 -- 4. Mitchell on a New Algebra of Logic: 1883 -- 5. Peirce on the Algebra of Relatives: 1883 -- 6. Peirce's Logic of Quantifiers: 1885 -- 7. Schröder's Calculus of Relatives -- 8. Löwenheim's Contribution -- 9. Skolem's Recasting -- Appendices. Bibliography. Index.
Includes bibliographical references (p. 445-459) and index.
Description based on print version record.
Il n'y a pas de commentaire pour ce document.