Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.

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)

When people want to identify the causes of an event, assign credit or blame, or learn from their mistakes, they often reflect on how things could have gone differently. In this kind of reasoning, one considers a counterfactual world in which some events are different from their real-world counterparts and considers what else would have changed. Researchers have recently proposed several probabilistic models that aim to capture how people do (or should) reason about counterfactuals. We present a new model and (...) show that it accounts better for human inferences than several alternative models. Our model builds on the work of Pearl (2000), and extends his approach in a way that accommodates backtracking inferences and that acknowledges the difference between counterfactual interventions and counterfactual observations. We present six new experiments and analyze data from four experiments carried out by Rips (2010), and the results suggest that the new model provides an accurate account of both mean human judgments and the judgments of individuals. (shrink)

Responsibility is a key concept in our moral, social, and political thinking, but it is not itself properly understood. J.R. Lucas here presents a lively, broad, and accessible discussion of responsibility in various areas of human life, from personal and sexual relations to politics.

European Journal of Philosophy, EarlyView.

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)

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)

In this musing we consider how social distancing, the primary public health measure introduced to mitigate the spread of the COVID-19 virus, is creating social encounters characterized by a self-and-other-consciousness and an atmosphere of suspicion, leading to what we call “alienated embodied communication.” Whilst interaction rituals dominated by avoidance, fear and distrust are novel for many individuals who occupy positions of social privilege, Black and ethnic minority writers have demonstrated that the alienated bodily communication of COVID-19 social distancing is “nothing (...) new” for people who routinely experience marginalization as a result of racism. Our aim in this musing, then, is to reflect on how on-going experiences of stigma, shame, and marginalization can shape how social distancing is registered on an embodied and existential level, and therefore how social distancing may differentially impact individuals with lived experiences of racism. (shrink)

"Lucas' book competently brings Whitehead's philosophy into dialogue with "analytic" philosophy. This is a topic of great originality and considerable potential importance for the field of philosophy.

Kathryn Paxton George's recent publication, Animal, Vegetable, or Woman?, is the culmination of more than a decade's work and encompasses standard and original arguments against the feminist-vegetarian connection. This paper demonstrates that George's key arguments are deeply flawed, antithetical to basic feminist commitments, and beg the question against fundamental aspects of the debate. Those who do not accept the feminist-vegetarian connection should rethink their position or offer a non-question-begging defense of it.

This book explores the diverse understandings of the archaeological record in both historical and contemporary perspective, while also serving as a guide to reassessing current views. Gavin Lucas argues that archaeological theory has become both too fragmented and disconnected from the particular nature of archaeological evidence. The book examines three ways of understanding the archaeological record - as historical sources, through formation theory, and as material culture - then reveals ways to connect these three domains through a reconsideration of archaeological (...) entities and archaeological practice. Ultimately, Lucas calls for a rethinking of the nature of the archaeological record and the kind of history and narratives written from it. (shrink)

Two experiments are reported that employed think-aloud methods to test predictions concerning relevance effects and rationalisation processes derivable from Evans' (1996) heuristic-analytic theory of the selection task. Evans' account proposes that card selections are triggered by relevance-determining heuristics, with analytic processing serving merely to rationalise heuristically cued decisions. As such, selected cards should be associated with more references to both their facing and their hidden sides than rejected cards, which are not subjected to analytic rationalisation. Experiment 1 used a standard (...) selection-task paradigm, with negative components permuted through abstract conditional rules. Support was found for all heuristic-analytic predictions. This evidence was shown to be robust in Experiment 2, where "select - don't select" decisions were enforced for all cards. Both experiments also clarify the role played by secondary heuristics in cueing the consideration of hidden card values during rationalisation. We suggest that whilst Evans' heuristic-analytic model and Oaksford and Chater's (e.g., 2003) optimal data selection model can provide compelling accounts of our protocol findings, the mental models theory fares less well as an explanation of our full dataset. (shrink)

