Voor wie geen troost kan vinden in het al-te-menselijke, valt hoop te putten uit de natuur. Daarvan getuigt ook Thomas Hardy’s gedicht op de nachtegaal. Het dier is verminkt door mensen, maar het zingt nog altijd en bezorgt de mens levensvreugde.

Ondanks de grote diversiteit van Berlins werken, die een groot cultuurhistorisch bereik hebben, gaat hij uit van een moreel minimum als constante horizon van de mensheid, ondanks alle culturele verschillen.

‘Feuerbach resolves the religious essence into the human essence. But the human essence is no abstraction inherent in each single individual. In its reality it is the ensemble of social relations.’It is a common belief, shared both by Marxists and by critics of Marxism, that differences in the interpretation of this statement have important implications for the assessment of Marx's system of ideas. How we read it will affect our view of the unity of Marx's thought and of the continuity (...) of its development over his lifetime, and it will bear crucially on our appraisal of the epistemological status—metaphysical, scientific or mythopoeic—of the various elements of the Marxian system. Among Marxists, members of the Frankfurt School have emphasized the paternity of Marxian metaphysical humanism in Hegel's conception of man as a self-creating being, while Althusser and his disciples have seen in the extrusion from Marx's later work of any such ‘anthropomorphic’ notion a guarantee of the scientific character of his historical materialism. Among Marx's liberal critics, it is widely agreed that he espoused an essentialist view of man and, often enough, it is thought that this alone is sufficient to disqualify his system from scientific status. No consensus exists, however, as to the cognitive standing of the several components of Marx's thought. That agreement should be lacking as to the place in it of a conception of human nature is hardly surprising. Different construals of the role of a view of man will reflect divergent commitments, not only in the philosophy and methodology of social and historical inquiry, but in moral and political thought as well. (shrink)

‘Feuerbach resolves the religious essence into the human essence. But the human essence is no abstraction inherent in each single individual. In its reality it is the ensemble of social relations.’It is a common belief, shared both by Marxists and by critics of Marxism, that differences in the interpretation of this statement have important implications for the assessment of Marx's system of ideas. How we read it will affect our view of the unity of Marx's thought and of the continuity (...) of its development over his lifetime, and it will bear crucially on our appraisal of the epistemological status—metaphysical, scientific or mythopoeic—of the various elements of the Marxian system. Among Marxists, members of the Frankfurt School have emphasized the paternity of Marxian metaphysical humanism in Hegel's conception of man as a self-creating being, while Althusser and his disciples have seen in the extrusion from Marx's later work of any such ‘anthropomorphic’ notion a guarantee of the scientific character of his historical materialism. Among Marx's liberal critics, it is widely agreed that he espoused an essentialist view of man and, often enough, it is thought that this alone is sufficient to disqualify his system from scientific status. No consensus exists, however, as to the cognitive standing of the several components of Marx's thought. That agreement should be lacking as to the place in it of a conception of human nature is hardly surprising. Different construals of the role of a view of man will reflect divergent commitments, not only in the philosophy and methodology of social and historical inquiry, but in moral and political thought as well. (shrink)

The feasibility of reversing human aging within a matter of decades has traditionally been dismissed by all professional biogerontologists, on the grounds that not only is aging still poorly understood, but also many of those aspects that we do understand are not reversible by any current or foreseeable therapeutic regimen. This broad consensus has recently been challenged by the publication, by five respected experimentalists in diverse subfields of biogerontology together with three of the present authors, of an article (Ann NY (...) Acad Sci 959, 452–462) whose conclusion was that all the key components of mammalian aging are indeed amenable to substantial reversal (not merely retardation) in mice, with technology that has a reasonable prospect of being developed within about a decade. Translation of that panel of interventions to humans who are already alive, within a few decades thereafter, was deemed potentially feasible (though it was not claimed to be likely). If the prospect of controlling human aging within the foreseeable future cannot be categorically rejected, then it becomes a matter of personal significance to most people presently alive. Consequently, we suggest that serious public debate on this subject is now warranted, and we survey here several of the biological, social and political issues relating to it. BioEssays 24:667–676, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

