Bibliography

From Peirce to Skolem: A Neglected Chapter in the History of Logic

ntroductionThe 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. ...