John Penn Mayberry


John Penn Mayberry was an American mathematical philosopher and creator of a distinctive Aristotelian philosophy of mathematics to which he gave expression in his book The Foundations of Mathematics in the Theory of Sets. Following completion of a Ph.D. at Illinois under the supervision of Gaisi Takeuti, he took up, in 1966, a position in the mathematics department of the University of Bristol. He remained there until his retirement in 2004 as a Reader in Mathematics.

Philosophical work

On the one hand, Mayberry's philosophy rejects the Platonic tradition, which holds mathematics to be a transcendental science concerned with discovering truths about immaterial, but intelligible, objective entities, as metaphysically conceited. This stance sets him apart from what probably is the “silent majority” view among practising mathematicians. Roger Penrose eloquently expresses a typical Platonic position.
On the other hand, Mayberry also vehemently rejects any understanding of mathematics tainted, as he would think of it, by operationalism. He writes:
The most archetypal and most universally promulgated of such operationalist doctrines is that the natural numbers can be constructed beginning with 1, adding 1 to get 2, adding 1 again to get 3 and continuing indefinitely. This is expressed by the notation N = 1, 2, 3 ……. where the dots denote the indefinite replication of “adding 1”. In accepting these dots of ellipsis, one accepts the intelligibility of indefinite iteration. Mayberry does not believe that a definition of this type is sufficiently clear and sufficiently disentangled from naïve and possibly misguided intuitions about the nature of time as to warrant its inclusion in mathematics without further justification. He writes:

