Friday, October 2, 2015

Review: 'An Aristotelian Realist Philosophy of Mathematics' by James Franklin

I recently finished reading James Franklin's marvelous book, An Aristotelian Realist Philosophy of Mathematics, and I want to advertise it here. This is a great book. It is empirically informed by a wide knowledge of both actual mathematical practice and contemporary mathematics itself, along with other relevant areas of study such as perceptual psychology, neuroscience, and engineering. It also engages with much of the cutting edge in contemporary philosophy of mathematics, especially in the later chapters. This is some of the best of what Aristotelianism has to offer. I really hope people will read it.

Franklin aims to give an account of mathematics as the science of quantity and of structure. Franklin gives particularly clear definitions of both quantity and structure--something often lacking among contemporary structuralists in my opinion--and this in itself is a very important advance. According to his account, mathematics studies structural universals and quantities. These universals and quantities are the type of thing that can be found in the real world and can be literally had by concrete objects. Of course, not all mathematical structures are had by some concrete object, but it is essential to his account that they could be, i.e. that they are metaphysically possible.

While quantity seems to me to play a less central part in his project, his clear account of structure allows him to take his views a long way. Franklin understands a property to be purely structural just in case it can be defined completely in terms of 'part', 'whole', 'same', 'different', and purely logical vocabulary. The relations of 'part' and 'whole' will probably come into play in geometry, as well as set theory, graph theory, topology, analysis, etc. So, for instance, on this definition, the property of being a Euclidean space could probably be defined purely structurally; see for instance Hilbert's axioms. Also, the Peano axioms seem to describe purely structural relations, since they only invoke logical vocabulary and identity (other than the names for the relations being defined, of course). Franklin gives many more examples, so I refer the reader to his book for a treatment of further cases.

