In a devastating critique Raymond Tallis exposes the exaggerated claims made for the ability of neuroscience and evolutionary theory to explain human consciousness, behaviour, culture and society. While readily acknowledging the astounding progress neuroscience has made in helping us understand how the brain works, Tallis directs his guns at neuroscience’s dark companion – "Neuromania" as he describes it – the belief that brain activity is not merely a necessary but a sufficient condition for human consciousness and that consequently our (...) everyday behaviour can be entirely understood in neural terms. With the formidable acuity and precision of both clinician and philosopher, Tallis dismantles the idea that "we are our brains", which has given rise to a plethora of neuro-prefixed pseudo-disciplines laying claim to explain everything from art and literature to criminality and religious belief, and shows it to be confused and fallacious, and an abuse of the prestige of science, one that sidesteps a whole range of mind–body problems. The belief that human beings can be understood essentially in biological terms is a serious obstacle, argues Tallis, to clear thinking about what human beings are and what they might become. To explain everyday behaviour in Darwinian terms and to identify human consciousness with the activity of the evolved brain denies human uniqueness, and by minimising the differences between us and our nearest animal kin, misrepresents what we are, offering a grotesquely simplified and degrading account of humanity. We are, shows Tallis, infinitely more interesting and complex than we appear in the mirror of biologism. Combative, fearless and always thought-provoking, _Aping Mankind _is an important book, one that scientists, cultural commentators and policy-makers cannot ignore. (shrink)

"Raymond Geuss is a major voice in contemporary philosophy, and this book will enhance his stature even further. Containing some of his best pieces so far, "Outside Ethics" reveals his impressive range as well as the depth of his thought.

There can be no doubt about the value of Frege's contributions to the philosophy of mathematics. First, he invented quantification theory and this was the first step toward making precise the notion of a purely logical deduction. Secondly, he was the first to publish a logical analysis of the ancestral R* of a relation R, which yields a definition of R* in second-order logic.1 Only a narrow and arid conception of philosophy would exclude these two achievements. Thirdly and very importantly, (...) the discussion in §§58-60 of the G r u n d l a g e n defends a conception of mathematical existence, to be found in Cantor (1883) and later in the writings of Dedekind and Hilbert, by basing it upon considerations about meaning which have general application, outside mathematics.2.. (shrink)

The background of these remarks is that in 1967, in ‘’Constructive reasoning” [27], I sketched an argument that finitist arithmetic coincides with primitive recursive arithmetic, P RA; and in 1981, in “Finitism” [28], I expanded on the argument. But some recent discussions and some of the more recent literature on the subject lead me to think that a few further remarks would be useful.

A stimulating introduction to central issues of political theory, including liberty, rights and the state, and the claims of need and politics.

Raymond Geuss is a critic of liberalism, a politics so pervasive in the West that it goes unnoticed. His attention sharpened by his own unorthodox intellectual journey, Geuss locates what we fail to see in the status quo: its shallowness and futility. Rejecting both authoritarian horror and liberal complacency, Geuss looks to genuinely new ideas.

Gödel regarded the Dialectica interpretation as giving constructive content to intuitionism, which otherwise failed to meet reasonable conditions of constructivity. He founded his theory of primitive recursive functions, in which the interpretation is given, on the concept of computable function of finite type. I will (1) criticize this foundation, (2) propose a quite different one, and (3) note that essentially the latter foundation also underlies the Curry-Howard type theory, and hence Heyting's intuitionistic conception of logic. Thus the Dialectica interpretation (in (...) so far as its aim was to give constructive content to intuitionism) is superfluous. (shrink)

William Hazlitt's moment occurred in 1794, when he was sixteen years old. In that moment Hazlitt thought he realized three things: that we are naturally connected to ourselves in the past and present but only imagina-.

The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.

Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of sets. It was a separate printing, with a preface and some footnotes added, of the fifth in a series of six papers under the title of “On infinite linear point manifolds”. I want to briefly describe some of the achievements of this great work. But at the same time, I want to discuss its connection (...) with the so-called paradoxes in set theory. There seems to be some agreement now that Cantor’s own understanding of the theory of transfinite numbers in that monograph did not contain an implicit contradiction; but there is less agreement about exactly why this is so and about the content of the theory itself. For various reasons, both historical and internal, the Grundlagen seems not to have been widely read compared to later works of Cantor, and to have been even less well understood. But even some of the more recent discussions of the work, while recognizing to some degree its unique character, misunderstand it on crucial points and fail to convey its true worth. (shrink)

There are some puzzles about G¨ odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception of it was unstable, that he oscillated back and forth between different accounts of it. I want to discuss these puzzles and argue that, on the contrary, G¨ odel’s writings represent a smooth evolution, with just one rather small double-reversal, of his view of finitism. He used the term “finit” (in German) or “finitary” or “finitistic” primarily to (...) refer to Hilbert’s conception of finitary mathematics. On two occasions (only, as far as I know), the lecture notes for his lecture at Zilsel’s [G¨ odel, 1938a] and the lecture notes for a lecture at Yale [G¨ odel, *1941], he used it in a way that he knew—in the second case, explicitly—went beyond what Hilbert meant. Early in his career, he believed that finitism (in Hilbert’s sense) is openended, in the sense that no correct formal system can be known to formalize all finitist proofs and, in particular, all possible finitist proofs of consistency of first-order number theory, P A; but starting in the Dialectica paper.. (shrink)

