David Fairweather Foxon, a Fellow of the British Academy, published English Verse 1701–1750: a Catalogue, a book that not only took a long leap forward into a new century; it also provided a cross-section through the record of all British books and books printed abroad in English in a period in which the total number of books, periodicals, and ephemera began to increase exponentially. The period was also one in which the whole concept of authorship and the relationship between author (...) and the book trade changed substantially, as a result of the Copyright Act. Foxon was born in Paignton, the son of a Methodist minister. Bletchley Park was a crucial experience for him, socially and intellectually. He met a variety of gifted academics, some eccentric, mostly from Oxford or Cambridge, at an early age; it gave him training in codebreaking; and it introduced him to his future wife. Foxon was involved in the recataloguing of the British Museum Library, a gigantic undertaking that had begun in 1929. (shrink)

17 essays discussing the role of language in the history of western thought. Since Adam before the Fall named the animals by true insight into their essences, language has never ceased to be the pivot of efforts to understand human nature and our capacity to feel at home in the twin worlds of nature and society. This volume brings together seventeen essays that have appeared in the Journal of the History of Ideasover the last thirty years. Their common theme is (...) the role of language in aspects of the history of western thought from the Renaissance to the nineteenth century. The essays cover questions in epistemology, religion, anthropology, lexicography, evolution, the theory of signs, and the origin of language. Contributors: FRANK L. BORCHARDT, MARGRETA DE GRAZIA, SIDONIE CLAUSS, JAN MIEL, THOMAS C.SINGER, VICTOR ANTHONY RUDOWSKI, JULES PAUL SEIGEL, JAMES McLAVERTY, J.R. KNOWLSON, STEPHEN K. LAND, LIA FORMIGARI, H.J. JACKSON, W. JAY REEDY, V.P. BYNACK, CYMBRE QUINCYRAUB, MICHAEL SPRINKER, S. MORRIS ENGEL. (shrink)

Chapter The Need for a Theory of Argument Structure. THE STANDARD APPROACH The approach to argument diagramming which we call standard was originated, ...

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)

When, if ever, is one justified in accepting the premises of an argument? What is the proper criterion of premise acceptability? Can the criterion be theoretically or philosophically justified? This is the first book to provide a comprehensive theory of premise acceptability and it answers the questions above from an epistemological approach that the author calls common sense foundationalism. It will be eagerly sought out not just by specialists in informal logic, critical thinking, and argumentation theory but also by a (...) broader range of philosophers and those teaching rhetoric. (shrink)

In What Science Knows, the Australian philosopher and mathematician James Franklin explains in captivating and straightforward prose how science works its magic. It offers a semipopular introduction to an objective Bayesian/logical probabilist account of scientific reasoning, arguing that inductive reasoning is logically justified (though actually existing science sometimes falls short). Its account of mathematics is Aristotelian realist.

An approach to argument macrostructure -- The dialectical nature of argument -- Toulmin's problematic notion of warrant -- The linked-convergent distinction, a first approximation -- Argument structure and disciplinary perspective : the linked-convergent versus multiple-co-ordinatively compound distinctions -- The linked-convergent distinction, refining the criterion -- Argument structure and enthymemes -- From analysis to evaluation.

The perturbative approach to quantum field theory has long been viewed with suspicion by philosophers of science. This article offers a diagnosis of its conceptual problems. Drawing on Norton’s discussion of the notion of approximation I argue that perturbative QFT ought to be understood as producing approximations without specifying an underlying QFT model. This analysis leads to a reassessment of common worries about perturbative QFT. What ends up being the key issue with the approach on this picture is not mathematical (...) rigour, or the threat of inconsistency, but the need for a physical explanation of its empirical success. 1Three Worries about Perturbative Quantum Field Theory2The Perturbative Formalism 2.1Expanding the S-matrix2.2Perturbative renormalization3Approximations and Models4Perturbative Quantum Field Theory Produces Approximations5The Real Problem. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Providing a precise statement of their position has long been a central challenge facing the scientific realist. This paper draws some morals about how realism ought to be formulated from the renormalization group framework in high energy physics.

How were reliable predictions made before Pascal and Fermat's discovery of the mathematics of probability in 1654? What methods in law, science, commerce, philosophy, and logic helped us to get at the truth in cases where certainty was not attainable? The book examines how judges, witch inquisitors, and juries evaluated evidence; how scientists weighed reasons for and against scientific theories; and how merchants counted shipwrecks to determine insurance rates. Also included are the problem of induction before Hume, design arguments for (...) the existence of God, and theories on how to evaluate scientific and historical hypotheses. It is explained how Pascal and Fermat's work on chance arose out of legal thought on aleatory contracts. The book interprets pre-Pascalian unquantified probability in a generally objective Bayesian or logical probabilist sense. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (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)

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 logical interpretation of probability, or "objective Bayesianism'' – the theory that (some) probabilities are strictly logical degrees of partial implication – is defended. The main argument against it is that it requires the assignment of prior probabilities, and that any attempt to determine them by symmetry via a "principle of insufficient reason" inevitably leads to paradox. Three replies are advanced: that priors are imprecise or of little weight, so that disagreement about them does not matter, within limits; that it (...) is possible to distinguish reasonable from unreasonable priors on logical grounds; and that in real cases disagreement about priors can usually be explained by differences in the background information. It is argued also that proponents of alternative conceptions of probability, such as frequentists, Bayesians and Popperians, are unable to avoid committing themselves to the basic principles of logical probability. (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 lack of concrete guidance provided by managerial moral standards and the ambiguity of the expectations they create are discussed in terms of the moral stress experienced by many managers. It is argued that requisite clarity and feelings of obligation with respect to moral standards derive ultimately from public discussion of moral issues within organizations and from shared public agreement about appropriate behavior. Suggestions are made about ways in which the moral dimension of an organization's culture can be more effectively (...) managed. This is the third in a research series of three papers. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the truthmaker (...) of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (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)

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 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.