The recent upsurge in “brain-training and perceptual-cognitive-training", proposing to improve isolated processes such as brain function, visual perception and decision-making, has created significant interest in elite sports practitioners, seeking to create an ‘edge’ for athletes. The claims of these related 'performance-enhancing industries' can be considered together as part of a process training approach proposing enhanced cognitive and perceptual skills and brain capacity, to support performance in everyday life activities, including sport. For example, the 'process-training industry' promotes the idea that playing (...) games not only makes you a better player, but also smarter, more alert, and a faster learner. In this position paper we critically evaluate the effectiveness of both types of process-training programmes in generalizing transfer to sport performance. These issues are addressed in three stages. First, we evaluate empirical evidence in support of perceptual-cognitive process training, and its application to enhancing sport performance. Second, we critically review putative modularised mechanisms underpinning this kind of training, addressing limitations and subsequent problems. Specifically, we consider merits of this highly specific form of training, which focuses on training of isolated processes such as cognitive processes (attention, memory, thinking) and visual perception processes, separately from performance behaviors and actions. We conclude that these approaches may, at best, may provide some 'general transfer' of underlying processes to specific sport environments, but lack 'specificity of transfer' to contextualize actual performance behaviors. A major weakness of process training methods is their focus on enhancing performance in body “modules” (e.g., eye, brain, memory, anticipatory sub-systems). What is lacking is evidence on how these isolated components are modified and subsequently interact with other process “modules”, which are considered to underlie sport performance. Finally, we propose how an ecological dynamics approach, aligned with an embodied framework of cognition undermines the rationale that modularised processes can enhance performance in competitive sport. An ecological dynamics perspective proposes that the body is a complex adaptive system, interacting with performance environments in a functionally integrated manner, emphasising that the inter-relation between motor processes, cognitive and perceptual functions and the constraints of a sport task is best understood at the performer-environment scale of analysis. (shrink)

Meta-analytic findings have suggested that individual differences are relatively weaker predictors of academic dishonesty than are situational factors. A robust literature on deviance correlates and workplace integrity testing, however, demonstrates that individual difference variables can be relatively strong predictors of a range of counterproductive work behaviors (CWBs). To the extent that academic cheating represents a kind of counterproductive behavior in the work role of "student", employment-type integrity measures should be strong predictors of academic dishonesty. Our results with a college student (...) sample showed that integrity test scores were moderate to strong correlates of self-reported academic cheating and that these relationships persisted even after controlling for a variety of measurement concerns such as item format similarity, concurrent assessment, and socially desirable responding. Implications for institutional honor codes and the broader relations between educational and workplace dishonesty are discussed. (shrink)

We used a new method to assess how people can infer unobserved causal structure from patterns of observed events. Participants were taught to draw causal graphs, and then shown a pattern of associations and interventions on a novel causal system. Given minimal training and no feedback, participants in Experiment 1 used causal graph notation to spontaneously draw structures containing one observed cause, one unobserved common cause, and two unobserved independent causes, depending on the pattern of associations and interventions they saw. (...) We replicated these findings with less‐informative training (Experiments 2 and 3) and a new apparatus (Experiment 3) to show that the pattern of data leads to hidden causal inferences across a range of prior constraints on causal knowledge. (shrink)

The study tests the hypothesis that conditional probability judgments can be influenced by causal links between the target event and the evidence even when the statistical relations among variables are held constant. Three experiments varied the causal structure relating three variables and found that (a) the target event was perceived as more probable when it was linked to evidence by a causal chain than when both variables shared a common cause; (b) predictive chains in which evidence is a cause of (...) the hypothesis gave rise to higher judgments than diagnostic chains in which evidence is an effect of the hypothesis; and (c) direct chains gave rise to higher judgments than indirect chains. A Bayesian learning model was applied to our data but failed to explain them. An explanation-based hypothesis stating that statistical information will affect judgments only to the extent that it changes beliefs about causal structure is consistent with the results. (shrink)

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)

Space, Time and Causality An Essay in Natural Philosophy.

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)

