Principia Mathematica to *56Cambridge University Press, 11 sep 1997 The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part 1 (in which the logical properties of propositions, propositional functions, classes and relations are established); section 6 of Part 2 (dealing with unit classes and couples); and Appendices A and B (which give further developments of the argument on the theory of deduction and truth functions). |
Inhoudsopgave
v | |
ix | |
xii | |
xiii | |
INTRODUCTION | 1 |
PART I MATHEMATICAL LOGIC | 85 |
PART II PROLEGOMENA TO CARDINAL ARITHMETIC | 327 |
APPENDIX A | 385 |
APPENDIX C | 401 |
LIST OF DEFINITIONS | 409 |
Overige edities - Alles bekijken
Principia Mathematica to *56, Volume 2 Alfred North Whitehead,Bertrand Russell Gedeeltelijke weergave - 1997 |
Veelvoorkomende woorden en zinsdelen
a:Ry ambiguity analogues apply asserted proposition asymmetrical relations axiom of reducibility called cardinal cardinal arithmetic class of classes class of relations concerned containing apparent variables converse domain defined definition denote descriptive function DI-.Prop disjunction dots elementary function elementary propositions exists extensional function fact false falsehood field find finite first first-order functions fly following propositions formally equivalent given Hence hypothesis identical implies q individuals inference logical matrix logical product mathematical induction mathematical logic mathematics matrix means mortal namely negation notation object occurs ordinal couples ordinal number possible arguments predicative function prefix premisses present number primitive ideas primitive propositions principle Prop This proposition properties propositional function propositions containing proved real variable result satisfied scope second-order significant significantly Similar proof Similarly Socrates statement substitute Syll Transp truth truth-functions truth-value unit classes vicious-circle