In this book, Ben-Yami reassesses the way Descartes developed and justified some of his revolutionary philosophical ideas. The first part of the book shows that one of Descartes' most innovative and influential ideas was that of representation without resemblance. Ben-Yami shows how Descartes transfers insights originating in his work on analytic geometry to his theory of perception. The second part shows how Descartes was influenced by the technology of the period, notably clockwork automata, in holding life to be a mechanical (...) phenomenon, reducing the soul to the mind and considering it immaterial. Ben-Yami explores the later role of the digital computer in Turing's criticism of Descartes' ideas. The last part discusses the Meditations: far from starting everything afresh without presupposing anything that can be doubted, Descartes' innovations in the dream argument, the cogito and elsewhere are modifications of old ideas based upon considerations issuing from his separately developed theories, formed under the influence of the technology, mathematics and science of his age. (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)

This pioneering work in the history of science, which originated in a series of three Gauss Seminars given at Princeton University in 1984, demonstrated how the roots of the scientific revolution lay in medieval scholasticism.

In the book, I argue that the mind can be explained computationally because it is itself computational—whether it engages in mental arithmetic, parses natural language, or processes the auditory signals that allow us to experience music. All these capacities arise from complex information-processing operations of the mind. By analyzing the state of the art in cognitive science, I develop an account of computational explanation used to explain the capacities in question.

To be able to believe that a dog with a broken paw is not really in pain when it whimpers is a quite extraordinary achievement even for a philosopher. Yet according to the standard interpretaion, this is just what Descartes did believe. He held, we are informed, the ‘monstrous’ thesis that ‘animals are without feeling or awareness of any kind’. The Standard view has been reiterated in a recent collection on animal rights, which casts Descartes as the villain of the (...) piece for his alleged view that animals merely behave ‘ as if they feel pain when they are, say, kicked or stabbed’. The basis for this widely accepted interpretation is Descartes' famous doctrine of ‘animal machine’ ; a doctrine that one critic condemns as ‘a grim fortaste of a mechanically minded age’ which ‘brutally violates the old kindly fellowship of living things’. (shrink)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

This paper provides a restatement and defense of the data/ phenomena distinction introduced by Jim Bogen and me several decades ago (e.g., Bogen and Woodward, The Philosophical Review, 303–352, 1988). Additional motivation for the distinction is introduced, ideas surrounding the distinction are clarified, and an attempt is made to respond to several criticisms.

Noam Chomsky's book on syntactic structures is a serious attempts on the part of a linguist to construct within the tradition of scientific theory-construction ...

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Winner of the Wolf Prize for his contribution to our understanding of the universe, Penrose takes on the question of whether artificial intelligence will ever ...

I OFFER AN ANALYSIS OF DESCARTES'S COGITO WHICH IS RADICALLY NOVEL WHILE INCORPORATING MUCH AVAILABLE INSIGHT. BY ENLARGING FOCUS FROM THE DICTUM ITSELF TO THE REASONING OF DOUBT, DREAMING AND DEMON, I DEMONSTRATE A CLOSE PARALLEL TO THE LOGIC OF THE LIAR PARADOX. THIS HELPS TO EXPLAIN FAMILIAR PARADOXICAL FEATURES OF DESCARTES'S ARGUMENT. THE ACCOUNT PROVES TO BE TEXTUALLY ELEGANT AND, MOREOVER, HAS CONSIDERABLE INDEPENDENT PHILOSOPHICAL PLAUSIBILITY AS AN ACCOUNT OF MIND AND SELF.

'I concluded that I was a substance whose whole essence or nature resides only in thinking, and which, in order to exist, has no need of place and is not dependent on any material thing.' Descartes's A Discourse on the Method of Correctly Conducting One's Reason and Seeking Truth in the Sciences marks a watershed in European thought; in it, the author provides an informal intellectual autobiography in the vernacular for a non-specialist readership, sweeps away all previous philosophical traditions, and (...) sets out in brief his radical new philosophy, which begins with a proof of the existence of the self, next deduces from it the existence and nature of God, and ends by offering a radical new account of the physical world and of human and animal nature. This new translation is accompanied by a substantial introductory essay which draws on Descartes's correspondence to examine his motivation and the impact of his great work on his contemporaries. Detailed notes explain his philosophical terminology and ideas. ABOUT THE SERIES: For over 100 years Oxford World's Classics has made available the widest range of literature from around the globe. Each affordable volume reflects Oxford's commitment to scholarship, providing the most accurate text plus a wealth of other valuable features, including expert introductions by leading authorities, helpful notes to clarify the text, up-to-date bibliographies for further study, and much more. (shrink)

The first full-scale history of cognitive science, this work addresses a central issue: What is the nature of knowledge?

The most comprehensive collection of essays on Descartes' scientific writings ever published, this volume offers a detailed reassessment of Descartes' scientific work and its bearing on his philosophy. The 35 essays, written by some of the world's leading scholars, cover topics as diverse as optics, cosmology and medicine, and will be of vital interest to all historians of philosophy or science.

Towards the end of his life, Descartes published the first four parts of a projected six-part work, The Principles of Philosophy. This was intended to be the definitive statement of his complete system of philosophy, dealing with everything from cosmology to the nature of human happiness. In this book, Stephen Gaukroger examines the whole system, and reconstructs the last two parts, 'On Living Things' and 'On Man', from Descartes' other writings. He relates the work to the tradition of late Scholastic (...) textbooks which it follows, and also to Descartes' other philosophical writings, and he examines the ways in which Descartes transformed not only the practice of natural philosophy but also our understanding of what it is to be a philosopher. His book is a comprehensive examination of Descartes' complete philosophical system. (shrink)

Presenting a look at the human mind's capacity while criticizing artificial intelligence, the author makes suggestions about classical and quantum physics and ..

The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they apply is characterized via Turing machines. These machines codify human mechanical procedures that can be carried out without appealing to higher cognitive capacities. The question naturally arises, whether the theorems justify the claim that the human mind has mathematical abilities that are not shared by any machine. Turing admits that (...) non-mechanical steps of intuition are needed to transcend particular formal theories. Thus, there is a substantive point in comparing Turing’s views with Gödel’s that is expressed by the assertion, “The human mind infinitely surpasses any finite machine”. The parallelisms and tensions between their views are taken as an inspiration for beginning to explore, computationally, the capacities of the human mathematical mind. (shrink)

Wilfried Sieg. Calculations by Man and Machine: Conceptual Analysis.

§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” would probably be redundant. Despite the breath-taking, whirlwind tour, I have the modest aim of forging (...) connections between different parts of this literature and clearing up some confusions, together with the less modest aim of not introducing any more confusions.I propose to focus on three spheres within the literature on incompleteness. The first, and primary, one concerns arguments that Gödel's theorem refutes the mechanistic thesis that the human mind is, or can be accurately modeled as, a digital computer or a Turing machine. The most famous instance is the much reprinted J. R. Lucas [18]. To summarize, suppose that a mechanist provides plans for a machine,M, and claims that the output ofMconsists of all and only the arithmetic truths that a human, or the totality of human mathematicians, will ever or can ever know. We assume that the output ofMis consistent. (shrink)

Peter Slezak and William Boos have independently advanced a novel interpretation of Descartes's "cogito". The interpretation portrays the "cogito" as a diagonal deduction and emphasizes its resemblance to Godel's theorem and the Liar. I object that this approach is flawed by the fact that it assigns 'Buridan sentences' a legitimate role in Descartes's philosophy. The paradoxical nature of these sentences would have the peculiar result of undermining Descartes's "cogito" while enabling him to "disprove" God's existence.