Elijah foretold evil for Ahab in the name of the Lord. ‘I will bring evil upon you; I will utterly sweep you away, and will cut off from Ahab every male, bond or free in Israel’ … but when he heard those words, he rent his clothes, and put sackcloth upon his flesh, and fasted and lay in the sackcloth, and went about dejectedly. And the word of the Lord came to Elijah saying ‘Have you seen how Ahab has humbled (...) himself before me? Because he has humbled himself before me, I will not bring the evil in his days, but in his son's days I will bring evil upon his house.’. (shrink)

“Towards a Theory of Taxation” is a proper theme for an Englishman to take when giving a paper in America. After all it was from the absence of such a theory that the United States derived its existence. The Colonists felt strongly that there should be no taxation without representation, and George III was unable to explain to them convincingly why they should contribute to the cost of their defense. Since that time, understanding has not advanced much. In Britain we (...) still maintain the fiction that taxes are a voluntary gift to the Crown, and taxing statutes are given the Royal Assent with the special formula, “La Reine remercie ses bons sujets, accepte leur benevolence, et ainsi le veult” instead of the simple “La Reine le veult,” and in the United States taxes have regularly been levied on residents of the District of Columbia who until recently had no representation in Congress, and by the State of New York on those who worked but did not reside in the State, and so did not have a vote. Taxes are regularly levied, in America as elsewhere, on those who have no say on whether they should be levied or how they should be spent. I am taxed by the Federal Government on my American earnings and by state governments on my American spending, but I should be hard put to it to make out that it was unjust. Florida is wondering whether to follow California in taxing multinational corporations on their world-wide earnings. (shrink)

In this article, Lucas maintains the falseness of Mechanism - the attempt to explain minds as machines - by means of Incompleteness Theorem of Gödel. Gödel’s theorem shows that in any system consistent and adequate for simple arithmetic there are formulae which cannot be proved in the system but that human minds can recognize as true; Lucas points out in his turn that Gödel’s theorem applies to machines because a machine is the concrete instantiation of a formal system: (...) therefore, for every machine consistent and able of doing simple arithmetic, there is a formula that it can’t produce as true but that we can see to be true, and so human minds and machines have to be different. Lucas considers as well in this article some possible objections to his argument: for any Gödelian formula we could, for instance, construct a machine able to produce it or we could put the Gödelian formulae that we had proved as axioms of a further machine. However - as Lucas underlines - for every of such machines we could again formulate another Gödelian formula, the Gödelian formula of these machines, that they are not able to proof but that we can recognize as true. More general arguments, such as the possibility to escape Gödelian argument by suggesting that Gödel’s theorem applies to consistent systems while we could be inconsistent ones, are moreover refuted by Lucas by maintaining that our inconsistency corresponds to occasional malfunctioning of a machine and not to his normal inconsistency; indeed, a inconsistent machine is characterized by producing any statement, on the contrary human being are selective and not disposed to assert anything. (shrink)

That space and time should be integrated into a single entity, spacetime, is the great insight of Einstein's special theory of relativity, and leads us to regard spacetime as a fundamental context in which to make sense of the world around us. But it is not the only one. Causality is equally important and at least as far as the special theory goes, it cannot be subsumed under a fundamentally geometrical form of explanation. In fact, the agent of propagation of (...) causal influence is electromagnetic radiation. In this examination, the authors find support for a rationalist approach to physics, never neglecting experimentation, but rejecting a simple empiricist or positivist view of science. (shrink)

J. R. Lucas; IV*—Mathematical Tennis, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 63–72, https://doi.org/10.1093/aristotelia.

The author, who pioneered this argument in 1961, here places it in the context of traditional discussions of the problem, and answers various criticisms that have been made.

