From Peirce to Skolem: A Neglected Chapter in the History of LogicThis 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. |
Other editions - View all
From Peirce to Skolem: A Neglected Chapter in the History of Logic Geraldine Brady No preview available - 2000 |
Common terms and phrases
a-chain Algebra der Logik algebra of relatives argument axioms binary relatives Boole Boole's Boolean algebra calculus of relatives chain coefficients condition countable Dedekind's defined definition denote disjunction disjunctive normal form domain elimination equal equation equivalent example existential exists expression factor finite first-order logic follows formal formulas given identity calculus individual induction inference infinite introduced latter least upper bound Lecture logic of relatives Löwenheim mapping rule mathematical means Mitchell Mitchell's multiplication negation normal form notation notion operations pairs of elements paper Peirce Peirce's possible predicate logic premises prenex problem proof propositional calculus propositional logic proved quantifiers relation relative product represent respect result root rules of inference Russell s₁ satisfied scheme Schröder Schroeder second-order logic set theory simply Skolem Skolem functions solution statement stipulations subsumption symbols true truth functions universe of discourse valid vanish variables x-image Σα