From past research it is well known that social exclusion has detrimental consequences for mental health. To deal with these adverse effects, socially excluded individuals frequently turn to other humans for emotional support. While chatbots can elicit social and emotional responses on the part of the human interlocutor, their effectiveness in the context of social exclusion has not been investigated. In the present study, we examined whether an empathic chatbot can serve as a buffer against the adverse effects of social (...) ostracism. After experiencing exclusion on social media, participants were randomly assigned to either talk with an empathetic chatbot about it (e.g., “I'm sorry that this happened to you”) or a control condition where their responses were merely acknowledged (e.g., “Thank you for your feedback”). Replicating previous research, results revealed that experiences of social exclusion dampened the mood of participants. Interacting with an empathetic chatbot, however, appeared to have a mitigating impact. In particular, participants in the chatbot intervention condition reported higher mood than those in the control condition. Theoretical, methodological, and practical implications, as well as directions for future research are discussed. (shrink)

The issue is obscured by the fact that the word `space' can be used in four different ways. It can be used, first, as a term of pure mathematics, as when mathematicians talk of an `n-dimensional phase-space', an `n-dimensional vector-space', a `three-dimensional projective space' or a `twodimensional Riemannian space'. In this sense the word `space' means the totality of the abstract entities-the `points'-implicitly defined by the axioms. There is no doubt that there exist, iii this sense, non-Euclidean spaces, because all (...) that is claimed by such an assertion is that sets of non-Euclidean axioms constitute possible implicit definitions of abstract entities, that is to say that some sets of non-Euclidean axioms are consistent. If Kant or any other philosopher had denied this, he would have been wrong; but Kant himself took care not to deny it, 2 and there is little reason to suppose that any philosopher concerned about space has been using the word in this, the pure mathematician's, sense. (shrink)

The rapid and dynamic nature of digital transformation challenges companies that wish to develop and deploy novel digital technologies. Like other actors faced with this transformation, companies need to find robust ways to ethically guide their innovations and business decisions. Digital ethics has recently featured in a plethora of both practical corporate guidelines and compilations of high-level principles, but there remains a gap concerning the development of sound ethical guidance in specific business contexts. As a multinational science and technology company (...) faced with a broad range of digital ventures and associated ethical challenges, Merck KGaA has laid the foundations for bridging this gap by developing a Code of Digital Ethics (CoDE) tailored for this context. Following a comprehensive analysis of existing digital ethics guidelines, we used a reconstructive social research approach to identify 20 relevant principles and derive a code designed as a multi-purpose tool. Versatility was prioritised by defining non-prescriptive guidelines that are open to different perspectives and thus well-suited for operationalisation for varied business purposes. We also chose a clear nested structure that highlights the relationships between five core and fifteen subsidiary principles as well as the different levels of reference—data and algorithmic systems—to which they apply. The CoDE will serve Merck KGaA and its new Digital Ethics Advisory Panel to guide ethical reflection, evaluation and decision-making across the full spectrum of digital developments encountered and undertaken by the company whilst also offering an opportunity to increase transparency for external partners, and thus trust. (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)

We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb (...) rules are given. (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)

What significance does "ethics" have for the men and women serving in the military forces of nations around the world? What core values and moral principles collectively guide the members of this "military profession?" This book explains these essential moral foundations, along with "just war theory," international relations, and international law. The ethical foundations that define the "Profession of Arms" have developed over millennia from the shared moral values, unique role responsibilities, and occasional reflection by individual members the profession on (...) their own practices - eventually coming to serve as the basis for the "Law of Armed Conflict" itself.This book focuses upon the ordinary men and women around the world who wear a military uniform and are committed to the defense of their countries and their fellow citizens. It is about what they do, how they do it, what they think about it, how they behave when carrying out their activities, and how they are expected to behave, both on and off the battlefield - and what everyone needs to know about this. The book also examines how military personnel are treated and regarded by those whom they have sworn to defend and protect, as well as how they treat and regard one another within their respective services and organizational settings. Finally, the book discusses the transformations in military professionalism occasioned by new developments in armed conflict, ranging counterinsurgency warfare and humanitarian military intervention, to cyber conflict, military robotics, and private military contracting. From China to Russia, author George Lucas effectively sheds light on today's military ethics in existence throughout the world. What Everyone Needs to Know® is a registered trademark of Oxford University Press. (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)