From Peirce to Skolem - 1st Edition - ISBN: 9780444503343, 9780080532028

From Peirce to Skolem, Volume 4

1st Edition

A Neglected Chapter in the History of Logic

Authors: Geraldine Brady
eBook ISBN: 9780080532028
Imprint: North Holland
Published Date: 22nd November 2000
Page Count: 480
Tax/VAT will be calculated at check-out
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
225.00
157.50
157.50
157.50
157.50
157.50
180.00
180.00
210.00
147.00
147.00
147.00
147.00
147.00
168.00
168.00
140.00
98.00
98.00
98.00
98.00
98.00
112.00
112.00
175.00
122.50
122.50
122.50
122.50
122.50
140.00
140.00
Unavailable
DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Introduction

The Early Work of Charles S. Peirce. Overview of the Mathematical Systems of Charles S. Peirce. Peirce's Influence on the Development of Logic. Peirce's Early Approaches to Logic. Peirce's Calculus of Relatives: 1870. Peirce's Algebra of Relations. Inclusion and Equality. Addition. Multiplication. Peirce's First Quantifiers. Involution. Involution and Mixed-quantifier Forms. Elementary Relatives. Quantification in the calculus of relatives in 1870. Summary. Peirce on the Algebra of Logic: 1880. Overview of Peirce's "On the algebra of logic". Discussion. The Origins of Logic. Syllogism and Illation. Forms of Propositions. The Algebra of the Copula. The Logic of Nonrelative Terms. Conclusion. Mitchell on a New Algebra of Logic: 1883. Mitchell's Rule of Inference. Single-Variable Monadic Logic. Single-Variable Monadic Propositions. Disjunctive Normal Form. Rules of Inference for Single-Variable Logic. Two-Variable Monadic Logic. Mitchell's Dimension Theory. Contrast to Peirce. Three-Variable Monadic Logic. Peirce on Mitchell. Peirce on the algebra of relatives: 1883. Background in Linear Associative Algebras. The Algebra of Relatives. Types of Relatives. Operations on Relatives. Syllogistic in the Relative Calculus. Prenex Predicate Calculus. Summary of Peirce's Accomplishments in 1883. Syntax and Semantics. Quantifiers. Peirce's Appraisal of His Algebra of Binary Relatives. Peirce's Logic of Quantifiers: 1885. On the Derivation of Logic from Algebra. Nonrelative Logic. Embedding Boolean algebra in Ordinary Algebra. Five Peirce Icons. Truth-functional Interpretations of Propositions. First-Order Logic. Infinite Sums and Products. Mitchell. Formulas and Rules. Second-Order Logic. Schröder's Calculus of Relatives. Die algebra der Logik: Volume 1. Die Algebra der Logik: Volume 2. Die Algebra der Logik: Volume 3. Peirce's Attack on the General solutions of Schröder. Lectures VI-X and Dedekind Chain Theory. Lectures XI-XII and Higher Order Logic. Norbert Wiener's Ph.D. Thesis. Löwenheim's contribution. Overview of Löwenheim's 1915 paper. Löwenheim's Theorem. Conclusions. Impact of Löwenheim's Theorem. Conclusions. Impact of Löwenheim's Paper. Skolem's recasting. Appendices. Schröder's Lecture I. Schröder's Lecture II. Schröder's Lecture III. Schröder's Lecture V. Schröder's Lecture IX. Schröder's Lecture XI. Schröder's Lecture XII. Norbert Wiener's Thesis. Bibliography. Index.


Description

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.


Details

No. of pages:
480
Language:
English
Copyright:
© North Holland 2000
Published:
Imprint:
North Holland
eBook ISBN:
9780080532028

Reviews

@from:M. Guillaume @qu:The book is well written, and written for a ;arge audience. Many very detailed explanations of terminology, notation and proof techniques in the quotations of historicl texts are given..... @source:Mathematical Reviews


About the Authors

Geraldine Brady Author

Affiliations and Expertise

Department of Computer Science, University of Chicago, 1100 E 58th Street, Chicago, IL 60637 USA