Principia Mathematica: to *56 |
Contents
PREFACE | xii |
Summary of Part I | 87 |
SECTION B THEORY OF APPARENT VARIABLES | 127 |
Copyright | |
10 other sections not shown
Other editions - View all
Common terms and phrases
ambiguity analogues apparent variables apply asserted proposition asymmetrical relations axiom of reducibility called cardinal class of classes concerned converse domain defined definition denote descriptive function disjunction dots ê pz elementary function elementary propositions exists extensional function fact false falsehood first-order functions following propositions formally equivalent ƒ ê given Hence hypothesis identical implies q individuals inference logical matrix mathematical induction mathematical logic mathematics matrix means negation notation object occurs ordinal number Ɔ F possible arguments pƆq predicative function premisses present number primitive ideas primitive propositions principle Prop This proposition properties propositional function proved real variable satisfied scope second-order significant Similar proof Similarly Socrates Syll theory Transp truth truth-functions truth-value unit classes vicious-circle yeẞ φα