The Development of Logic

Copertina anteriore
Preface 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.
 

Cosa dicono le persone - Scrivi una recensione

Nessuna recensione trovata nei soliti posti.

Sommario

THE BEGINNINGS
1
Boole and the Algebra of Logic
3
Later Developments of Boolean Algebra 420 4 Later Developments of Boolean Algebra
4
ARISTOTLES ORGANON
23
THE MEGARIANS AND THE STOICS
113
ROMAN AND MEDIEVAL LOGIC
177
LOGIC AFTER THE RENAISSANCE
298
MATHEMATICAL ABSTRACTION
378
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
THE PHILOSOPHY OF MATHEMATICS AFTER FREGE 1 The Paradoxes of the Theory of Sets
652

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
Natural Deduction and Development
538
Russells Theory of Logical Types
657
The Intuitionism of Brouwer
672
Hilberts Programme of Mctamathematics
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
APPENDIX OF TRANSLATIONS
743
SELECTIVE BIBLIOGRAPHY
765
INDEX
775
Copyright

Altre edizioni - Visualizza tutto

Parole e frasi comuni

Informazioni bibliografiche