From Peirce to Skolem: A Neglected Chapter in the History of LogicElsevier, 22.11.2000 - 480 Seiten 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. |
Inhalt
1 | |
9 | |
23 | |
1880 | 51 |
1883 | 75 |
1883 | 95 |
1885 | 113 |
Chapter 7 Schröders Calculus of Relatives | 143 |
Chapter 8 Löwenheims Contribution | 169 |
Chapter 9 Skolems Recasting | 197 |
Appendices | 207 |
Bibliography | 445 |
461 | |
Andere Ausgaben - Alle anzeigen
From Peirce to Skolem: A Neglected Chapter in the History of Logic Geraldine Brady Keine Leseprobe verfügbar - 2000 |
Häufige Begriffe und Wortgruppen
a-chain addition Algebra der Logik algebra of relatives argument axioms binary relatives Boole Boole's Boolean algebra calculus of relatives 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 Frege given gives identity calculus individual induction inference infinite interpretation introduced latter lattice 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 partial order 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 satisfied scheme Schröder Schroeder second-order logic set theory simply Skolem functions solution statement stipulations subsumption symbols true truth functions universe of discourse valid vanish variables write x-image