Nature Of Mathematics Ilphil28First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company. |
Contents
PRELIMINARY SURVEY OF THREE TYPES OF OPINIONS | 7 |
LOGISTIC | 15 |
PAGE | 37 |
Russells definition of propositional function described | 48 |
The Algebra of Propositional Functions | 66 |
Extensional Functions of Functions | 68 |
Definitions of Descriptions and Classes | 74 |
Consistency of Definition of Classes as Incomplete | 80 |
Other Criticisms of the Axiom of Reducibility | 117 |
A dogma of the Austrian positivists is examined | 122 |
The Formalist View of Mathematics | 161 |
Note on Gödels Theorem | 167 |
INTUITIONISM | 169 |
Digression on the Theory of Sets of Points | 178 |
The Mathematical Controversy | 184 |
The Sociological Basis of Mathematics | 191 |
Intuitions of Continuity in a Sensory Field | 87 |
Dedekinds Definition of Real Number | 93 |
Solution of the Paradoxes | 100 |
Connection Between the Extended Infinite | 104 |
The Axiom of Reducibility | 111 |
Common terms and phrases
actually analysis appears applied arguments assert attempt axioms becomes called cardinal classes completely concepts concerning connected considered consists constructed containing continuity contradictions conventions corresponding criticism deduced defined definition denoted described determined difficulties discussion distinction elements equivalent example existence expression extension fact field of variation finite formal formalist formulæ geometry given groups identity important incomplete symbols indicate infinite integers introduction intuition intuitionist involved kind language latter logical logistic mathe mathematics meaning method multiplicity nature necessary notion objects obtained occur ordinal number particular philosophy possible present Principia Mathematica principle proof properties propositional calculus propositional functions proved pure mathematics question real numbers reason reducibility reference regarded relation replaced satisfy sense sentence sequence signs space specific statements structure substituted successive symbols theorems theory tion true truth values variable