This paper focuses on two conflations which frequently appear within the philosophy of history and other fields concerned with action explanation. The first of these, which I call the Conflating View of Reasons, states that the reasons for which we perform actions are reasons why (those events which are) our actions occur. The second, more general conflation, which I call the Conflating View of Action Explanation, states that whatever explains why an agent performed a certain action explains why (that event (...) which was) her action occurred. Both conflations ignore the fact that there are at least two distinct objects that legitimately qualify as objects of action explanation2. As Jennifer Hornsby (1993) has previous suggested, one thing we might wish to explain is ‘why did A do what she did?’ another is, ‘why did the event of her doing it occur?’ -/- I shall argue that when these two views are combined they give rise to a futile debate about explanation in the philosophies of history and the social sciences, and to an almost identical debate in moral psychology and the philosophy of mind. In so doing, I shall also examine a proposed distinction between explaining a phenomenon, and rendering it intelligible. I conclude by distinguishing between four different objects of historical understanding, each of which is to be understood in the light of the aforementioned distinctions between event and thing done, and explanation and intelligibility. (shrink)

This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for (...) Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do. (shrink)

Three recent ‘state of the art’ Frankfurt cases are responded to: Widerker’s Brain-Malfunction-W case and Pereboom’s Tax Evasion cases (2 & 3). These cases are intended by their authors to resurrect the neo-Frankfurt project of overturning the Principle of Alternative Possibilities (PAP) in the teeth of the widespread acceptance of some combination of the WKG (Widerker-Kane-Ginet) dilemma, the Flicker of Freedom strategy and the revised PAP response (‘Principle of Alternative Blame’, ‘Principle of Alternative Expectations’). The three neo-Frankfurt cases of Pereboom (...) and Widerker shown to be insufficient for their intended purpose. Of central importance to any account of responsibility is that this applies at the level of the Right and not the Good. Arguments of Carlos Moya are expanded and augmented by considerations from Chisholm, Lucas, Dummett and Lockie (2003) to show that a number of severe problems remain for anyone attempting to resurrect the Frankfurt project. (shrink)

The alleged proof of the non-mechanical, or non-computational, character of the human mind based on Gödel’s incompleteness theorem is revisited. Its history is reviewed. The proof, also known as the Lucas argument and the Penrose argument, is refuted. It is claimed, following Gödel himself and other leading logicians, that antimechanism is not implied by Gödel’s theorems alone. The present paper sets out this refutation in its strongest form, demonstrating general theorems implying the inconsistency of Lucas’s arithmetic and the semantic inadequacy (...) of Penrose’s arithmetic. On the other hand, the limitations to our capacity for mechanizing or programming the mind are also indicated, together with two other corollaries of Gödel’s theorems: that we cannot prove that we are consistent, and that we cannot fully describe our notion of a natural number. (shrink)

A sourcebook/textbook on the problem of free will and determinism. Contains a history of the free will problem, a taxonomy of current free will positions, the standard argument against free will, the physics, biology, and neuroscience of free will, the most plausible and practical solution of the problem, and reviews of the work of the leading determinist Ted Honderich, the leading libertarian Robert Kane, the well-known compatibilist Daniel Dennett, and the determinism-agnostic Alfred Mele.

From time to time philosophers and scientists have made sensational, provocative claims that certain things do not exist or never happen that, in everyday life, we unquestioningly take for granted as existing or happening. These claims have included denying the existence of matter, space, time, the self, free will, and other sturdy and basic elements of our common-sense or naïve world-view. Around the middle of the twentieth century an argument was developed that can be used to challenge many such skeptical (...) claims based on linguistic considerations, which came to be known as the Paradigm Case Argument ... (shrink)

This is a survey of recent work on God and human freedom. A version of the "basic" argument for the incompatibility of God's omniscience and human freedom is presented. Various possible responses are developed and discussed.