The feasibility of reversing human aging within a matter of decades has traditionally been dismissed by all professional biogerontologists, on the grounds that not only is aging still poorly understood, but also many of those aspects that we do understand are not reversible by any current or foreseeable therapeutic regimen. This broad consensus has recently been challenged by the publication, by five respected experimentalists in diverse subfields of biogerontology together with three of the present authors, of an article (Ann NY (...) Acad Sci 959, 452–462) whose conclusion was that all the key components of mammalian aging are indeed amenable to substantial reversal (not merely retardation) in mice, with technology that has a reasonable prospect of being developed within about a decade. Translation of that panel of interventions to humans who are already alive, within a few decades thereafter, was deemed potentially feasible (though it was not claimed to be likely). If the prospect of controlling human aging within the foreseeable future cannot be categorically rejected, then it becomes a matter of personal significance to most people presently alive. Consequently, we suggest that serious public debate on this subject is now warranted, and we survey here several of the biological, social and political issues relating to it. BioEssays 24:667–676, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

Recording and manipulating neuronal ensemble activity is a key requirement in advanced neuromodulatory and behavior studies. Devices capable of both recording and manipulating neuronal activity brain-computer interfaces should ideally operate un-tethered and allow chronic longitudinal manipulations in the freely moving animal. In this study, we designed a new intracortical BCI feasible of telemetric recording and stimulating local gray and white matter of visual neural circuit after irradiation exposure. To increase the translational reliance, we put forward a Göttingen minipig model. (...) The animal was stereotactically irradiated at the level of the visual cortex upon defining the target by a fused cerebral MRI and CT scan. A fully implantable neural telemetry system consisting of a 64 channel intracortical multielectrode array, a telemetry capsule, and an inductive rechargeable battery was then implanted into the visual cortex to record and manipulate local field potentials, and multi-unit activity. We achieved a 3-month stability of the functionality of the un-tethered BCI in terms of telemetric radio-communication, inductive battery charging, and device biocompatibility for 3 months. Finally, we could reliably record the local signature of sub- and suprathreshold neuronal activity in the visual cortex with high bandwidth without complications. The ability to wireless induction charging combined with the entirely implantable design, the rather high recording bandwidth, and the ability to record and stimulate simultaneously put forward a wireless BCI capable of long-term un-tethered real-time communication for causal preclinical circuit-based closed-loop interventions. (shrink)

A Unified Treatment of Moore's Paradox is the culmination of a decades-long engagement with Moore's paradox by the world's leading authority on the subject, the late John Williams. The book offers a comprehensive account of Moore's paradox in thought and speech, both in its comissive and omissive forms. Williams argues that Moorean absurdity comes in degrees, and shows that contrary to one tradition in the literature on Moore's Paradox, we cannot explain Moorean absurdity in speech in terms of Moorean (...) absurdity in thought, but must account for each form of absurdity in its own terms. Williams also explores the extent to which Moore's paradox may arise for attitudes other than belief, such as desire. Written with Williams' trademark clarity and wit, the book is packed with arguments bearing on a wide range of topics in epistemology, the philosophy of language, and the philosophy of mind. (shrink)

A central feature of Confucianism is the doctrine that an adult child has, for want of a better word, the ‘duty’ to care for his elderly parents1. Whether this doctrine should be framed in terms of an ethic of duties as opposed to an ethic of virtues is a vexed question. It might be argued that the doctrine is best framed in terms of the behaviour and dispositions appropriate to an agent who is, within the Confucian moral vision, good. Nonetheless, (...) in both popular discourse and in much the secondary literature, the doctrine is characterized in terms of a moral ‘ought’. We will adopt this perspective, and talk of the ‘filial duty of care’. We investigate the empirical question of whether Chinese communities still have a strong sense of this duty. We conclude that although there is a widespread perception among Chinese communities that their sense of filial duty of care has been eroded, in fact the adherence to it remains robust. (shrink)

