The Development of LogicClarendon Press, 1968 - 761 pagine |
Sommario
THE BEGINNINGS | 1 |
ARISTOTLES ORGANON | 23 |
THE MEGARIANS AND THE STOICS | 113 |
ROMAN AND MEDIEVAL LOGIC | 177 |
LOGIC AFTER THE RENAISSANCE | 298 |
MATHEMATICAL ABSTRACTION | 378 |
Boole and the Algebra of Logic | 404 |
Later Developments of Boolean Algebra | 420 |
Natural Deduction and Development | 538 |
Modal Logic | 548 |
Suggestions for Alternative Logics | 568 |
THE PHILOSOPHY OF LOGIC AFTER FREGE 1 Expression Designation and Truth | 576 |
The Theory of Descriptions and the Variety of Designations | 593 |
Problems of Intensionality | 601 |
Identity Functions and Classes | 618 |
Necessity and Language | 628 |
De Morgan and Peirce | 427 |
NUMBERS SETS AND SERIES 1 Frege and his Contemporaries | 435 |
Cantors Theory of Sets | 438 |
Frege on his Predecessors | 443 |
Freges Definitions of the Natural Numbers | 455 |
The Number Series | 467 |
FREGES GENERAL LOGIC 1 The Begriffsschrift | 478 |
Objects and Functions | 493 |
The Logic of the Grundgesetze | 503 |
Freges Achievement | 510 |
FORMAL DEVELOPMENTS AFTER FREGE 1 Varieties of Symbolism | 513 |
Axioms and Rules | 524 |
THE PHILOSOPHY OF MATHEMATICS AFTER FREGE 1 The Paradoxes of the Theory of Sets | 652 |
Russells Theory of Logical Types | 657 |
The Intuitionism of Brouwer | 672 |
Hilberts Programme of Metamathematics | 681 |
THE THEORY OF DEDUCTIVE SYSTEMS 1 The Metatheory of Primary Logic | 689 |
The Metatheory of General Logic | 701 |
The Incompletability of Formal Arithmetic | 712 |
The Decision Problem | 724 |
The Place of Logic among the Sciences | 737 |
SELECTIVE BIBLIOGRAPHY | 743 |
INDEX | 753 |