Book:Bertrand Russell/The Principles of Mathematics/Second Edition
Jump to navigation
Jump to search
Bertrand Russell: The Principles of Mathematics (2nd Edition)
Published $\text {1938}$
Subject Matter
Contents
- Preface
- Part $\text {I}$. The Indefinables of Mathematics
- Chapter $\text {I}$. Definition of Pure Mathematics
- $\S 1$. Definition of pure mathematics
- $\S 2$. The principles of mathematics are no longer controversial
- $\S 3$. Pure mathematics uses only a few notions, and these are logical constants
- $\S 4$. All pure mathematics follows formally from twenty premisses
- $\S 5$. Asserts formal implications
- $\S 6$. And employs variables
- $\S 7$. Which may have any value without exception
- $\S 8$. Mathematics deals with types of relations
- $\S 9$. Applied mathematics is defined by the occurrence of constants which are not logical.
- $\S 10$. Relation of mathematics to logic.
- Chapter $\text {I}$. Definition of Pure Mathematics
- Chapter $\text {II}$. Symbolic Logic
- $\S 11$. Definition and scope of symbolic logic
- $\S 12$. The indefinables of symbolic logic
- $\S 13$. Symbolic logic consists of three parts
- Chapter $\text {II}$. Symbolic Logic
- The Propositional Calculus
- $\S 14$. Definition
- $\S 15$. Distinction between implication and formal implication.
- $\S 16$. Implication indefinable
- $\S 17$. Two indefinables and ten primitive propositions in this calculus
- $\S 18$. The ten primitive propositions
- $\S 19$. Disjunction and negation defined
- The Propositional Calculus
- The Calculus of Classes
- $\S 20$. Three new indefinables
- $\S 21$. The relation of an individual to its class
- $\S 22$. Propositional functions
- $\S 23$. The notion of such that
- $\S 24$. Two new primitive propositions
- $\S 25$. Relation to propositional calculus
- $\S 26$. Identity
- The Calculus of Classes
- The Calculus of Relations
- $\S 27$. The logic of relations essential to mathematics
- $\S 28$. New primitive propositions
- $\S 29$. Relative products
- $\S 30$. Relations with assigned domains
- The Calculus of Relations
- Peano's Symbolic Logic
- $\S 31$. Mathematical and philosophical definitions
- $\S 32$. Peano’s indefinables
- $\S 33$. Elementary definitions
- $\S 34$. Peano’s primitive propositions
- $\S 35$. Negation and disjunction
- $\S 36$. Existence and the null-class
- Peano's Symbolic Logic
- Chapter $\text {III}$. Implication and Formal Implication
- $\S 37$. Meaning of implication
- $\S 38$. Asserted and unasserted propositions
- $\S 39$. Inference does not require two premisses
- $\S 40$. Formal implication is to be interpreted extensionally
- $\S 41$. The variable in formal implication has an unrestricted field
- $\S 42$. A formal implication is a single propositional function, not a relation of two
- $\S 43$. Assertions
- $\S 44$. Conditions that a term in an implication may be varied
- $\S 45$. Formal implication involved in rules of inference
- Chapter $\text {III}$. Implication and Formal Implication
- Chapter $\text {IV}$. Proper Names, Adjectives and Verbs
- $\S 46$. Proper names, adjectives and verbs distinguished
- $\S 47$. Terms
- $\S 48$. Things and concepts
- $\S 49$. Concepts as such and as terms
- $\S 50$. Conceptual diversity
- $\S 51$. Meaning and the subject-predicate logic
- $\S 52$. Verbs and truth
- $\S 53$. All verbs, except perhaps is, express relations
- $\S 54$. Relations per se and relating relations
- $\S 55$. Relations are not particularized by their terms
- Chapter $\text {IV}$. Proper Names, Adjectives and Verbs
- Chapter $\text {V}$. Denoting
- $\S 56$. Definition of denoting
- $\S 57$. Connection with subject-predicate propositions
- $\S 58$. Denoting concepts obtained from predicates
- $\S 59$. Extensional account of all, every, any, a and some
- $\S 60$. Intensional account of the same
- $\S 61$. Illustrations
- $\S 62$. The difference between all, every, etc. lies in the objects denoted, not in the way of denoting them.
- $\S 63$. The notion of the and definition
- $\S 64$. The notion of the and identity
- $\S 65$. Summary
- Chapter $\text {V}$. Denoting
- Chapter $\text {VI}$. Classes
- $\S 66$. Combination of intensional and extensional standpoints required
- $\S 67$. Meaning of class
- $\S 68$. Intensional and extensional genesis of classes
- $\S 69$. Distinctions overlooked by Peano
- $\S 70$. The class as one and as many
- $\S 71$. The notion of and
- $\S 72$. All men is not analyzable into all and men
- $\S 73$. There are null class-concepts, but there is no null class
- $\S 74$. The class as one, except when it has one term, is distinct from the class as many
- $\S 75$. Every, any, a and some each denote one object, but an ambiguous one
- $\S 76$. The relation of a term to its class
- $\S 77$. The relation of inclusion between classes
- $\S 78$. The contradiction
- $\S 79$. Summary
- Chapter $\text {VI}$. Classes
- Chapter $\text {VII}$. Propositional Functions.
- $\S 80$. Indefinability of such that
- $\S 81$. Where a fixed relation to a fixed term is asserted, a propositional function can be analysed into a variable subject and a constant assertion
- $\S 82$. But this analysis is impossible in other cases
- $\S 83$. Variation of the concept in a proposition
- $\S 84$. Relation of propositional functions to classes
- $\S 85$. A propositional function is in general not analysable into a constant and a variable element
- Chapter $\text {VII}$. Propositional Functions.
- Chapter $\text {VIII}$. The Variable.
- $\S 86$. Nature of the variable
- $\S 87$. Relation of the variable to any
- $\S 88$. Formal and restricted variables
- $\S 89$. Formal implication presupposes any
- $\S 90$. Duality of any and some
- $\S 91$. The class-concept propositional function is indefinable
- $\S 92$. Other classes can be defined by means of such that
- $\S 93$. Analysis of the variable
- Chapter $\text {VIII}$. The Variable.
- Chapter $\text {IX}$. Relations
- $\S 94$. Characteristics of relations
- $\S 95$. Relations of terms to themselves
- $\S 96$. The domain and the converse domain of a relation
- $\S 97$. Logical sum, logical product and relative product of relations
- $\S 98$. A relation is not a class of couples
- $\S 99$. Relations of a relation to its terms
- Chapter $\text {IX}$. Relations
- Chapter $\text {X}$. The Contradiction
- $\S 100$. Consequences of the contradiction
- $\S 101$. Various statements of the contradiction
- $\S 102$. An analogous generalized argument
- $\S 103$. Various statements of the contradiction
- $\S 104$. The contradiction arises from treating as one a class which is only many
- $\S 105$. Other primâ facie possible solutions appear inadequate
- $\S 106$. Summary of Part $\text {I}$
- Chapter $\text {X}$. The Contradiction
- Part $\text {II}$. Number
- Chapter $\text {XI}$. Definition of Cardinal Numbers
- $\S 107$. Plan of Part $\text {II}$
- $\S 108$. Mathematical meaning of definition
- $\S 109$. Definitions of numbers by abstraction
- $\S 110$. Objections to this definition
- $\S 111$. Nominal definition of numbers
- Chapter $\text {XI}$. Definition of Cardinal Numbers
- Chapter $\text {XII}$. Addition and Multiplication
- $\S 112$. Only integers to be considered at present
- $\S 113$. Definition of arithmetical addition
- $\S 114$. Dependence upon the logical addition of classes
- $\S 115$. Definition of multiplication
- $\S 116$. Connection of addition, multiplication, and exponentiation
- Chapter $\text {XII}$. Addition and Multiplication
- Chapter $\text {XIII}$. Finite and Infinite
- $\S 117$. Definition of finite and infinite
- $\S 118$. Definition of $a_0$
- $\S 119$. Definition of finite numbers by mathematical induction
- Chapter $\text {XIII}$. Finite and Infinite
- Chapter $\text {XIV}$. Theory of Finite Numbers
- $\S 120$. Peano's indefinables and primitive propositions
- $\S 121$. Mutual independence of the latter
- $\S 122$. Peano really defines progressions, not finite numbers
- $\S 123$. Proof of Peano's primitive propositions
- Chapter $\text {XIV}$. Theory of Finite Numbers
- Chapter $\text {XV}$. Addition of Terms and Addition of Classes
- $\S 124$. Philosophy and mathematics distinguished
- $\S 125$. Is there a more fundamental sense of number than that defined above?
- $\S 126$. Numbers must be classes
- $\S 127$. Numbers apply to classes as many
- $\S 128$ One is to be asserted, not of terms, but of unit classes
- $\S 129$. Counting not fundamental in arithmetic
- $\S 130$. Numerical conjunction and plurality
- $\S 131$. Addition of terms generates classes primarily, not numbers
- $\S 132$. A term is indefinable, but not the number $1$
- Chapter $\text {XV}$. Addition of Terms and Addition of Classes
- Chapter $\text {XVI}$. Whole and Part
- $\S 133$. Single terms may be either simple or complex
- $\S 134$. Whole and part cannot be defined by logical priority
- $\S 135$. Three kinds of relation of whole and part distinguished
- $\S 136$. Two kinds of wholes distinguished
- $\S 137$. A whole is distinct from the numerical conjunctions of its parts
- $\S 138$. How far analysis is falsification
- $\S 139$. A class as one is an aggregate
- Chapter $\text {XVI}$. Whole and Part
- Chapter $\text {XVII}$. Infinite Wholes
- $\S 140$. Infinite aggregates must be admitted
- $\S 141$. Infinite unities, if there are any, are unknown to us
- $\S 142$. Are all infinite wholes aggregates of terms?
- $\S 143$. Grounds in favour of this view
- Chapter $\text {XVII}$. Infinite Wholes
- Chapter $\text {XVIII}$. Ratios and Fractions
- $\S 144$. Definition of ratio
- $\S 145$. Ratios are one-one relations
- $\S 146$. Fractions are concerned with relations of whole and part
- $\S 147$. Fractions depend, not upon number, but upon magnitude of divisibility
- $\S 148$. Summary of Part $\text {II}$
- Chapter $\text {XVIII}$. Ratios and Fractions
- Part $\text {III}$. Quantity
- Chapter $\text {XIX}$. The Meaning of Magnitude
- $\S 149$. Previous views on the relation of number and quantity
- $\S 150$. Quantity not fundamental in mathematics
- $\S 151$. Meaning of magnitude and quantity
- $\S 152$. Three possible theories of equality to be examined
- $\S 153$. Equality is not identity of number of parts
- $\S 154$. Equality is not an unanalyzable relation of quantities
- $\S 155$. Equality is sameness of magnitude
- $\S 156$. Every particular magnitude is simple
- $\S 157$. The principle of abstraction
- $\S 158$. Summary
- Chapter $\text {XIX}$. The Meaning of Magnitude
- Note to Chapter $\text {XIX}$.
- Chapter $\text {XX}$. The Range of Quantity
- $\S 159$. Divisibility does not belong to all quantities
- $\S 160$. Distance
- $\S 161$. Differential coefficients
- $\S 162$. A magnitude is never divisible, but may be a magnitude of divisibility
- $\S 163$. Every magnitude is unanalyzable
- Chapter $\text {XX}$. The Range of Quantity
- Chapter $\text {XXI}$. Numbers as Expressing Magnitudes: Measurement
- $\S 164$. Definition of measurement
- $\S 165$. Possible grounds for holding all magnitudes to be measurable
- $\S 166$. Intrinsic measurability
- $\S 167$. Of divisibilities
- $\S 168$. And of distances
- $\S 169$. Measure of distance and measure of stretch
- $\S 170$. Distance-theories and stretch-theories of geometry
- $\S 171$. Extensive and intensive magnitudes
- Chapter $\text {XXI}$. Numbers as Expressing Magnitudes: Measurement
- Chapter $\text {XXII}$. Zero
- $\S 172$. Difficulties as to zero
- $\S 173$. Meinong's theory
- $\S 174$. Zero as minimum
- $\S 175$. Zero distance as identity
- $\S 176$. Zero as a null segment
- $\S 177$. Zero and negation
- $\S 178$. Every kind of zero magnitude is in a sense indefinable
- Chapter $\text {XXII}$. Zero
- Chapter $\text {XXIII}$. Infinity, the Infinitesimal, and Continuity
- $\S 179$. Problems of infinity not specially quantitative
- $\S 180$. Statement of the problem in regard to quantity
- $\S 181$. Three antinomies
- $\S 182$. Of which the antitheses depend upon an axiom of finitude
- $\S 183$. And the use of mathematical induction
- $\S 184$. Which are both to be rejected
- $\S 185$. Provisional sense of continuity
- $\S 186$. Summary of Part $\text {III}$
- Chapter $\text {XXIII}$. Infinity, the Infinitesimal, and Continuity
- Part $\text {IV}$. Order
- Chapter $\text {XXIV}$. The Genesis of Series
- $\S 187$. Importance of order
- $\S 188$. Between and separation of couples
- $\S 189$. Generation of order by one-one relations
- $\S 190$. By transitive asymmetrical relations
- $\S 191$. By distances
- $\S 192$. By triangular relations
- $\S 193$. By relations between asymmetrical relations
- $\S 194$. And by separation of couples
- Chapter $\text {XXIV}$. The Genesis of Series
- Chapter $\text {XXV}$. The Meaning of Order
- $\S 195$. What is order?
- $\S 196$. Three theories of between
- $\S 197$. First theory
- $\S 198$. A relation is not between its terms
- $\S 199$. Second theory of between
- $\S 200$. There appear to be ultimate triangular relations
- $\S 201$. Reasons for rejecting the second theory
- $\S 202$. Third theory of between to be rejected
- $\S 203$. Meaning of separation of couples
- $\S 204$. Reduction to transitive asymmetrical relations
- $\S 205$. This reduction is formal
- $\S 206$. But is the reason why separation leads to order
- $\S 207$. The second way of generating series is alone fundamental, and gives the meaning of order
- Chapter $\text {XXV}$. The Meaning of Order
- Chapter $\text {XXVI}$. Asymmetrical Relations
- $\S 208$. Classification of relations as regards symmetry and transitiveness
- $\S 209$. Symmetrical transitive relations
- $\S 210$. Reflexiveness and the principle of abstraction
- $\S 211$. Relative position
- $\S 212$. Are relations reducible to predications?
- $\S 213$. Monadistic theory of relations
- $\S 214$. Reasons for rejecting the theory
- $\S 215$. Monistic theory and the reasons for rejecting it
- $\S 216$. Order requires that relations should be ultimate
- Chapter $\text {XXVI}$. Asymmetrical Relations
- Chapter $\text {XXVII}$. Difference of Sense and Difference of Sign
- $\S 217$. Kant on difference of sense
- $\S 218$. Meaning of difference of sense
- $\S 219$. Difference of sign
- $\S 220$. In the cases of finite numbers
- $\S 221$. And of magnitudes
- $\S 222$. Right and left
- $\S 223$. Difference of sign arises from difference of sense among transitive asymmetrical relations
- Chapter $\text {XXVII}$. Difference of Sense and Difference of Sign
- Chapter $\text {XXVIII}$. On the Difference Between Open and Closed Series
- $\S 224$. What is the difference between open and closed series?
- $\S 225$. Finite closed series
- $\S 226$. Series generated by triangular relations
- $\S 227$. Four-term relations
- $\S 228$. Closed series are such as have an arbitrary first term
- Chapter $\text {XXVIII}$. On the Difference Between Open and Closed Series
- Chapter $\text {XXIX}$. Progressions and Ordinal Numbers
- $\S 229$. Definition of progressions
- $\S 230$. All finite arithmetic applies to every progression
- $\S 231$. Definition of ordinal numbers
- $\S 232$. Definition of nth
- $\S 233$. Positive and negative ordinals
- Chapter $\text {XXIX}$. Progressions and Ordinal Numbers
- Chapter $\text {XXX}$. Dedekind's Theory of Number
- $\S 234$. Dedekind's principal ideas
- $\S 235$. Representation of a system
- $\S 236$. The notion of a chain
- $\S 237$. The chain of an element
- $\S 238$. Generalized form of mathematical induction
- $\S 239$. Definition of a singly infinite system
- $\S 240$. Definition of cardinals
- $\S 241$. Dedekind's proof of mathematical induction
- $\S 242$. Objections to his definition of ordinals
- $\S 243$. And of cardinals
- Chapter $\text {XXX}$. Dedekind's Theory of Number
- Chapter $\text {XXXI}$. Distance
- $\S 244$. Distance not essential to order
- $\S 245$. Definition of distance
- $\S 246$. Measurement of distances
- $\S 247$. In most series, the existence of distances is doubtful
- $\S 248$. Summary of Part $\text {IV}$
- Chapter $\text {XXXI}$. Distance
- Part $\text {V}$. Infinity and Continuity
- Chapter $\text {XXXII}$. The Correlation of Series
- $\S 249$. The infinitesimal and space are no longer required in a statement of principles
- $\S 250$. The supposed contradictions of infinity have been resolved
- $\S 251$. Correlation of series
- $\S 252$. Independent series and series by correlation
- $\S 253$. Likeness of relations
- $\S 254$. Functions
- $\S 255$. Functions of a variable whose values form a series
- $\S 256$. Functions which are defined by formulae
- $\S 257$. Complete series
- Chapter $\text {XXXII}$. The Correlation of Series
- Chapter $\text {XXXIII}$. Real Numbers
- $\S 258$. Real numbers are not limits of series of rationals
- $\S 259$. Segments of rationals
- $\S 260$. Properties of segments
- $\S 261$. Coherent classes in a series
- Chapter $\text {XXXIII}$. Real Numbers
- Chapter $\text {XXXIV}$. Limits and Irrational Numbers
- $\S 262$. Definition of a limit
- $\S 263$. Elementary properties of limits
- $\S 264$. An arithmetical theory of irrationals is indispensable
- $\S 265$. Dedekind's theory of irrationals
- $\S 266$. Defects in Dedekind's axiom of continuity
- $\S 267$. Objections to his theory of irrationals
- $\S 268$. Weierstrass's theory
- $\S 269$. Cantor's theory
- $\S 270$. Real numbers are segments of rationals
- Chapter $\text {XXXIV}$. Limits and Irrational Numbers
- Chapter $\text {XXXV}$. Cantor's First Definition of Continuity
- $\S 271$. The arithmetical theory of continuity is due to Cantor
- $\S 272$. Cohesion
- $\S 273$. Perfection
- $\S 274$. Defect in Cantor's definition of perfection
- $\S 275$. The existence of limits must not be assumed without special grounds
- Chapter $\text {XXXV}$. Cantor's First Definition of Continuity
- Chapter $\text {XXXVI}$. Ordinal Continuity
- $\S 276$. Continuity is a purely ordinal notion
- $\S 277$. Cantor's ordinal definition of continuity
- $\S 278$. Only ordinal notions occur in this definition
- $\S 279$. Infinite classes of integers can be arranged in a continuous series
- $\S 280$. Segments of general compact series
- $\S 281$. Segments defined by fundamental series
- $\S 282$. Two compact series may be combined to form a series which is not compact
- Chapter $\text {XXXVI}$. Ordinal Continuity
- Chapter $\text {XXXVII}$. Transfinite Cardinals
- $\S 283$. Transfinite cardinals differ widely from transfinite ordinals
- $\S 284$. Definition of cardinals
- $\S 285$. Properties of cardinals
- $\S 286$. Addition, multiplication, and exponentiation
- $\S 287$. The smallest transfinite cardinal $a_0$
- $\S 288$. Other transfinite cardinals
- $\S 289$. Finite and transfinite cardinals form a single series by relation to greater and less
- Chapter $\text {XXXVII}$. Transfinite Cardinals
- Chapter $\text {XXXVIII}$. Transfinite Ordinals
- $\S 290$. Ordinals are classes of serial relations
- $\S 291$. Cantor's definition of the second class of ordinals
- $\S 292$. Definition of $\omega$
- $\S 293$. An infinite class can be arranged in many types of series
- $\S 294$. Addition and subtraction of ordinals
- $\S 295$. Multiplication and division
- $\S 296$. Well-ordered series
- $\S 297$. Series which are not well-ordered
- $\S 298$. Ordinal numbers are types of well-ordered series
- $\S 299$. Relation-arithmetic
- $\S 300$. Proofs of existence-theorems
- $\S 301$. There is no maximum ordinal number
- $\S 302$. Successive derivatives of a series
- Chapter $\text {XXXVIII}$. Transfinite Ordinals
- Chapter $\text {XXXIX}$. The Infinitesimal Calculus
- $\S 303$. The infinitesimal has been usually supposed essential to the calculus
- $\S 304$. Definition of a continuous function
- $\S 305$. Definition of the derivative of a function
- $\S 306$. The infinitesimal is not implied in this definition
- $\S 307$. Definition of the definite integral
- $\S 308$. Neither the infinite nor the infinitesimal is involved in this definition
- Chapter $\text {XXXIX}$. The Infinitesimal Calculus
- Chapter $\text {XL}$. The Infinitesimal and the Improper Infinite
- $\S 309$. A precise definition of the infinitesimal is seldom given
- $\S 310$. Definition of the infinitesimal and the improper infinite
- $\S 311$. Instances of the infinitesimal
- $\S 312$. No infinitesimal segments in compact series
- $\S 313$. Orders of infinity and infinitesimality
- $\S 314$. Summary
- Chapter $\text {XL}$. The Infinitesimal and the Improper Infinite
- Chapter $\text {XLI}$. Philosophical Arguments Concerning the Infinitesimal
- $\S 315$. Current philosophical opinions illustrated by Cohen
- $\S 316$. Who bases the calculus upon infinitesimals
- $\S 317$. Space and motion are here irrelevant
- $\S 318$. Cohen regards the doctrine of limits as insufficient for the calculus
- $\S 319$. And supposes limits to be essentially quantitative
- $\S 320$. To involve infinitesimal differences
- $\S 321$. And to introduce a new meaning of equality
- $\S 322$. He identifies the inextensive with the intensive
- $\S 323$. Consecutive numbers are supposed to be required for continuous change
- $\S 324$. Cohen's views are to be rejected
- Chapter $\text {XLI}$. Philosophical Arguments Concerning the Infinitesimal
- Chapter $\text {XLII}$. The Philosophy of the Continuum
- $\S 325$. Philosophical sense of continuity not here in question
- $\S 326$. The continuum is composed of mutually external units
- $\S 327$. Zeno and Weierstrass
- $\S 328$. The argument of dichotomy
- $\S 329$. The objectionable and the innocent kind of endless regress
- $\S 330$. Extensional and intensional definition of a whole
- $\S 331$. Achilles and the tortoise
- $\S 332$. The arrow
- $\S 333$. Change does not involve a state of change
- $\S 334$. The argument of the measure
- $\S 335$. Summary of Cantor's doctrine of continuity
- $\S 336$. The continuum consists of elements
- Chapter $\text {XLII}$. The Philosophy of the Continuum
- Chapter $\text {XLIII}$. The Philosophy of the Infinite
- $\S 337$. Historical retrospect
- $\S 338$. Positive doctrine of the infinite
- $\S 339$. Proof that there are infinite classes
- $\S 340$. The paradox of Tristram Shandy
- $\S 341$. A whole and a part may be similar
- $\S 342$. Whole and part and formal implication
- $\S 343$. No immediate predecessor of $\omega$ or $a_0$
- $\S 344$. Difficulty as regards the number of all terms, objects, or propositions
- $\S 345$. Cantor's first proof that there is no greatest number
- $\S 346$. His second proof
- $\S 347$. Every class has more sub-classes than terms
- $\S 348$. But this is impossible in certain cases
- $\S 349$. Resulting contradictions
- $\S 350$. Summary of Part $\text {V}$
- Chapter $\text {XLIII}$. The Philosophy of the Infinite
- Part $\text {VI}$. Space
- Chapter $\text {XLIV}$. Dimensions and Complex Numbers
- $\S 351$. Retrospect
- $\S 352$. Geometry is the science of series of two or more dimensions
- $\S 353$. Non-Euclidean geometry
- $\S 354$. Definition of dimensions
- $\S 355$. Remarks on the definition
- $\S 356$. The definition of dimensions is purely logical
- $\S 357$. Complex numbers and universal algebra
- $\S 358$. Algebraical generalization of number
- $\S 359$. Definition of complex numbers
- $\S 360$. Remarks on the definition
- Chapter $\text {XLIV}$. Dimensions and Complex Numbers
- Chapter $\text {XLV}$. Projective Geometry
- $\S 361$. Recent threefold scrutiny of geometrical principles
- $\S 362$. Projective, descriptive, and metrical geometry
- $\S 363$. Projective points and straight lines
- $\S 364$. Definition of the plane
- $\S 365$. Harmonic ranges
- $\S 366$. Involutions
- $\S 367$. Projective generation of order
- $\S 368$. Möbius nets
- $\S 369$. Projective order presupposed in assigning irrational coordinates
- $\S 370$. Anharmonic ratio
- $\S 371$. Assignment of coordinates to any point in space
- $\S 372$. Comparison of projective and Euclidean geometry
- $\S 373$. The principle of duality
- Chapter $\text {XLV}$. Projective Geometry
- Chapter $\text {XLVI}$. Descriptive Geometry
- $\S 374$. Distinction between projective and descriptive geometry
- $\S 375$. Method of Pasch and Peano
- $\S 376$. Method employing serial relations
- $\S 377$. Mutual independence of axioms
- $\S 378$. Logical definition of the class of descriptive spaces
- $\S 379$. Parts of straight lines
- $\S 380$. Definition of the plane
- $\S 381$. Solid geometry
- $\S 382$. Descriptive geometry applies to Euclidean and hyperbolic, but not elliptic space
- $\S 383$. Ideal elements
- $\S 384$. Ideal points
- $\S 385$. Ideal lines
- $\S 386$. Ideal planes
- $\S 387$. The removal of a suitable selection of points renders a projective space descriptive
- Chapter $\text {XLVI}$. Descriptive Geometry
- Chapter $\text {XLVII}$. Metrical Geometry
- $\S 388$. Metrical geometry presupposes projective or descriptive geometry
- $\S 389$. Errors in Euclid
- $\S 390$. Superposition is not a valid method
- $\S 391$. Errors in Euclid (continued)
- $\S 392$. Axioms of distance
- $\S 393$. Stretches
- $\S 394$. Order as resulting from distance alone
- $\S 395$. Geometries which derive the straight line from distance
- $\S 396$. In most spaces, magnitude of divisibility can be used instead of distance
- $\S 397$. Meaning of magnitude of divisibility
- $\S 398$. Difficulty of making distance independent of stretch
- $\S 399$. Theoretical meaning of measurement
- $\S 400$. Definition of angle
- $\S 401$. Axioms concerning angles
- $\S 402$. An angle is a stretch of rays, not a class of points
- $\S 403$. Areas and volumes
- $\S 404$. Right and left
- Chapter $\text {XLVII}$. Metrical Geometry
- Chapter $\text {XLVIII}$. Relation of Metrical to Projective and Descriptive Geometry
- $\S 405$. Non-quantitative geometry has no metrical presuppositions
- $\S 406$. Historical development of non-quantitative geometry
- $\S 407$. Non-quantitative theory of distance
- $\S 408$. In descriptive geometry
- $\S 409$. And in projective geometry
- $\S 410$. Geometrical theory of imaginary point-pairs
- $\S 411$. New projective theory of distance
- Chapter $\text {XLVIII}$. Relation of Metrical to Projective and Descriptive Geometry
- Chapter $\text {XLIX}$. Definitions of Various Spaces
- $\S 412$. All kinds of spaces are definable in purely logical terms
- $\S 413$. Definition of projective spaces of three dimensions
- $\S 414$. Definition of Euclidean spaces of three dimensions
- $\S 415$. Definition of Clifford's spaces of two dimensions
- Chapter $\text {XLIX}$. Definitions of Various Spaces
- Chapter $\text {L}$. The Continuity of Space
- $\S 416$. The continuity of a projective space
- $\S 417$. The continuity of metrical space
- $\S 418$. An axiom of continuity enables us to dispense with the postulate of the circle
- $\S 419$. Is space prior to points?
- $\S 420$. Empirical premisses and induction
- $\S 421$. There is no reason to desire our premisses to be self-evident
- $\S 422$. Space is an aggregate of points, not a unity
- Chapter $\text {L}$. The Continuity of Space
- Chapter $\text {LI}$. Logical Arguments Against Points
- $\S 423$. Absolute and relative position
- $\S 424$. Lotze's arguments against absolute position
- $\S 425$. Lotze's theory of relations
- $\S 426$. The subject-predicate theory of propositions
- $\S 427$. Lotze's three kinds of Being
- $\S 428$. Argument from the identity of indiscernibles
- $\S 429$. Points are not active
- $\S 430$. Argument from the necessary truths of geometry
- $\S 431$. Points do not imply one another
- Chapter $\text {LI}$. Logical Arguments Against Points
- Chapter $\text {LII}$. Kant's Theory of Space
- $\S 432$. The present work is diametrically opposed to Kant
- $\S 433$. Summary of Kant's theory
- $\S 434$. Mathematical reasoning requires no extra-logical element
- $\S 435$. Kant's mathematical antinomies
- $\S 436$. Summary of Part $\text {VI}$
- Chapter $\text {LII}$. Kant's Theory of Space
- Part $\text {VII}$. Matter and Motion
- Chapter $\text {LIII}$. Matter
- $\S 437$. Dynamics is here considered as a branch of pure mathematics.
- $\S 438$. Matter is not implied by space
- $\S 439$. Matter as substance
- $\S 440$. Relations of matter to space and time
- $\S 441$. Definition of matter in terms of logical constants
- Chapter $\text {LIII}$. Matter
- Chapter $\text {LIV}$. Motion
- $\S 442$. Definition of change
- $\S 443$. There is no such thing as a state of change
- $\S 444$. Change involves existence
- $\S 445$. Occupation of a place at a time
- $\S 446$. Definition of motion
- $\S 447$. There is no state of motion
- Chapter $\text {LIV}$. Motion
- Chapter $\text {LV}$. Causality
- $\S 448$. The descriptive theory of dynamics
- $\S 449$. Causation of particulars by particulars
- $\S 450$. Cause and effect are not temporally contiguous
- $\S 451$. Is there any causation of particulars by particulars?
- $\S 452$. Generalized form of causality
- Chapter $\text {LV}$. Causality
- Chapter $\text {LVI}$. Definition of a Dynamic World
- $\S 453$. Kinematical motions
- $\S 454$. Kinetic motions
- Chapter $\text {LVI}$. Definition of a Dynamic World
- Chapter $\text {LVII}$. Newton's Laws of Motion
- $\S 455$. Force and acceleration are fictions
- $\S 456$. The law of inertia
- $\S 457$. The second law of motion
- $\S 458$. The third law
- $\S 459$. Summary of Newtonian principles
- $\S 460$. Causality in dynamics
- $\S 461$. Accelerations as caused by particulars
- $\S 462$. No part of the laws of motion is an à priori truth
- Chapter $\text {LVII}$. Newton's Laws of Motion
- Chapter $\text {LVIII}$. Absolute and Relative Motion
- $\S 463$. Newton and his critics
- $\S 464$. Grounds for absolute motion
- $\S 465$. Neumann's theory
- $\S 466$. Streintz's theory
- $\S 467$. Mr Macaulay's theory
- $\S 468$. Absolute rotation is still a change of relation
- $\S 469$. Mach's reply to Newton
- Chapter $\text {LVIII}$. Absolute and Relative Motion
- Chapter $\text {LIX}$. Hertz's Dynamics
- $\S 470$. Summary of Hertz's system
- $\S 471$. Hertz's innovations are not fundamental from the point of view of pure mathematics
- $\S 472$. Principles common to Hertz and Newton
- $\S 473$. Principle of the equality of cause and effect
- $\S 474$. Summary of the work
- Chapter $\text {LIX}$. Hertz's Dynamics
- Part Appendices.
- Appendix $\text {A}$. The Logical and Arithmetical Doctrines of Frege
- $\S 475$. Principal points in Frege's doctrines
- $\S 476$. Meaning and indication
- $\S 477$. Truth-values and judgment
- $\S 478$. Criticism
- $\S 479$. Are assumptions proper names for the true or the false?
- $\S 480$. Functions
- $\S 481$. Begriff and Gegenstand
- $\S 482$. Recapitulation of theory of propositional functions
- $\S 483$. Can concepts be made logical subjects?
- $\S 484$. Ranges
- $\S 485$. Definition of $\in$ and of relation
- $\S 486$. Reasons for an extensional view of classes
- $\S 487$. A class which has only one member is distinct from its only member
- $\S 488$. Possible theories to account for this fact
- $\S 489$. Recapitulation of theories already discussed
- $\S 490$. The subject of a proposition may be plural
- $\S 491$. Classes having only one member
- $\S 492$. Theory of types
- $\S 493$. Implication and symbolic logic
- $\S 494$. Definition of cardinal numbers
- $\S 495$. Frege's theory of series
- $\S 496$. Kerry's criticisms of Frege
- Appendix $\text {A}$. The Logical and Arithmetical Doctrines of Frege
- Appendix $\text {B}$. The Doctrine of Types
- $\S 497$. Statement of the doctrine
- $\S 498$. Numbers and propositions as types
- $\S 499$. Are propositional concepts individuals?
- $\S 500$. Contradiction arising from the question whether there are more classes of propositions than propositions
- Appendix $\text {B}$. The Doctrine of Types