The central claim of a Consummation Anyway model is that God could bring about eschatological consummation sans the fall—the intended telos of created humanity—apart from the incarnation of Christ. As such, the CA model is an alternative to an Incarnation Anyway model, according to which Christ’s incarnation is a necessary means by which a state of eschatological glory would be achieved sans the fall. This essay seeks to propose an argument for the CA model by drawing from the covenant theology (...) of the Reformed tradition, and it moves in four steps. Firstly, I shall summarize Marc Cortez’s recent arguments for IA, homing in on the major moves that are most relevant for sketching a CA model. Secondly, I will highlight the challenges Cortez has offered against those interested in defending a CA model. Thirdly, I shall sketch a Reformed account of the CA model that seeks to address Cortez’s objections. Fourthly, then, I’ll consider two potential objections against the sketch I have offered for CA, inspired by a recent argument offered by James T. Turner. Finally, I close with a brief conclusion that summarizes some salient features of the proposed thesis. This paper thus proposes at least one way in which the CA thesis could remain a real and live option within this debate. (shrink)

This essay engages with Oliver D. Crisp’s parsimonious model of divine simplicity while offering a defense of a maximal account of simplicity. Specifically, I clarify the way in with Reformed orthodox theologians, like Gisbertus Voetius, anticipate something like Crisp’s model, that pure actuality is an explication, rather than an entailment, of the doctrine of simplicity, and that the doctrine of simplicity remains consistent with epistemic modesty in relation to theological matters.

Any decision by a company regarding the use of profits to pay tax, remuneration or shareholder returns has ethical implications. Sharing Profits reviews high-profile ethical issues facing companies in how profits are used, and proposes a framework for understanding the ethical implications of decisions.

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Mitchell's formulation of the chemiosmotic theory of oxidative phosphorylation in 1961 lacked any experimental support for its three central postulates. The path by which Mitchell reached this theory is explored. A major factor was the role of Mitchell's philosophical system conceived in his student days at Cambridge. This system appears to have become a tacit influence on his work in the sense that Polanyi understood all knowledge to be generated by an interaction between tacit and explicit knowing. Early in his (...) life Mitchell had evolved a simple philosophy based on fluctoids, fluctids and statids which was developed in a thesis submitted for the Ph.D. at the University of Cambridge, England. This aspect of his work was rejected by the examiners and became a tacit element in his intellectual development. It is argued from his various publications that this philosophy can be traced as an underlying theme behind much of Mitchell's theoretical writing in the 50's leading, through his notion of vectorial metabolism, to the formulation and amplification of the chemiosmotic theory in the sixties. This philosophy formed the basis for Mitchell of his understanding of biological systems and gave him his unique approach to cell biology. (shrink)

This paper is roughly in two parts. The first deals with whether know-how is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: Hutchinson, Jason Stanley and Timothy Williamson (2001). Knowing how. Journal of Philosophy, 98, pp. 411–444 as well as Stephen Hetherington (2006). How to know that knowledge-that is knowledge-how. In S. Hetherington (Ed.) Epistemology futures. Oxford: Oxford University Press. The conclusion of this first part is that know-how sometimes does and sometimes (...) does not consist in propositional knowledge. The second part defends an analysis of know-how inspired by Katherine Hawley’ (2003). Success and knowledge-how. American Philosophical Quarterly, 40, pp. 19–31, insightful proposal that know-how requires counterfactual success. I conclude by showing how this analysis helps to explain why know-how sometimes does and sometimes does not consist of propositional knowledge. (shrink)

I supply an argument for Evans's principle that whatever justifies me in believing that p also justifies me in believing that I believe that p. I show how this principle helps explain how I come to know my own beliefs in a way that normally makes me the best authority on them. Then I show how the principle helps to solve Moore's paradoxes.