The orthodox characterization of spontaneous symmetry breaking in statistical mechanics appeals to novel properties of systems with infinite degrees of freedom, namely, the existence of multiple equilibrium states. This raises the same puzzles about the status of the thermodynamic limit fueling recent debates about phase transitions. I argue that there are prospects of explaining the success of the standard approach to SSB in terms of the properties of large finite systems. Consequently, despite initial appearances, the need to account for SSB (...) phenomena does not offer decisive support to claims about the explanatory and representational indispensability of the thermodynamic limit. (shrink)

Dispostions, such as solubility, cannot 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 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)

Ludwig Wittgenstein's _Tractatus Logico-Philosophicus_ and _Philosophical Investigations_ are among the most influential philosophical books of the twentieth century, and also among the most perplexing. Wittgenstein warned again and again that he was not and would not be understood. Moreover, Wittgenstein's work seems to have little relevance to the way philosophy is done today. In _Wittgenstein in Exile_, James Klagge proposes a new way of looking at Wittgenstein -- as an exile -- that helps make sense of this. Wittgenstein's exile (...) was not, despite his wanderings from Vienna to Cambridge to Norway to Ireland, strictly geographical; rather, Klagge argues, Wittgenstein was never at home in the twentieth century. He was in exile from an earlier era -- Oswald Spengler's culture of the early nineteenth century. Klagge draws on the full range of evidence, including Wittgenstein's published work, the complete Nachlaß, correspondence, lectures, and conversations. He places Wittgenstein's work in a broad context, along a trajectory of thought that includes Job, Goethe, and Dostoyevsky. Yet Klagge also writes from an analytic philosophical perspective, discussing such topics as essentialism, private experience, relativism, causation, and eliminativism. Once we see Wittgenstein's exile, Klagge argues, we will gain a better appreciation of the difficulty of understanding Wittgenstein and his work. (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)

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.

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

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 pandemic significantly raised the stakes for the translation of bioethics insights into policy. The novelty, range and sheer quantity of the ethical problems that needed to be addressed urgently within public policy were unprecedented and required high‐bandwidth two‐way transfer of insights between academic bioethics and policy. Countries such as the United Kingdom, which do not have a National Ethics Committee, faced particular challenges in how to facilitate this. This paper takes as a case study the brief career of the (...) Ethics Advisory Board (EAB) for the NHS Covid‐19 App, which shows both the difficulty and the political complexity of policy‐relevant bioethics in a pandemic and how this was exacerbated by the transience and informality of the structures through which ethics advice was delivered. It analyses how and why, after EAB's demise, the Westminster government increasingly sought to either take its ethics advice in private or to evade ethical scrutiny of its policies altogether. In reflecting on EAB, and these later ethics advice contexts, the article provides a novel framework for analysing ethics advice within democracies, defining four idealised stances: the pure ethicist, the advocate, the ethics arbiter and the critical friend. (shrink)

Antitheodicy objects to all attempts to solve the problem of evil. Its objections are almost all on moral grounds—it argues that the whole project of theodicy is morally offensive. Trying to excuse God’s permission of evil is said to deny the reality of evil, to exhibit gross insensitivity to suffering, and to insult the victims of grave evils. Since antitheodicists urge the avoidance of theodicies for moral reasons, it is desirable to evaluate the moral reasons against theodicies in abstraction from (...) the intellectual reasons for and against them. It is argued that the best known theodicies such as those based on soul-making and free will are guilty of moral faults as alleged. But Leibniz’s best of all possible worlds theory, often thought to be the most morally offensive ‘Panglossian’ theodicy, is morally blameless because it excuses God by the absolute impossibility of his choosing any world better than the present one. Theodicy should not be conceived of as a search for greater goods which may excuse God’s permitting evils. From the divine point of view, creation is an upfront choice between scenarios—in modern parlance, a Trolley problem rather than a Transplant problem. In cases of forced choice among scenarios, it is morally improper to criticize one who chooses the best. (shrink)

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.