His stance puts him at odds not just with pedagogic practice over the last few centuries but also with a tradition going back to antiquity. In Definition 4 of Book V of his Elements, Euclid defines two magnitudes of the same type, A and B, to “have a ratio to one another” as follows:
In other words, if the repeated addition of one of them, say A, to itself results in a magnitude that exceeds the other, say B, i.e. for some natural number n, nA > B. Conversely A and B are do not have a ratio to one another if the indefinitely repeated addition of one of them to itself never produces a magnitude exceeding the other. In Book V Euclid develops a general theory of ratios and in Book VI demonstrates the power of the ratio concept both greatly to simplify derivations given in Books I - IV and to extend the scope of some of the theorems of Books I –IV. Particularly notable examples are Book III Prop. 35, where a much simpler proof using similar triangles is immediately available, and Book VI Prop. 31 where he extends Pythagoras’ theorem from squares to general similar figures.
In Book VII Euclid introduces, as another type of magnitude alongside his geometric ones of line, angle and figure, the concept of “arithmos”. This is to be understood as “a multitude of units” where a unit is “that by which we call something a one”. With some reservations about the status of singletons and the empty set, the Greek notion of “arithmos” is thus essentially the modern notion of “set”. Mayberry notes that it struck him with the force of a revelation that the significance of Euclid's Common Notion 5, - “the whole is greater than the part” - when applied to arithmoi is that an arithmos cannot be congruent, where this word is understood following Heath as “can be placed upon with an exact fit”, to any proper part of itself, or, in other words, that a set is finite in the modern sense of there being no 1-1 correspondence between the set and a proper subset of itself. The fact that Greek arithmetic, and in particular Euclid Books VII-IX, is really the study of finite sets has been obscured by the ubiquitous translation of “arithmos” as “number” and the transformation in the notion of number from its original “arithmos” meaning to "ratio" that occurred in the 17th century. The transformation in meaning was given clear expression by Newton in his Lectures.
Mayberry's convictions as to the true historical sequence of events in the development of key mathematical concepts are central to his philosophical orientation. He was led to these by his reading of Jacob Klein's "Greek Mathematical Thought and the Origin of Algebra". and Richard Dedekind's memoir "Was sind und was sollen die Zahlen".
From the middle of the 17th to the 19th century the natural numbers and the notion of unlimited iteration on which they rely acquired foundational status in mathematics, both pragmatically and philosophically. On the philosophical side, Kant classified arithmetic propositions as synthetic a priori knowledge and, in parallel with a similar analysis of geometric theorems which he traced to our intuition of space, traced their compelling nature to our intuition of time. Kant's general position with regard to Arithmetic received the endorsement of the greatest practising mathematicians of the 19th century. Even Gauss, though in dissent from Kant's position on the status of geometry, endorsed his position on Arithmetic.
Almost a century later Poincare writes:
Of the significant figures in the 19th century, only Dedekind appears to have stood against the Kantian consensus. In Was sind und was sollen die Zahlen, he coolly writes:
Dedekind, whom Mayberry greatly admired, showed that the natural numbers could be established without any dependence on a Kantian intuition of time or reliance on indefinitely repeated operations. He did so however on the basis of an explicit acceptance of Cantor's Axiom of Infinity, which, as Mayberry points out, is best understood as simply a contradiction of Euclid's Common Notion 5 as applied to arithmoi. Dedekind's work did not however cause the view that the natural numbers and iterative processes have a special foundational status to lose credit among most mathematicians. The Intuitionist movement, while sharing with Mayberry a rejection of a Platonist understanding of the meaning of mathematics, resorted to an operationalist understanding of the subject, driving an acceptance of indefinitely protracted iterative processes to the very heart of their thinking. The Formalist movement, following Hilbert's program of saving the mathematical fruits of Cantor's Axiom of Infinity via finitary consistency proofs, likewise, in the very definitions of formal systems and the establishment of their properties, accorded a special status to indefinite iteration and associated definitions by recursion and proofs by induction.
Mayberry's position is that all of this, right from Book V of Euclid, constitutes an aberration from the true spirit of mathematics as exemplified in Euclid Books I-IV. The central purpose of his book is to explain his position and to show that it is not corrosive of the essential content or the modern practice of mathematics, but, in his recommendation of a clearer Aristotelian understanding of what mathematics is about and the standard of rigour appropriate to his more exigent understanding of meaning, he is following in a tradition initiated by Cantor of restoring meaning to mathematics after three centuries of formalism. However, in Mayberry's eyes a modern platonically inspired doctrine that holds that say, proper classes, objectively exist is as much a departure from good sense and probable truthfulness as, say, the early 19th century formalistically inspired doctrine, Peacock's “Principle of the equivalence of Permanent Forms”.
Mayberry's positive philosophical views flow from his determined adherence to a small number of philosophical doctrines inspired partly by Aristotle and partly by reflection on the almost two and a half millennia of mathematical experience, particularly that of the 19th century.
He is an Aristotelian realist in basic agreement with Aristotle's opinion that mathematics, and in particular the study of arithmoi, is a natural science taking its place alongside other special interest scientific subjects such as entomology or ornithology and dealing with objectively existing this-worldly things. Aristotle writes:
and elsewhere:
The science that Mayberry concerns himself with is Arithmetic, understood both in a purified version of the sense Euclid gives the word in Books VII – IX, and also, as he claims, in the sense that Cantor has given the word. The first of Mayberry's core positions is agreement with Aristotle that the Arithmetician studies things and certain pluralities of things qua units and arithmoi in an essentially analogous way to the entomologist's study of things and certain pluralities of things qua insects and insect colonies. He accepts Euclid's lapidary definition of “unit”, demurring only from Heath's translation of “εκαστον των οντων“ as “each of the things that exist” as philosophically overloaded In regard to the definition of “arithmos” Mayberry would crucially prefix the word “multitude” in Euclid's definition - “ An arithmos is a multitude composed of units” - with the word “definite”. By this he means that arithmoi have definite objectively existing, bounds or limits – not in the sense that arithmoi are constrained in size or are amenable to any operational procedure such as counting out, or comprise exactly those things for which some linguistically formulated condition holds, but only in the sense that it is true of any individual thing that it is either in the arithmos or not in it. In particular conformity to Common Notion 5 is not implied in the very concept “arithmos” but merely a judgement that all arithmoi possess, as it happens, this property. For pluralities defined by conformity to some condition or correspondence with some common noun – e.g. “arithmoi with more than three units” or “horses” – Mayberry uses the Aristotelian word "species". A species exists merely because we can conceive it: it is not an objective thing in the world but a thought in our heads, while the things that fall into a species may or may not coincide with an arithmos. Similar remarks apply to other conceptions such as "property" - e.g. that of being and ordinal or "global function" e.g. the Power Set and Union operators. Mayberry writes :
The second of Mayberry's core philosophical doctrines is that things and arithmoi of things objectively exist and are part of the fabric of external reality. The ontological credentials of an arithmos are exactly those of its constituent units. It is not however the task of the mathematician to investigate or speculate whether things falling into a species – such as clouds in the sky, shades of red, human emotional states, men of the 22nd century – are sufficiently clearly individuated to constitute units of possible arithmoi or whether the boundaries of pluralities of things – e.g. should we count centaurs and mermaids as falling into the species “human kind”? is it exactly determined when shades of red end and shades of purple begin ? - are sufficiently clearly delineated as to constitute an arithmos. The work of the arithmetician can begin with the simple assumption that there are objective clearly individuated things which he can take as units and definite pluralities of such things that he can take as arithmoi. Mayberry writes:
and, a little later on:
The third of Mayberry's core philosophical doctrines is that definitions made, properties defined, and arguments constructed using the quantifies “For all” and “There exist” are only intelligible, as statements of objective fact, if the scope of each quantifier is restricted to a definite arithmos. So, for instance, if we are dealing with girls, qua units, and know how to compare two girls in respect of the property “clever” we can sensibly say “Joan is the cleverest girl in her class” but not “Joan is the cleverest girl” tout court, as the latter statement purports to quantify over all the things falling into the species “girl”. This stance gives him an additional reason to reject the foundational pretensions of the two classical first order axiomatic systems of Peano Arithmetic and Zermelo-Fraenkel set theory. Not only does he object to the operationalism inherent in the very construction of such formal systems, but he now also rejects the intelligibility of the free use of unrestricted quantifiers in the formation of predicates in the axiom schemata of Induction and Replacement.
Mayberry's fourth core doctrine is connected with his third. He affirms that in dealing with units and arithmoi - i.e. with things - we can unproblematically use classical logic, whereas in dealing with thoughts – such as species, global functions, general constructions properties etc. – the appropriate logic is intuitionistic. In particular if we know that the assumption "All members of the arithmos a possess the property P" implies an absurdity, then we can legitimately infer "there exists some member of a, x, for which P does not hold". However, if we make a statement using a quantifier over a species e.g. "there exists some thing possessing P" or "P holds of all things" we are no longer reporting an objective fact that must be either the case or not the case. The affirmer of such a statement has to be understood as making a claim that he has in mind a justification of it – i.e. in the case of a universal quantifier, grounds for believing that given any conceivable thing P holds of it, or in the case of an existential quantifier, he knows of an instance of the species for which P holds. Since statements incorporating unrestricted quantifiers must be understood subjectively, it is clear that Excluded Middle principle is then simply not valid. For instance if the meaning of “For all things P holds" is “I have in mind a general construction to produce for each thing an argument that P holds of that thing" and the meaning of "there exist a thing for which P does not hold" is "I have in mind a construction to produce a thing for which P fails to hold.” then I cannot necessarily assert that the disjunction is true as I may, for instance, have no constructions at all in mind. On this topic Mayberry writes:

Mayberry's fifth core doctrine is that, broadly in analogy with Euclid's postulates for Geometry, postulates for Arithmetic can be laid down, making a good a defect in the Elements which, contrary to the expectations created by the structure Common Notions and Postulates for Geometry, do not contain any such postulates. Mayberry carries out this program in Chapter 4 of his book. His postulates follow, to some degree Euclid in form, but the axiomatic ideas about sets issuing from the 19th and early 20th centuries, in content. Broadly analogous to Euclid's postulates on the construction of a circle given a point and a line or the construction of a unique straight line given two points are the postulates to do with Union, Power Set and Cartesian product which posit global constructions producing new arithmoi from one or more given ones. Somewhat different however are his postulates on Replacement and Comprehension. These do not set out individual constructions which simply have to be grasped but rather make affirmations about all possible constructions and all conceivable properties. In a sense one can understand them as affirming the existence of general bridges from thoughts to things. Both however can, like the postulates concerning specific constructions, be understood as "finiteness principles" affirming the existence of new arithmoi. Mayberry's “corrected” Euclid would thus underpin the sister disciplines of Geometry and Arithmetic with Common Notions, applicable to both, supplemented by two sets of Postulates, one for each discipline. Indeed, in so far as Geometry does rely on the notion of arithmos – it does so even in defining triangles, quadrilaterals, pentagons etc., but more exigently in some Propositions, e.g.. Book VI Prop. 31, which make affirmations about general polygons - the “corrected” Euclid would place the study of Arithmoi before that of Geometry.
The final item of Mayberry's core philosophy is his belief that in Euclid's failure to recognise the force of Common Notion 5 – when applied to arithmoi a great historical opportunity was missed and, in his allowing himself definition by iteration, a huge misstep was taken whose consequences have ramified through the history of mathematics. Equipped with a proper appreciation of Common Notion 5 and eschewing iteration, a “corrected” Euclid would have pursued those parts of mathematics that are concerned with the finite – in addition to the actual modest content of Books 7-9, natural number theory, finite combinatorics, finite group and field theory and more generally the study of finite structures. Mayberry's calls this subject Euclidean Arithmetic and devotes a considerable part of his book to developing the basics of it. He is concerned in particular with establishing to what degree proof by induction and definition by recursion are at all warranted. He shows that, far from the Euclidean theory of arithmoi being a minor rework of modern natural number theory, in fact no viable notion of the natural numbers can be established in Euclidean Arithmetic. Complementing his view on Euclidean Arithmetic Mayberry takes the view that, just as an alternative Geometries were created by denying Euclid's axiom of parallels, an alternative Arithmetic is created by denying Common Notion 5 and affirming the existence of at least one arithmos for which the whole can be put in 1-1 correspondence with a part. This theory, which Mayberry would prefer to name Cantorian Arithmetic, is of course, modern set theory, which has shown itself capable of subsuming all of mathematics and in particular the Geometry which, in the Euclidean dispensation of adherence to Common Notion 5, is a separate sister discipline of Arithmetic.
Mayberry's philosophy seeks to impose a new standard, flowing from his ontological and semantic convictions, of clarity and rigour on mathematics to be achieved in the first instance through a program of systematic separation of Euclidean from Cantorian mathematics. In the Euclidean case this standard would require practitioners both of Geometry and Arithmetic to eschew all appeal to iterative processes. The consequent most immediate challenge in Geometry is to “correct” Euclid by establishing the theorems of Book VI on the basis of the methods and techniques of Books I-IV, avoiding the use of the ratio concept introduced in Book V. For Arithmetic the corresponding challenge is to establish the results of Book VII-IX without resort to the sort of iterative procedure that Euclid allows himself in the definition of multiplication. For Cantorian Arithmetic the main challenge would be to show that the great body of infinitary mathematics - the disciplines flowing in one way or another from the calculus - does not require unbounded quantifiers and consequently that the instances of the Replacement Schema of the Zermelo-Fraenkel axioms for set theory involving such quantifiers, are, as well as being disallowed by Mayberry's general philosophy, in any case technically redundant.