It is raining but you don’t believe that it is raining. Imagine accepting this claim. Then you are committed to saying ‘It is raining but I don’t believe that it is raining’. This would be an ‘absurd’ thing to claim or assert, yet what you say might be true. It might be raining, while at the same time, you are completely ignorant of the state of the weather. But how can it be absurd of you to assert something about yourself (...) that might be true of you? This is Moore’s paradox as it occurs in speech. What is the source of the absurdity? And why does it strike us that a contradiction is somehow at work when there is no contradiction in the content of what is asserted? In Section 2, I describe Moore’s formulation of the paradox and evaluate his own solutions. In Section 3, I discuss Wittgenstein’s inf luence in solving the paradox. In Section 4, I discuss Shoemaker’s priority thesis that once the absurdity in belief has been explained, then this will translate into an explanation of the absurdity in assertion. In Section 5, I discuss work on omissive and commissive Moore-paradoxical assertions, i.e. those of the forms p & I don’t believe that p and p & I believe that not-p. In Section 6, I discuss work on assertions of the form p & I don’t know that p. (shrink)

An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting the (...) tree of genera and species from Plato's diairesis into the Neoplatonic linear hierarchy of Being by use of scalar hyper and privative negations. (shrink)

This book shows otherwise. John Martin rehabilitates Neoplatonism, founded by Plotinus and brought into Christianity by St. Augustine.

This book sets out for the first time in English and in the terms of modern logic the semantics of the Port Royal Logic of Antoine Arnauld and Pierre Nicole, perhaps the most influential logic book in the 17th and 18th centuries. Its goal is to explain how the Logic reworks the foundation of pre-Cartesian logic so as to make it compatible with Descartes' metaphysics. The Logic's authors forged a new theory of reference based on the medieval notion of objective (...) being, which is essentially the modern notion of intentional content. Indeed, the book's central aim is to detail how the Logic reoriented semantics so that it centered on the notion of intentional content. This content, which the Logic calls comprehension, consists of an idea's defining modes. Mechanisms are defined in terms of comprehension that rework earlier explanations of central notions like conceptual inclusion, signification, abstraction, idea restriction, sensation, and most importantly within the Logic's metatheory, the concept of idea-extension, which is a new technical concept coined by the Logic. Although Descartes is famous for rejecting "Aristotelianism," he says virtually nothing about technical concepts in logic. His followers fill the gap. By putting to use the doctrine of objective being, which had been a relatively minor part of medieval logic, they preserve more central semantic doctrines, especially a correspondence theory of truth. A recurring theme of the book is the degree to which the Logic hews to medieval theory. This interpretation is at odds with what has become a standard reading among French scholars according to which this 16th-century work should be understood as rejecting earlier logic along with Aristotelian metaphysics, and as putting in its place structures more like those of 19th-century class theory. (shrink)

Moore’s paradox is the fact that assertions or beliefs such asBangkok is the capital of Thailand but I do not believe that Bangkok is the capital of Thailand or Bangkok is the capital of Thailand but I believe that Bangkok is not the capital of Thailand are ‘absurd’ yet possibly true. The current orthodoxy is that an explanation of the absurdity should first start with belief, on the assumption that once the absurdity in belief has been explained then this will (...) translate into an explanation of the absurdity in assertion. This assumption gives explanatory priority to belief over assertion. I show that the translation involved is much trickier than might at first appear. It is simplistic to think that Moorean absurdity in assertion is always a subsidiary product of the absurdity in belief, even when the absurdity is conceived as irrationality. Instead we should aim for explanations of Moorean absurdity in assertion and in belief that are independent even if related, while bearing in mind that some forms of irrationality may be forms of absurdity even if not conversely. (shrink)