The legend of the encounter between Wilberforce and Huxley is well established. Almost every scientist knows, and every viewer of the BBC's recent programme on Darwin was shown,* how Samuel Wilberforce, bishop of Oxford, attempted to pour scorn on Darwin's Origin of Species at a meeting of the British Association in Oxford on 30 June 1860, and had the tables turned on him by T. H. Huxley. In this memorable encounter Huxley's simple scientific sincerity humbled the prelatical insolence and clerical (...) obscurantism of Soapy Sam; the pretension of the Church to dictate to scientists the conclusions they were allowed to reach were, for good and all, decisively defeated; the autonomy of science was established in Britain and the Western world; the claim of plain unvarnished truth on men's allegiance was vindicated, however unwelcome its implications for human vanity might be; and the flood tide of Victorian faith in all its fulsomeness was turned to an ebb, which has continued to our present day and will only end when religion and superstition have been finally eliminated from the minds of all enlightened men. Even churchmen concede that it was a disastrous defeat.1 Only Owen Chadwick strikes a note of caution, observing that the account given of the incident in Wilberforce's biography seems hardly consistent with an overwhelming defeat, and maintaining that the received account must be a largely legendary creation of a later date. (shrink)

My sights in this paper are trained on facts. Most people think that they know what facts are; that while their friends often, and themselves occasionally, are ignorant of the facts, at least they know what sort of things facts are---they can recognise a fact when they see it. Facts, in the popular philosophy of today, are good, simple souls; there is no guile in them, nor any room for subjective bias, and once we have made ourselves acquainted with them, (...) we have reached the beginning and summit of all wisdom. (shrink)

J. R. Lucas; XII—Or Else, Proceedings of the Aristotelian Society, Volume 69, Issue 1, 1 June 1969, Pages 207–222, https://doi.org/10.1093/aristotelian/69.1.207.

In this paper Lucas comes back to Gödelian argument against Mecanism to clarify some points. First of all, he explains his use of Gödel’s theorem instead of Turing’s theorem, showing how Gödel’ theorem, but not Turing’s theorem, raises questions concerning truth and reasoning that bear on the nature of mind and how Turing’s theorem suggests that there is something that cannot be done by any computers but not that it can be done by human minds. He considers moreover how (...) Gödel’s theorem can be interpreted as a sophisticated form of the Cretan paradox, posed by Epimenides, able to escape the viciously self-referential nature of the Cretan paradox, and how it can be used against Mechanism as a schema of disproof. Finally, Lucas suggests some answers to the most recurrent criticisms against his argument: criticisms about the implicit idealisation in the way he set up the context between mind and machine; questions concerning modality and finitude, issues of transfinite arithmetic; questions concerning the need of formalizing rational inference and some questions about consistency. (shrink)

J. R. Lucas; IV*—Mathematical Tennis, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 63–72, https://doi.org/10.1093/aristotelia.

According to the legend, Bishop Wilberforce at a meeting of the British Association for the Advancement of Science in Oxford on Saturday, June 30th, 1860, turned to Thomas Huxley, and asked him ``Is it on your grandfather's or your grandmother's side that you claim descent from a monkey''; whereupon Huxley delivered a devastating rebuke, thereby establishing the primacy of scientific truth over ecclesiastical obscurantism. Although the legend is historically untrue in almost every detail, its persistence suggests that it may nonetheless (...) be true in some deeper, mythical, sense. To explore this possibility the British Academy has invited Dr Janet Browne to be a neo-Huxley confronting Mr J.R. Lucas, as a neo-Wilberforce, with each reconsidering their earlier arguments. (shrink)

x8.1 `Real' The word `real' has many senses, and has been much misunderstood in consequence. It was, along with other philosophical terms, such as quality, quantity, entity, identity, essence and substance, coined by the Schoolmen in the Middle Ages|realis, reale from the Latin res, a thing|to mark the distinction between what really existed and what mere existed in intellectu, in the mind; and the word still carries connotations of thinginess, which can confuse our thinking about reality in the present age.

A section I had written for my Principles of Politics, but decided not to use. I recently dug it out for an American friend. I publish it here, in case it is of use to anyone else.

