The Development of LogicPreface p. v I The Beginnings p. 1 II Aristotle's Organon p. 23 III The Megarians and the Stoics p. 113 IV Roman and Medieval Logic p. 177 V Logic after the Renaissance p. 298 VI Mathematical Abstraction p. 379 VII Numbers, Sets, and Series p. 435 VIII Frege's General Logic p. 478 IX Formal Developments after Frege p. 513 X The Philosophy of Logic after Frege p. 576 XI The Philosophy of Mathematics after Frege p. 652 XII The Theory of Deductive Systems p. 689 Appendix Translations: from the Latin Quotations in Chapter IV p. 743 Selective Bibliography p. 765 Index p. 775. |
Contents
THE BEGINNINGS | 1 |
ARISTOTLES ORGANON | 23 |
THE MEGARIANS AND THE STOICS | 113 |
The Debate on the Nature of Conditionals | 128 |
ROMAN AND MEDIEVAL LOGIC | 177 |
LOGIC AFTER THE RENAISSANCE | 298 |
MATHEMATICAL ABSTRACTION | 379 |
Later Developments of Boolean Algebra | 420 |
Varieties of Symbolism | 519 |
Natural Deduction and Development | 538 |
Modal Logic | 548 |
Suggestions for Alternative Logics | 568 |
THE PHILOSOPHY OF LOGIC AFTER FREGE | 576 |
THE PHILOSOPHY OF MATHEMATICS AFTER | 652 |
THE THEORY OF DEDUCTIVE SYSTEMS | 689 |
177 | 750 |
De Morgan and Peirce | 427 |
NUMBERS SETS AND SERIES | 435 |
FREGES GENERAL LOGIC | 478 |
FORMAL DEVELOPMENTS AFTER FREGE | 513 |
765 | |
775 | |
776 | |
Other editions - View all
Common terms and phrases
Abelard according algebra analytic antecedent applied argument Aristotle Aristotle's arithmetic assertion axioms Begriffsschrift belongs Boethius Bolzano calculus called Chrysippus conditional connexion consequence consequentia consider context defined definition derived designation Diogenes Laertius disjunction distinction doctrine elements entails equivalent example existence existential fact false follows formal formula Frege function geometry homo Ibid identity implication inference interpretation introduced judgement kind language later Leibniz letters logicians mathematics means modal logic natural numbers necessary negation notion object ordinary philosophers phrase possible predicate premisses primary logic Principia Mathematica principle Prior Analytics proof proper name proposition expressed propositional functions quantifiers quod real numbers reason reduction reference relation rules rules of inference seems sense sentence signified Socrates statement Stoics suggested supposed suppositio syllogism syllogistic symbolism talk that-P theorems theory things thought tion true truth truth-functional truth-values universal valid variables W. V. Quine William of Shyreswood word