G. E. Moore famously observed that to assert ‘I went to the pictures last Tuesday but I do not believe that I did’ would be ‘absurd’. Moore calls it a ‘paradox’ that this absurdity persists despite the fact that what I say about myself might be true. Krista Lawlor and John Perry have proposed an explanation of the absurdity that confines itself to semantic notions while eschewing pragmatic ones. We argue that this explanation faces four objections. We give a (...) better explanation of the absurdity both in assertion and in belief that avoids our four objections. (shrink)

It is raining but you don’t believe that it is raining. Imagine silently accepting this claim. Then you believe both that it is raining and that you don’t believe that it is raining. This would be an ‘absurd’ thing to believe,yet what you believe might be true. Itmight be raining, while at the same time, you are completely ignorant of the state of the weather. But how can it be absurd of you to believe something about yourself that might be (...) true of you? This is Moore’s paradox as it occurs in thought. Solving the paradox consists in explaining why such beliefs are absurd. I give a survey of some of the main explanations. I largely deal with explanations of the absurdity of ‘omissive’ beliefs with contents of the form p & I don’t believe that p and of ‘commissive beliefs’ with contents of the form p & I believe that not-p as well as beliefs with contents of the form p & I don’t know that p. (shrink)

(A) I went to the pictures last Tuesday but I don’t believe that I did (1942, p. 543) or (B) I believe that he has gone out. But he has not (1944, p. 204) would be “absurd” (1942, p. 543; 1944, p. 204). Wittgenstein’s letters to Moore show that he was intensely interested in this discovery of a class of possibly true yet absurd assertions. Wittgenstein thought that the absurdity is important because it is “something similar to a contradiction, thought (...) it isn’t one” (1974, p. 177). What is the explanation of the absurdity of saying or believing something about myself that might be true? Wittgenstein thought that although the explanation will say “something about the logic of assertion” it will also show that “logic isn’t as simple as logicians think it is”. So although the explanation should.. (shrink)

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the truth-conditions do (...) not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

While Saint Augustine has been a household name for centuries, the same cannot be said of long-overlooked philosopher John Poinsot. But in _Augustine and Poinsot_, John Deely contends that the history of semiotics cannot be conceived of without Poinsot’s landmark contribution. According to Deely, even though Augustine was the first to describe _what_ the sign does, Poinsot was the first to show _how_ the sign mediates between nature and culture. This revolutionary volume demonstrates how Poinsot’s account of semiotics (...) allows us to produce human knowledge and experience. (shrink)

I argue that Moore's propositions, for example, 'I went to the pictures last Tuesday but I don't believe that I did' cannot be rationally believed. Their assertors either cannot be rationally believed or cannot be believed to be rational. This analysis is extended to Moorean propositions such as God knows that I am an atheist and I believe that this proposition is false. I then defend the following definition of assertion: anyone asserts that p iff that person expresses a belief (...) that p with the intention of causing relevant epistemic change in the cognition of an actual or potential audience. (shrink)

The origins of oxidative phosphorylation, initially known as aerobic phosphorylation, grew out of three research areas of muscle metabolism, creatine phosphorylation, aerobic metabolism of lactic acid in muscle, and studies on the nature and role of adenosine triphosphate . Much of this work centred round the laboratory of Otto Meyerhof, and most of those contributing to the study of aerobic phosphorylation were influenced by that laboratory: particularly Lipmann and also Ochoa. The work of Engelhardt on ATP levels in blood also (...) appears to have been influenced by the studies of Meyerhof’s laboratory. However, with the work of Kalckar, influenced by Lipmann, biochemists began to realise the potential importance of the process. This was confirmed and extended by Belitzer and Ochoa and the theoretical contribution of Lipmann. Thus it is not easy to identify a single point that marked the initiation of studies in this field.The early work was based on the use of tissue homogenates and cells but ultimately this approach limited research possibilities. The development of techniques based on mitochondria opened up new possibilities and brought this first phase of the study of oxidative phorphorylation to a close. (shrink)