Franklin contrasts his approach with Platonism and nominalism in contemporary philosophy of mathematics. Unlike Platonism, the universals studied by mathematics can be literally instantiated by concrete things in the real world. What mathematics does is study these possibly instantiated structures. Mathematics does not study abstract, particular individuals. Number systems, for instance, would not be cashed out as consisting of abstract individuals (numbers), but as either systems of quantities or as structures which can be instantiated by concrete things. (Franklin's account of number, in fact, cashes out numbers as being relations which are literally instantiated in the world by material heaps and 'unit-making' universals.)

Against nominalism on the other hand, Franklin assumes that there are, in fact, mathematical universals that can be literally shared by different things. Again, Franklin also assumes that there are, in addition to those universals instantiated in the real world, universals which are not instantiated but are at least possibly instantiated.

By his choice of example he shows how contemporary philosophers of mathematics often miss the most central cases of mathematics. Contemporary philosophy of mathematics often has a Platonist bias, focusing on those cases that are less essential for use in real world applications (such as huge sets, large infinities, etc.). This is to the detriment of the most central and basic cases, which are the simple, often discrete and finite structures widely used in real-world applied sciences, and which are less amenable to Platonist interpretation.

He gives a far more plausible account of mathematical knowledge and empirical mathematical application than that offered by most Platonists. He also argues that contemporary philosophy of mathematics tends to not pay enough to attention to how mathematics is actually done, and therefore misses those aspects of mathematical practice that make more sense on an Aristotelian view. He shows a much closer parallel between actual mathematical practice and actual empirical scientific practice than is often recognized (for instance, by the unquestionable use of induction, plausible reasoning, and explanation in mathematics; he rightly notes that (in)formal proof is often only the last step in the equation). Franklin goes on to apply the Aristotelian conception of mathematics to many other philosophical issues, such as mathematical necessity, infinity, approximation, and ontology.

With that said, there are several parts of the theory that could be potentially problematic and call for more investigation. Just to shotgun a few of them out:
  • The reliance on a classical mereology of heaps and arbitrary sums (this is important for his definitions of whole numbers and sets).
  • The reliance on (immanent) universals, problematic from a trope nominalist perspective such as my own, and which might use a bit more explanation.
  • The commitment to uninstantiated universals (an idea classically denied by most Aristotelians, including Aristotle himself, and one which moves Franklin's account toward a "semi-Platonism" as he calls it).
  • His commitment to all mathematical structures being metaphysically possible (this is interesting to me; I bet Franklin's account could be seamlessly extended given a proper account of impossibility, impossible objects, impossible universals, and impossible worlds, and I bet this isn't essential to his view).
  • Giving a general, unified semantics for mathematical language (it's less than clear from the book how this is to be done; for instance, with the complex and negative numbers, Franklin gives what appear to be examples, or maybe geometrical/economical interpretations. But what would he say are the straight up truth-conditions for, say, -2 + 3i = 2(-1 + 3/2i)? Or (-2)(-3) = 6? Or of more general laws governing number systems?).
  • Showing more precisely and in individual cases how a more wide range of mathematical concepts are definable either purely structurally or quantitatively (ideally, it'd be nice if we could get to the point of giving a general paraphrase scheme or a general procedure--Franklin's account of set theory being purely structural is suggestive, so maybe we could show how any set-theoretical entity or relation could be defined structurally, and thereby show all mathematics to be interpretable structurally; either this or the last question I hope to work on for my term paper this semester).
  • The apparently ad hoc fictionalist account of zero and the empty set combined with a realist account of everything else (I can see fictionalists asking why we need the realistic ontology in some cases but not others).
  • Related to this last point, some unclarity/implausibility in the theory of ontology and ontological commitment at play, as well as some unclarity about the ontological status of mathematics (if it were made more clear when or why we are committed to some things but not others, and in what way, it'd probably be easier to answer questions such as the last one).
I don't have enough time to spell all these worries out, though if anyone is curious I can explain what I mean, and maybe after reading the book some of these worries will be clear. And I don't think these are damning or insuperable criticisms either; I think they are problems to be investigated, but Franklin's account seems to me to be certainly on the right track.

One last potential criticism that I feel kind of bad about making: I feel like the book doesn't really engage much with what's been said in contemporary neo-Aristotelian metaphysics and ontology. I feel bad about saying that because of the huge swaths of literature the book does, in fact, engage with (the number of works referenced is amazing; one wonders how somebody can read so much). But in certain respects (the mereology for instance, or the role of states of affairs), it seems like the book draws on some concepts with which many current Aristotelians might take issue. And like I said, the book's understanding of ontological commitment could have been a bit more clear; here, engagement with contemporary Aristotelian metaphysics (among others) might have been helpful as well.

Overall though this is an excellent book, and maybe even a game-changer, at least for me. It contains many more interesting ideas and arguments to grapple with than I've been able to discuss here. Whether one buys into it or not, Franklin admirably demonstrates the fruits of an Aristotelian approach, at least on one understanding of that term. He makes use of a wide variety of examples, from a wide variety of real world sciences (including, but very much not limited to, pure mathematics). By doing this he demonstrates how important it is to pay attention to actual empirical results and practice when doing any sort of metaphysical or epistemological investigation into the philosophical status of mathematics. And this seems to me to be one of the most important marks of the general Aristotelian attitude.

3 comments:

James Franklin said...

Thanks. That understands the book very well. Those comments on gaps, queries etc are to the point, so I hope you can write further about those. That will help things more forward.

awatkins909 said...

Thank you for the comment! It's good to know that I've understood the ideas correctly. And thanks again for writing this book. I found it tremendously helpful.

James Franklin said...

OK, go for it. The suggestion about writing on set theory and structure is a good one. I think the constructibility of just about all mathematical entities in set theory can always be reconstructed in structuralist terms (and in fact covers up a structuralist understanding). But I haven't attempted to do that in full. (Not sure, also, what to say about those few cases too big to do in set theory and that require category theory.)