These are the very scholars that were involved in initiating the revolution in personal identity theory.

This paper has two central purposes: the first is to survey some of the more important examples of fallacious argument, and the second is to examine the frequent use of these fallacies in support of the psychological construct: Attention Deficit Hyperactivity Disorder. The paper divides 12 familiar fallacies into three different categories—material, psychological and logical—and contends that advocates of ADHD often seem to employ these fallacies to support their position. It is suggested that all researchers, whether into ADHD or otherwise, (...) need to pay much closer attention to the construction of their arguments if they are not to make truth claims unsupported by satisfactory evidence, form or logic. (shrink)

AT PHAEDO 96A-C Plato portrays Socrates as describing his past study of "the kind of wisdom known as περὶ φυσέως ἱστορία." At 96c-97b, Socrates says that this study led him to realize that he had an inadequate understanding of certain basic concepts which it involved. In consequence, he says at 97b, he abandoned this method and turned to a method of his own. But at this point in the dialogue, instead of proceeding immediately to describe his method, Plato has him (...) interjecting a complaint concerning Anaxagoras and his view that everything should be explained in terms of Mind. His complaint is that Mind would order things in the best possible way and that, therefore, an account of things in terms of Mind would amount to showing that they are ordered in the best possible way. But Anaxagoras did not show this and, instead, offered other kinds of explanations of the various phenomena. Socrates is not just criticizing Anaxagoras here for not doing what he set out to do; he makes it clear, for example at 99b-c, that he believes that the best kind of explanation of the phenomena would be to show that they are ordered in the best possible way. But he was unable to discover an explanation of this kind, either for himself or from others, and so turned to a method which he calls "second best". The actual description of this method is contained in two passages, 99e5-100a7 and 101d5-e1. Between these passages, Socrates invokes the doctrine of Forms and, in particular, the formula. (shrink)

Exploration of the fundamental motivations for attributing moral responsibility to various kinds of collectives serves as the basis for understanding the meaning of such attributions. Such attributions have a mid-range, limited justification. The analysis has broad implications for a wide variety of writings on aspects of collective moral responsibility, revealing serious deficiencies of any theory of corporate moral personhood.

First published in 1980. Routledge is an imprint of Taylor & Francis, an informa company.

The reduction of the lambda calculus to the theory of combinators in [Sch¨ onfinkel, 1924] applies to positive implicational logic, i.e. to the typed lambda calculus, where the types are built up from atomic types by means of the operation A −→ B, to show that the lambda operator can be eliminated in favor of combinators K and S of each type A −→ (B −→ A) and (A −→ (B −→ C)) −→ ((A −→ B) −→ (A −→ C)), (...) respectively.1 I will extend that result to the case in which the types are built up by means of the general function type ∀x : A.B(x) as well as the disjoint union type ∃x : A.B(x)– essentially to the theory of [Howard, 1980]. To extend the treatment of −→ to ∀ we shall need a generalized form of the combinators K and S, and to deal with ∃ we will need to introduce a new form of the combinator S.. (shrink)

First published in 1973 this volume demonstrates the interconnection between Hegel's political and metaphysical writings. This book provides a point of entry into Hegel's system of ideas. Condemned unread, and when read far too often misunderstood, Hegel's thought has once more begun to make its impact on contemporary ideas with many of today's most important social and political thinkers.

We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type is definable (...) in the Curry-Howard theory. (shrink)

These essays present new analyses of the central figures of analytic philosophy -- Frege, Russell, Moore, Wittgenstein, and Carnap -- from the beginnings of the analytic movement into the 1930s. The papers do not reflect a single perspective, but rather express divergent interpretations of this controversial intellectual milieu.

The book proceeds by investigating theism, atheism, pantheism, and panentheism as descriptions of Hegel's concept.

This_classic undergraduate text_elegantly acquaints students with the_fundamental concepts and methods of mathematics. In addition to introducing_many noteworthy historical figures_from the 18th through the mid-20th centuries, it examines_the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, groups, intuitionism,_formal systems, mathematical logic, and other topics.

An observation and a thesis: The observation is that, whatever the connection between Kant’s philosophy and Hilbert’s conception of finitism, Kant’s account of geometric reasoning shares an essential idea with the account of finitist number theory in “Finitism”, namely the idea of constructions f from ‘arbitrary’ or ‘generic’ objects of various types. The thesis is that, contrary to a substantial part of contemporary literature on the subject, when Kant referred to number and arithmetic, he was not referring to the natural (...) or whole numbers and their arithmetic, but rather to the real numbers and their arithmetic. (shrink)

Conscious sentient AI seems to be all but a certainty in our future, whether in fifty years’ time or only five years. When that time comes, we will be faced with entities with the potential to experience more pain and suffering than any other living entity on Earth. In this paper, we look at this potential for suffering and the reasons why we would need to create a framework for protecting artificial entities. We look to current animal welfare laws and (...) regulations to investigate why certain animals are given legal protections, and how this can be applied to AI. We use a meta-theory of consciousness to determine what developments in AI technology are needed to bring AI to the level of animal sentience where legal arguments for their protection can be made. We finally speculate on what a future conscious AI could look like based on current technology. (shrink)