The mediaeval logic of Aristotelian privation, represented by Ockham's expositionof All A is non-P as All S is of a type T that is naturally P and no S is P, iscritically evaluated as an account of privative negation. It is argued that there aretwo senses of privative negation: (1) an intensifier (as in subhuman), the dualof Neoplatonic hypernegation (superhuman), which is studied in linguistics asan operator on scalar adjectives, and (2) a (often lexicalized) Boolean complementrelative to the extension of (...) a privative negation in sense (1) (e.g., Brute). Thissecond sense, which is the privative negation discussed in modern linguistics, isshown to be Aristotle's. It is argued that Ockham's exposition fails to capture muchof the logic of Aristotelian privation due to limitations in the expressive power of thesyllogistic. (shrink)

Discussions of what is sometimes called 'Moore's paradox' are often vitiated by a failure to notice that there are two paradoxes; not merely one in two sets of linguistic clothing. The two paradoxes are absurd, but in different ways, and accordingly require different explanations.

The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes? truth-conditions for eternal truths, which lack existential import, to all knowledge, allowing only for non-propositional knowledge of contingent existence. Malebranche's rather implausible Neoplatonic semantics is detailed as consisting of three key semantic relations: illumination by which God's (...) ideas cause mental terms, creation by which God's ideas cause material substances by a kind of ?ontic privation?, and sensation in which brain events occasion states of mental awareness. In contrast, Arnauld distinguishes two types of propositions ? necessary and contingent ? with distinct truth-conditions, one with and one without existential import. Arnauld's more modern semantics is laid out as a theory of reference that substitutes earlier causal accounts with one that adapts the medieval notion of objective being. His version anticipates modern notions of intentional content and appeals in its ontology only to substances and their modes. (shrink)

Is there a Moore ’s paradox in desire? I give a normative explanation of the epistemic irrationality, and hence absurdity, of Moorean belief that builds on Green and Williams’ normative account of absurdity. This explains why Moorean beliefs are normally irrational and thus absurd, while some Moorean beliefs are absurd without being irrational. Then I defend constructing a Moorean desire as the syntactic counterpart of a Moorean belief and distinguish it from a ‘Frankfurt’ conjunction of desires. Next I discuss putative (...) examples of rational and irrational desires, suggesting that there are norms of rational desire. Then I examine David Wall’s groundbreaking argument that Moorean desires are always unreasonable. Next I show against this that there are rational as well as irrational Moorean desires. Those that are irrational are also absurd, although there seem to be absurd desires that are not irrational. I conclude that certain norms of rational desire should be rejected. (shrink)

G. E. Moore famously observed that to say, “ I went to the pictures last Tuesday but I don’t believe that I did” would be “absurd”. Why should it be absurd of me to say something about myself that might be true of me? Moore suggested an answer to this, but as I will show, one that fails. Wittgenstein was greatly impressed by Moore’s discovery of a class of absurd but possibly true assertions because he saw that it illuminates “the (...) logic of assertion”. Wittgenstein suggests a promising relation of assertion to belief in terms of the idea that one “expresses belief” that is consistent with the spirit of Moore’s failed attempt to explain the absurdity. Wittgenstein also observes that “under unusual circumstances”, the sentence, “It’s raining but I don’t believe it” could be given “a clear sense”. Why does the absurdity disappear from speech in such cases? Wittgenstein further suggests that analogous absurdity may be found in terms of desire, rather than belief. In what follows I develop an account of Moorean absurdity that, with the exception of Wittgenstein’s last suggestion, is broadly consistent with both Moore’s approach and Wittgenstein’s. (shrink)

Inconsistency and contradiction are important concepts. Unfortunately, they are easily confused. A proposition or belief which is inconsistent is one which is self- contradictory and vice-versa. Moreover two propositions or beliefs which are contradictories are inconsistent with each other. Nonetheless it is a mistake to suppose that inconsistency is the same as contradiction.

Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.