Peter Millican

The centrepiece of Earman’s provocatively titled book Hume’s Abject Failure: The Argument against Miracles is a probabilistic interpretation of Hume’s famous ‘maxim’ concerning the credibility of miracle reports, followed by a trenchant critique of the maxim when thus interpreted. He argues that the first part of this maxim, once its obscurity is removed, is simply trivial, while the second part is nonsensical. His subsequent discussion culminates with a forthright challenge to any would-be defender of Hume to ‘point to some thesis which is both philosophically interesting and which Hume has made plausible’. My main aim here is to answer this challenge, by demonstrating a preferable interpretation of Hume’s maxim, according to which its first half is both plausible and non-trivial, while its second half sketches a useful, albeit approximate, corollary. I conclude by contesting Earman’s negative views on the originality and philosophical significance of Hume’s justly famous essay

Over the centuries, many different arguments have been used to support the belief in God. These range from the abstruse and theoretical, such as Anselm’s famous Ontological Argument, to the relatively downto-earth and practical, such as Pascal’s Wager; but nearly all of them share a common weakness on which I intend to focus. I shall claim that the theistic arguments typically take for granted that in order to establish the existence of God they have only to establish the existence of a Supreme Being. They thus presuppose that for the office of Lord of the Universe, God as traditionally understood by Christians is the only candidate worth considering, and as a result they give insufficient attention to the nature of the Supreme Being whose existence they supposedly prove.

The Christian tradition has always taken a generally negative view of abortion, but the moral basis and perceived implications of this negative view have varied greatly. In the early Church abortion and contraception were often seen as broadly equivalent, both involving interference with the natural reproductive process (and an association with sexual immorality which even led some to see contraception as the more sinful of the two). But the tendency to conflate abortion with contraception, and even on similar grounds with male masturbation, declined in the face of the biological discovery of the mother's role as more than just an incubator for the male "seed" - with the recognition of conception as a distinct and crucial event, abortion became generally seen as morally far more serious than contraception, potentially involving threat to an innocent life and therefore, arguably, equivalent to homicide. When seen as homicide, abortion has naturally been subject to an almost total prohibition, the only generally agreed exception being where it is necessary to save the mother's life. Within the Roman Catholic communion, moreover, even this exception has tended to be countenanced only when sanctioned by the doctrine of double effect - where the abortion is not directly intended, but is only a foreseen but unintended consequence of a surgical intervention whose primary intention is to save the mother's life (e.g. the removal of a cancerous uterus or of a fallopian tube containing an ectopic pregnancy).

The word ‘induction’ is derived from Cicero’s ‘inductio’, itself a translation of Aristotle’s ‘epagôgê’. In its traditional sense this denotes the inference of general laws from particular instances, but within modern philosophy it has usually been understood in a related but broader sense, covering any non-demonstrative reasoning that is founded on experience. As such it encompasses reasoning from observed to unobserved, both inference of general laws and of further particular instances, but it excludes those cases of reasoning in which the conclusion is logically implied by the premises, such as induction by complete enumeration.

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake.

David Hume has traditionally been assumed to be a soft determinist or compatibilist, at least in the ‘reconciling project’ that he presents in Section 8 of the first Enquiry, entitled ‘Of liberty and necessity.’ Indeed, in encyclopedias and textbooks of Philosophy he is standardly taken to be one of the paradigm compatibilists, rivalled in significance only by Hobbes within the tradition passed down through Locke, Mill, Schlick and Ayer to recent writers such as Dennett and Frankfurt. Many Hume scholars also concur in viewing him as a determinist, for example Norman Kemp Smith, Barry Stroud, A. J. Ayer, Paul Russell Don Garrett, Terence Penelhum, George Botterill, John Bricke, and John Wright. My main purpose in this paper will be to provide the evidence to substantiate this traditional interpretation, which has hitherto been widely assumed rather than defended. In the absence of such a defence, the consensus has been left open to challenge, most notably in a recent paper and a subsequent book by James Harris, who boldly claims that Hume ‘does not subscribe to determinism of any kind, whether Hobbesian or merely nomological.’

Over a period of more than twenty years, Sybil Wolfram gave lectures at Oxford University on Philosophical Logic, a major component of most of the undergraduate degree programmes. She herself had been introduced to the subject by Peter Strawson, and saw herself as working very much within the Strawsonian tradition. Central to this tradition, which began with Strawson's seminal attack on Russell's theory of descriptions in ‘On Referring' (1950), is the distinction between a sentence and what is said by a sentence − Strawson initially called the latter a use of a sentence, and sometimes a proposition , but his most frequent term for what is said , which Wolfram consistently adopts, is the statement expressed.1 The force of the distinction is clearly illustrated in ‘On Referring', which uses it to undermine the common assumption that any sentence must be either true, or false, or meaningless. Russell had argued on this basis that a sentence such as ‘The King of France is bald' (which is clearly neither true nor meaningless) must be false, but Strawson points out that if we distinguish between the sentence itself and the statement that it expresses (on some occasion of use), we can quite easily combine the admission that the sentence is meaningful − for it can in appropriate circumstances be used to express true and false statements − with the claim that nevertheless if the circumstances are ‘inappropriate' (in particular, when there is no current King of France), the sentence can fail to express a statement that is either true or false. On this picture, therefore, it is sentences that are meaningful, but statements that are the primary bearers of truth.