A Survey of Symbolic Logic'This new Dover edition, first published in 1960,is a corrected republication of the original work with the omission of chapters v and vi.' |
Contents
THE DEVELOPMENT OF SYMBOLIC LOGIC | 1 |
THE CLASSIC OR BOOLESCHRÖDER | 118 |
APPLICATIONS OF THE BOOLESCHRÖDER | 175 |
Copyright | |
9 other sections not shown
Other editions - View all
Common terms and phrases
a b c algebra of logic Boole Boole-Schröder Algebra calculus of classes calculus of propositions class of couples coefficients coincide concepts constituent contained denotes diagram elements elimination equation of condition equivalent example expression extension false follows formal genus given gives Hence hold Ibid implies indicated inequation interpretation involved Jevons Law of Forms laws Leibniz Logic of Relatives logical alphabet logical relations Logik logique logistic material implication Math mathematical meaning method Morgan negative normal form notation null operations Peirce Phil postulates predicate premises Principia Principia Mathematica principles procedure proof Prop properties propositional functions represent result Scholium Schröder servant significance Similarly solution subtraction syllogism symbolic logic theorem theory things tion true Two-Valued Algebra universal universe of discourse variables x y z φα