Jeremiah Carey presents a version of panentheism which he attributes to Gregory Palamas, as well as other Greek patristic thinkers. The Greek tradition, he alleges, is more open to panentheistic metaphysics than the Latin. Palamas, for instance, hold that God’s energies are participable, even if God’s essence is not. Carey uses Palamas’ metaphysics to sketch an account on which divine energies are the forms of created substances, and argues it is open to Orthodox Christians to affirm that God is in (...) all things as their formal cause. I argue Carey’s reading is premised on a superficial examination of the patristic literature. More importantly, Palamas’ metaphysics is opposed to that of Carey, since Palamas’ distinction aims to uphold that created persons are only contingent participants in God. On this, Palamas and the Latins are in complete accord. In conclusion, I propose panentheistic metaphysics begins from a false dilemma. (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)

The objective Bayesian view of proof (or logical probability, or evidential support) is explained and defended: that the relation of evidence to hypothesis (in legal trials, science etc) is a strictly logical one, comparable to deductive logic. This view is distinguished from the thesis, which had some popularity in law in the 1980s, that legal evidence ought to be evaluated using numerical probabilities and formulas. While numbers are not always useful, a central role is played in uncertain reasoning by the (...) ‘proportional syllogism’, or argument from frequencies, such as ‘nearly all aeroplane flights arrive safely, so my flight is very likely to arrive safely’. Such arguments raise the ‘problem of the reference class’, arising from the fact that an individual case may be a member of many different classes in which frequencies differ. For example, if 15 per cent of swans are black and 60 per cent of fauna in the zoo is black, what should I think about the likelihood of a swan in the zoo being black? The nature of the problem is explained, and legal cases where it arises are given. It is explained how recent work in data mining on the relevance of features for prediction provides a solution to the reference class problem. (shrink)

David Hume (1711-76) is one of the greatest figures in the history of British philosophy. Of all of Hume's writings, the philosophically most profound is undoubtedly his first, A Treatise on Human Nature. Hume on Morality introduces and assesses: Hume's life and the background of the Treatise ; the ideas and text in the Treatise ; and Hume's continuing importance to philosophy. James Baillie provides us with a map to Books 2 and 3 of the Treatise, focusing on Hume's (...) theory of the passions and morality. This book sets out its principal ideas and arguments of the Treatise in a clear and readable way and is ideal for anyone coming to Hume's work for the first time. (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)

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)

In this article, I challenge Simon Critchley's recent suggestion that tragic art is not morally educational in Aristotle's analysis and instead argue that it can be inferred from Aristotle that tragic art can morally educate in three main ways: via emotion education, by helping the audience come to understand what matters in life, and by depicting conduct worthy of moral emulation and conduct that is not. Stephen Halliwell's reading of how catharsis helps the audience of tragedy learn to feel pity (...) and fear appropriately is discussed. Two objections Lear makes to Halliwell's account are thereafter outlined and responded to. I maintain that for Aristotle, the pleasure proper to tragedy is prompted by an understanding of what matters most in life—not making mistakes that threaten the prosperity of loved ones. I pull the article together by questioning aspects of Christopher Falzon's reading of Ruben Östlund's film, Force Majeure. I conclude that the film both exemplifies and critiques Aristotle's account of moral learning through tragedy. (shrink)

Many in the informal logic tradition distinguish convergent from linked argument structure. The pragma-dialectical tradition distinguishes multiple from co-ordinatively compound argumentation. Although these two distinctions may appear to coincide, constituting only a terminological difference, we argue that they are distinct, indeed expressing different disciplinary perspectives on argumentation. From a logical point of view, where the primary evaluative issue concerns sufficient strength of support, the unit of analysis is the individual argument, the particular premises put forward to support a given conclusion. (...) Structure is internal to this unit. From a dialectical point of view, where the focus concerns how well a critical discussion comes to a reasoned conclusion of some disputed question, the argumentation need not constitute a single unit of argument. The unit of dialectical analysis will be the entire argumentation made up of these several arguments. The multiple/co-ordinatively compound distinction is dialectical, while the linked/convergent distinction is logical. Keeping these two pairs of distinctions separate allows us to see certain attempts to characterize convergent versus linked arguments as rather characterizing multiple versus co-ordinatively compound arguments, in particular attempts of Thomas, Nolt, and Yanal, and to resolve straightforwardly conflicts, tensions, or anomalies in their accounts. Walton's preferred Suspension/Insufficient Proof test to identify linked argument structure correctly identifies co-ordinatively compound structure. His objection to using the concept of relevance to explicate the distinction between linked and convergent structure within co-ordinatively compound argumentation can be met through explicating relevance in terms of inference licenses. His counterexample to the Suspension/No Support test for identifying linked structure which this approach supports can itself be straightforwardly dealt with when the test is explicated through inference licenses. (shrink)

Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by failure to achieve the original ambition of AI as applied to law: fully automated legal decision-making. The obstacles to formalizing legal reasoning have proved to be the same ones that make the formalization of commonsense reasoning so difficult, and are most evident where legal reasoning has to (...) meld with the vast web of ordinary human knowledge of the world. Underlying many of the problems is the mismatch between the discreteness of symbol manipulation and the continuous nature of imprecise natural language, of degrees of similarity and analogy, and of probabilities. (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 the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)