An Aristotelian Philosophy of Mathematics breaks the impasse between Platonist and nominalist views of mathematics. Neither a study of abstract objects nor a mere language or logic, mathematics is a science of real aspects of the world as much as biology is. For the first time, a philosophy of mathematics puts applied mathematics at the centre. Quantitative aspects of the world such as ratios of heights, and structural ones such as symmetry and continuity, are parts of the physical world and (...) are objects of mathematics. Though some mathematical structures such as infinities may be too big to be realized in fact, all of them are capable of being realized. Informed by the author's background in both philosophy and mathematics, but keeping to simple examples, the book shows how infant perception of patterns is extended by visualization and proof to the vast edifice of modern pure and applied mathematical knowledge. (shrink)
In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)
The global/local contrast is ubiquitous in mathematics. This paper explains it with straightforward examples. It is possible to build a circular staircase that is rising at any point (locally) but impossible to build one that rises at all points and comes back to where it started (a global restriction). Differential equations describe the local structure of a process; their solution describes the global structure that results. The interplay between global and local structure is one of the great themes of mathematics, (...) but rarely discussed explicitly. (shrink)
• It would be a moral disgrace for God (if he existed) to allow the many evils in the world, in the same way it would be for a parent to allow a nursery to be infested with criminals who abused the children. • There is a contradiction in asserting all three of the propositions: God is perfectly good; God is perfectly powerful; evil exists (since if God wanted to remove the evils and could, he would). • The religious believer (...) has no hope of getting away with excuses that evil is not as bad as it seems, or that it is all a result of free will, and so on. Piper avoids mentioning the best solution so far put forward to the problem of evil. It is Leibniz’s theory that God does not create a better world because there isn’t one — that is, that (contrary to appearances) if one part of the world were improved, the ramifications would result in it being worse elsewhere, and worse overall. It is a “bump in the carpet” theory: push evil down here, and it pops up over there. Leibniz put it by saying this is the “Best of All Possible Worlds”. That phrase was a public relations disaster for his theory, suggesting as it does that everything is perfectly fine as it is. He does not mean that, but only that designing worlds is a lot harder than it looks, and determining the amount of evil in the best one is no easy matter. Though humour is hardly appropriate to the subject matter, the point of Leibniz’s idea is contained in the old joke, “An optimist is someone who thinks this is the best of all possible worlds, and a pessimist thinks.. (shrink)
Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.
The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This article (...) explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)
Throughout history, almost all mathematicians, physicists and philosophers have been of the opinion that space and time are infinitely divisible. That is, it is usually believed that space and time do not consist of atoms, but that any piece of space and time of non-zero size, however small, can itself be divided into still smaller parts. This assumption is included in geometry, as in Euclid, and also in the Euclidean and non- Euclidean geometries used in modern physics. Of the few (...) who have denied that space and time are infinitely divisible, the most notable are the ancient atomists, and Berkeley and Hume. All of these assert not only that space and time might be atomic, but that they must be. Infinite divisibility is, they say, impossible on purely conceptual grounds. (shrink)
Once the reality of properties is admitted, there are two fundamentally different realist theories of properties. Platonist or transcendent realism holds that properties are abstract objects in the classical sense, of being nonmental, nonspatial, and causally inefficacious. By contrast, Aristotelian or moderate realism takes properties to be literally instantiated in things. An apple’s color and shape are as real and physical as the apple itself. The most direct reason for taking an Aristotelian realist view of properties is that we perceive (...) them. We perceive an individual apple, but only as a certain shape, color, and weight, because it is those properties that confer on it the power to affect our senses. It is in virtue of being blue that a body reflects certain light and looks blue. Since “causality is the mark of being,” the properties that confer causal power are real. And that means a reality, not in a Platonic and acausal world of “abstract objects,” but in the ordinary concrete world in which we live. On an Aristotelian view, it is the business of science to determine which properties there are and to classify and understand the properties we perceive, and to find the laws connecting them. (shrink)
Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', `heuristic' or (...) `pragmatic', but that there must be an element of what it is rational to believe on the evidence, that is, of non-deductive logic. (shrink)
The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
In 1947 Donald Cary Williams claimed in The Ground of Induction to have solved the Humean problem of induction, by means of an adaptation of reasoning ﬁrst advanced by Bernoulli in 1713. Later on David Stove defended and improved upon Williams’ argument in The Rational- ity of Induction (1986). We call this proposed solution of induction the ‘Williams-Stove sampling thesis’. There has been no lack of objections raised to the sampling thesis, and it has not been widely accepted. In our (...) opinion, though, none of these objections has the slightest force, and, moreover, the sampling thesis is undoubtedly true. What we will argue in this paper is that one particular objection that has been raised on numerous occasions is misguided. This concerns the randomness of the sample on which the inductive extrapolation is based. (shrink)
Defends the cosmological argument for the existence of God against Hume's criticisms. Hume objects that since a cause is before its effect, an eternal succession has no cause; but that would rule of by fiat the possibility of God's creating the world from eternity. Hume argues that once a cause is given for each of a collection of objects, there is not need to posit a cause of the whole collection; but that is to assume the universe to be a (...) heap of things arbitrarily grouped rather than a whole arbitrarily divided. (shrink)
According to Quine’s indispensability argument, we ought to believe in just those mathematical entities that we quantify over in our best scientific theories. Quine’s criterion of ontological commitment is part of the standard indispensability argument. However, we suggest that a new indispensability argument can be run using Armstrong’s criterion of ontological commitment rather than Quine’s. According to Armstrong’s criterion, ‘to be is to be a truthmaker (or part of one)’. We supplement this criterion with our own brand of metaphysics, 'Aristotelian (...) (...) realism', in order to identify the truthmakers of mathematics. We consider in particular as a case study the indispensability to physics of real analysis (the theory of the real numbers). We conclude that it is possible to run an indispensability argument without Quinean baggage. (shrink)
Dispostions, such as solubility, cannont be reduced to categorical properties, such as molecular structure, without some element of dipositionaity remaining. Democritus did not reduce all properties to the geometry of atoms - he had to retain the rigidity of the atoms, that is, their disposition not to change shape when a force is applied. So dispositions-not-to, like rigidity, cannot be eliminated. Neither can dispositions-to, like solubility.
The imperviousness of mathematical truth to anti-objectivist attacks has always heartened those who defend objectivism in other areas, such as ethics. It is argued that the parallel between mathematics and ethics is close and does support objectivist theories of ethics. The parallel depends on the foundational role of equality in both disciplines. Despite obvious differences in their subject matter, mathematics and ethics share a status as pure forms of knowledge, distinct from empirical sciences. A pure understanding of principles is possible (...) because of the simplicity of the notion of equality, despite the different origins of our understanding of equality of objects in general and of the equality of the ethical worth of persons. (shrink)
The winning entry in David Stove's Competition to Find the Worst Argument in the World was: “We can know things only as they are related to us/insofar as they fall under our conceptual schemes, etc., so, we cannot know things as they are in themselves.” That argument underpins many recent relativisms, including postmodernism, post-Kuhnian sociological philosophy of science, cultural relativism, sociobiological versions of ethical relativism, and so on. All such arguments have the same form as ‘We have eyes, therefore we (...) cannot see’, and are equally invalid. (shrink)
When a company raises its share price by sacking workers or polluting the environment, it is avoiding paying real costs. Accountancy, which quantifies certain rights, needs to combine with applied ethics to create a "computational casuistics" or "moral accountancy", which quantifies the rights and obligations of individuals and companies. Such quantification has proved successful already in environmental accounting, in health care allocation and in evaluating compensation payments. It is argued that many rights are measurable with sufficient accuracy to make them (...) credible and legally actionable. (shrink)
"Does torture work?" is a factual rather than ethical or legal question. But legal and ethical discussions of torture should be informed by knowledge of the answer to the factual question of the reliability of torture as an interrogation technique. The question as to whether torture works should be asked before that of its legal admissibility—if it is not useful to interrogators, there is no point considering its legality in court.
The philosophy of mathematics has largely abandoned foundational studies, but is still fixated on theorem proving, logic and number theory, and on whether mathematical knowledge is certain. That is not what mathematics looks like to, say, a knot theorist or an industrial mathematical modeller. The "computer revolution" shows that mathematics is a much more direct study of the world, especially its structural aspects.
The late twentieth century saw two long-term trends in popular thinking about ethics. One was an increase in relativist opinions, with the “generation of the Sixties” spearheading a general libertarianism, an insistence on toleration of diverse moral views (for “Who is to say what is right? – it’s only your opinion.”) The other trend was an increasing insistence on rights – the gross violations of rights in the killing fields of the mid-century prompted immense efforts in defence of the “inalienable” (...) rights of the victims of dictators, of oppressed peoples, of refugees. The obvious incompatibility of those ethical stances, one anti-objectivist, the other objectivist in the extreme, proved no obstacle to their both being held passionately, often by the same people. (shrink)
The classical arguments for scepticism about the external world are defended, especially the symmetry argument: that there is no reason to prefer the realist hypothesis to, say, the deceitful demon hypothesis. This argument is defended against the various standard objections, such as that the demon hypothesis is only a bare possibility, does not lead to pragmatic success, lacks coherence or simplicity, is ad hoc or parasitic, makes impossible demands for certainty, or contravenes some basic standards for a conceptual or linguistic (...) scheme. Since the conclusion of the sceptical argument is not true, it is concluded that one can only escape the force of the argument through some large premise, such as an aptitude of the intellect for truth, if necessary divinely supported. (shrink)
Einstein, like most philosophers, thought that there cannot be mathematical truths which are both necessary and about reality. The article argues against this, starting with prima facie examples such as "It is impossible to tile my bathroom floor with regular pentagonal tiles." Replies are given to objections based on the supposedly purely logical or hypothetical nature of mathematics.
Pascal’s wager and Leibniz’s theory that this is the best of all possible worlds are latecomers in the Faith-and-Reason tradition. They have remained interlopers; they have never been taken as seriously as the older arguments for the existence of God and other themes related to faith and reason.
Replies to Kevin de Laplante’s ‘Certainty and Domain-Independence in the Sciences of Complexity’ (de Laplante, 1999), defending the thesis of J. Franklin, ‘The formal sciences discover the philosophers’ stone’, Studies in History and Philosophy of Science, 25 (1994), 513-33, that the sciences of complexity can combine certain knowledge with direct applicability to reality.
Though there is no international government, there are many international regimes that enact binding regulations on particular matters. They include the Basel II regime in banking, IFRS in accountancy, the FIRST computer incident response system, the WHO’s system for containing global epidemics and many others. They form in effect a very powerful international public sector based on technical expertise. Unlike the public services of nation states, they are almost free of accountability to any democratically elected body or to any legal (...) system. Although by and large they have acted for good, the dangers of long-term unaccountability are illustrated by the travesties of justice perpetrated by the International Labour Organisation Administrative Tribunal. (shrink)
Modern philosophy of mathematics has been dominated by Platonism and nominalism, to the neglect of the Aristotelian realist option. Aristotelianism holds that mathematics studies certain real properties of the world – mathematics is neither about a disembodied world of “abstract objects”, as Platonism holds, nor it is merely a language of science, as nominalism holds. Aristotle’s theory that mathematics is the “science of quantity” is a good account of at least elementary mathematics: the ratio of two heights, for example, is (...) a perceivable and measurable real relation between properties of physical things, a relation that can be shared by the ratio of two weights or two time intervals. Ratios are an example of continuous quantity; discrete quantities, such as whole numbers, are also realised as relations between a heap and a unit-making universal. For example, the relation between foliage and being-a-leaf is the number of leaves on a tree, a relation that may equal the relation between a heap of shoes and being-a-shoe. Modern higher mathematics, however, deals with some real properties that are not naturally seen as quantity, so that the “science of quantity” theory of mathematics needs supplementation. Symmetry, topology and similar structural properties are studied by mathematics, but are about pattern, structure or arrangement rather than quantity. (shrink)
The late scholastics, from the fourteenth to the seventeenth centuries, contributed to many ﬁelds of knowledge other than philosophy. They developed a method of conceptual analysis that was very productive in those disciplines in which theory is relatively more important than empirical results. That includes mathematics, where the scholastics developed the analysis of continuous motion, which fed into the calculus, and the theory of risk and probability. The method came to the fore especially in the social sciences. In legal theory (...) they developed, for example, the ethical analyses of the conditions of validity of contracts, and natural rights theory. In political theory, they introduced constitutionalism and the thought experiment of a “state of nature”. Their contributions to economics included concepts still regarded as basic, such as demand, capital, labour, and scarcity. Faculty psychology and semiotics are other areas of signiﬁ cance. In such disciplines, later developments rely crucially on scholastic concepts and vocabulary. (shrink)
If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..
A standard view of probability and statistics centers on distributions and hypothesis testing. To solve a real problem, say in the spread of disease, one chooses a “model”, a distribution or process that is believed from tradition or intuition to be appropriate to the class of problems in question. One uses data to estimate the parameters of the model, and then delivers the resulting exactly specified model to the customer for use in prediction and classification. As a gateway to these (...) mysteries, the combinatorics of dice and coins are recommended; the energetic youth who invest heavily in the calculation of relative frequencies will be inclined to protect their investment through faith in the frequentist philosophy that probabilities are all really relative frequencies. Those with a taste for foundational questions are referred to measure theory, an excursion from which few return. That picture, standardised by Fisher and Neyman in the 1930s, has proved in many ways remarkably serviceable. It is especially reasonable where it is known that the data are generated by a physical process that conforms to the model. It is not so useful where the data is a large and little understood mess, as is typical in, for example, insurance data being investigated for fraud. Nor is it suitable where one has several speculations about possible models and wishes to compare them, or.. (shrink)
Democracy has difficulties with the rights on non-voters (children, the mentally ill, foreigners etc). Democratic leaders have sometimes acted ethically, contrary to the wishes of voters, e.g. in accepting refugees as immigrants.
This paper discusses an argument for the reality of the classical mathematical continuum. An inference to the best explanation type of argument is used to defend the idea that real numbers exist even when they cannot be constructively specified as with the "indefinable numbers".
Defends the arguments for the irredicibility of dispositions to categorical properties in "Are dispositions reducible to categorical properties?" (Philosophical Quarterly 36, 1986) against the criticisms of D.M. Armstrong (Philosophical Quarterly 38, 1988).
Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so (...) that ignorance of their nature is profound. (shrink)
Aristotelian, or non-Platonist, realism holds that mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things and sociology studies human social relations, mathematics studies the quantitative or structural aspects of things, such as ratios, or patterns, or complexity, or numerosity, or symmetry. Let us start with an example, as Aristotelians always prefer, an example that introduces the essential themes of the Aristotelian view of mathematics. A typical mathematical truth is (...) that there are six different pairs in four objects: Figure 1. There are 6 different pairs in 4 objects The objects may be of any kind, physical, mental or abstract. The mathematical statement does not refer to any properties of the objects, but only to patterning of the parts in the complex of the four objects. If that seems to us less a solid truth about the real world than the causation of flu by viruses, that may be simply due to our blindness about relations, or tendency to regard them as somehow less real than things and properties. But relations (for example, relations of equality between parts of a structure) are as real as colours or causes. (shrink)
Let me tell you what philosophy is about, then about how Sydney does it in its own special way. Does life have a meaning, and if so what is it? What can I be certain of, and how should I act when I am not certain? Why are the established truths of my tribe better than the primitive superstitions of your tribe? Why should I do as I’m told? Those are questions it’s easy to avoid, in the rush to acquire (...) goods and prestige. Even for many of a more serious outlook, they are questions easy to dismiss with excuses like “it’s all a matter of opinion” or “let’s get on with practical matters” or “they’re too hard”. They are questions that may be ignored, but they do not go away. They’re philosophical questions. There’s a right way to approach them – you read the writings of the classical and recent philosophers and consider carefully their arguments back and forth. There are many wrong ways to approach them, such as choosing at random among the ideas your parents or friends or gurus have, or ideas that feel good. Or you can just not bother. Sydney has a certain reputation for superficiality in this regard. A character in David Williamson’s Emerald City says “No-one in Sydney ever wastes time debating the meaning of life — it’s getting yourself a water frontage”, says If you have a Writers Festival or a conference on Happiness in Sydney, you don’t normally expect philosophers to be invited. Caroline Jones’ radio series, ‘The Search for Meaning’. (shrink)
The report begins by outlining several case studies with varying levels of data, examining the role for extreme event risk analysis. The case studies include BA’s analysis of fire blight and New Zealand apples, bank operational risk and several technical failures. The report then surveys recent developments in methods relevant to evaluating extreme risks and evaluates their properties. These include methods for fraud detection in banks, formal extreme value theory, Bayesian approaches, qualitative reasoning, and adversary and advocacy models. The document (...) includes a supplementary report as an appendix, providing an overview of the quantification of bank operational risks. (shrink)
We first survey the Catholic social justice tradition, the foundation on which Caritas in Veritate builds. Then we discuss Benedict’s addition of love to the philosophical virtues (as applied to economics), and how radical a change that makes to an ethical perspective on economics. We emphasise the reality of the interpersonal aspects of present-day economic exchanges, using insights from two disciplines that have recognized that reality, human resources and marketing. Finally, we examine the prospects for an economics of gratuitousness at (...) a level higher than the individual, that is, for businesses devoted to social ends more than profit. -/- . (shrink)
THE HISTORY OF IDEAS is full of more tall stories than most other departments of history. Here are three which manage to combine initial implausibility with impregnability to refutation: that in the Middle Ages it was believed that the world was flat; that medieval philosophers debated as to how many angels could dance on the head of a pin; that Galileo revolutionised physics by dropping weights from the Leaning Tower of Pisa. None of these stories is true, and no competent (...) historian has asserted any of them, but none shows any sign of disappearing from the public consciousness. (shrink)
The large Eastern European migration program to Australia in the late 1940s was driven not only by Australia's need for migrants, but by Catholic views on the rights of refugees and an international Cold War plan to resettle the million people who had fled the Red Army.