David Lewis criticizes an argument I put forward against mechansim on the grounds that I fail to distinguish between OL, Lucas's ordinary potential arithmetic output, and OML, Lucas's arithmetical output when accused of being some particular machine M; and correspondingly, between OM the ordinary potential arithmetic output of the machine M, and ONM, the arithmetic output of the machine M when accused of being a particular machine N. For any given machine, M, N, O, P, Q, R,... etc., (...) I can in principle calculate a Godel sentence for that machine - indeed infinitely many, depending on the Godel numbering scheme adopted. The Godel sentence of a particular machine can, I claim, be seen to be true, if that machine is adequate for Elementary Peano Arithmetic. Hence, if I were accused of being M, I can on that supposition see that the Godel sentence of M is true, since I am capable of Elementary Peano Arithmetic and the machine M is said to be an adequate characterization of me. (shrink)

MANY thinkers deny the possibility of businessmen having responsibilities or ethical obligations. A businessman has no alternative, in view of the competition of the market-place, to do anything other than buy at the cheapest and sell at the dearest price he can. In any case, it would be irrational-if, indeed, it were possible-not to do so. Admittedly, there is a framework of law within which he has to operate, but that is all, and so long as he keeps the law (...) he is free to maximise his profits without being constrained by any moral or social considerations, or any further sense of responsibility for what he does. (shrink)

There was once a leak from Hebdomadal Council. The Assessor told her husband, who told my wife, who told me that Monday afternoon had been spent discussing what Lucas would say if various courses of action were adopted, leading to the conclusion that it would be best to do nothing. I was flattered, but a bit surprised. The tide of philosophical scepticism had ebbed, and it was generally allowed that a reasonable way of discovering what someone would say was (...) to ask him. Dick Southwood did: he would quiz me in Common Room – sometimes ending "Thank you for letting me bounce these ideas off you" – and had reliable information about how one member of Congregation would react to various proposals. And not only me: he was a listening Vice-Chancellor, who used to bike from Wellington Square to Merton for lunch, greeting many as he passed them, and ready to stop if occasion warranted it. Of course, there are many other leaks. I remember once attending a meeting in the Town Hall to argue for cycle tracks, and someone coming up to me, and saying, "You’re having a tussle with Council, aren’t you? I think you ought to see the minutes of their latest meeting"; the next day there was a copy in my pigeon hole, giving me just the ammunition I needed. What members of Congregation tend the forget is the existence – the other side of the green baize door, so to speak – of a corps of bedells. (shrink)

Equality is the great political issue of our time. Liberty is forgotten: Fraternity never did engage our passions: the maintenance of Law and Order is at a discount: Natural Rights and Natural Justice are outmoded shibboleths. But Equality—there men have something to die for, kill for, agitate about, be miserable about. The demand for Equality obsesses all our political thought. We are not sure what it is—indeed, as I shall show later, we are necessarily not sure what it is—but we (...) are sure that whatever it is, we want it: and while we are prepared to look on frustration, injustice or violence with tolerance, as part of the natural order of things, we will work ourselves up into paroxysms of righteous indignation at the bare mention of Inequality. (shrink)

Dear Mr. Lucas, I was wondering if you had come across Query 44 of George Berkeley's ``Analyst: A discourse addressed to an infidel mathematician"?. It reads: ``Whether the difference between a mere computer and a man of science be not that one computes on principles clearly conceived and by rules evidently demonstrated, whereas the other [i.e a man] doth not?" Not bad for 1734!

Equality in the present age has become an idol, in much the same way as property was in the age of Locke. Many people worship it, and think that it provides the key to the proper understanding of politics, and that on it alone can a genuinely just society be reconstructed. This is a mistake. Although, like property, it is a useful concept, and although, like property, there are occasions when we want to have it in practice, it is not (...) a fundamental concept any more than property is, nor can having it vouchsafe to us the good life. In an earlier paper I argued against equality by showing that the concept of equality was confused and that many of the arguments i egalitarians adduced were either invalid or else supported conclusions I which were not really egalitarian at all. Many egalitarians, however, have complained that my arguments were not fair, because I had failed to elucidate the concept adequately, or because the position I attacked was not one that any egalitarian really wished to maintain, or because I had overlooked other arguments which were effective in establishing egalitarian conclusions, or because the positive counter-arguments of my own I put forward more as a matter of taste than of serious political commitment. In this paper, therefore, I want to elucidate the concept more fully, concede what I should to my critics, point out that, even so, their conclusions do not follow, and give further reasons not only for supposing that egalitarian arguments are invalid but for discerning positive merits in some forms of inequality. (shrink)

The application of Gödel’s theorem to the problem of minds and machines is difficult. Paul Benacerraf makes the entirely valid ‘Duhemian’ point that the argument is not, and cannot be, a purely mathematical one, but needs some philosophical premisses to be able to yield any philosophical conclusions. Moreover, the philosophical premisses are of very different kinds. Some are concerned with what is essential to being a machine—these are typically intricate, but definite, easily formalised by the mathematician, but unintelligible to the (...) layman: others attempt to capture what is essential to being a mind, a person or a self—these are typically intuitive, but vague; resistant to exact definition by the logician, but, none the less, widely used and well understood. Gödel’s theorem itself, like many other truths, can be taken either way: it can be taken as a formal proof sequence yielding certain syntactical results about a certain class of formal systems, but it can also be taken as giving us a certain type or style of argument, which we can understand, and, once having got the hang of it, adapt and apply in innumerable different circumstances. In my dispute with the mechanist, I take Gödel’s argument both ways: I first take it as an argument which the mechanist, even according to his own mechanist principles, must accept as scoring some point against his favourite machine; and then I hope that the mechanist, as a man, will see that he can do better and that this sort of argument will always apply against any form of mechanism he espouses. (shrink)

Plato was politically incorrect---gloriously incorrect: hard to ignore and difficult to refute. Read An Engagement with Plato's Republic to argue with him or against him, for contemporary orthodoxies or against them. ``Plato was the first feminist. Women were the same as men, only not so good.''.

We were discussing the retirement age. Many of my colleagues said that of course existing interests must be preserved, but they had noticed that some of their colleagues had been past their prime by the time they reached 67, and that it would be a good thing if in future dons were retired at 65. I agreed, but pointed out that the argument went further. Quite a few of us were already deteriorating before they were 65. Nor was it clear (...) that 60 was the watershed. One could think of people who had finished their creative work by the time they were 55, indeed, by the time they were fifty. In fact some of us were already bores in our forties, and in so far as a large part of our raison d'etre was to teach the young, our ability to relate to them began to diminish in our thirties. The temperature dropped five degree with each five years, and in chilly silence the College moved on to Next Business. (shrink)

IT is ungenerous to pick holes in The Concept of Law. It is a great work. Its clarity is luminous, and its argument sustained and convincing. Hart is eminently successful in rescuing the concept of law from the Legal Realists, the Positivists, and the Formalists, who attempt to straitjacket it within schemata which are too narrow or too vague to give an adequate elucidation of it. But sometimes Hart is not carried along by his arguments as far as he should. (...) He makes too many concessions to his opponents, and his own account of the law is, in consequence, too formalist, in spite of having himself adduced cogent considerations elsewhere for rejecting the purely formalist line of argument. The rule of recognition, although important, is not fundamental. We should, rather, see law as a social phenomenon, to be distinguished from other social phenomena, but intelligible only in a social context, and not-as lawyers are too ready to suppose-an autonomous discipline which can be explained and understood entirely in its own terms. (shrink)

The Conceptual Roots of Mathematics is a comprehensive study of the foundation of mathematics. J.R. Lucas, one of the most distinguished Oxford scholars, covers a vast amount of ground in the philosophy of mathematics, showing us that it is actually at the heart of the study of epistemology and metaphysics.

Whatever good or ill it did to Guy Fawkes, his resuscitation at the hands of Bernard Williams has, by any utilitarian reckoning, been a Good Thing. A casual glance at the literature that has accumulated over the past thirty five years leaves no doubt that the topic has been reduplicated many times over, to the great enjoyment of undergraduates, who have been able to write science fiction under the guise of essays in the Philosophy of Mind, and of dons, who (...) in an age of cvs and Assessments, have been able to notch up page after page of counter-replies to replies to rebuttals of previous papers, not to mention an often welcome tally of references in the citation index. But the actual arguments adduced by Williams can be turned to support a much more traditional view of the self, as a necessarily unique agent whose individuality is established by his capacity for autonomous action. (shrink)