We review evidence regarding Tomasello et al.'s proposal that individuals with autism understand intentions but fail socially because of a lack of motivation to share intentions. We argue that they are often motivated to understand others but fail because they lack the perceptual integration skills that are needed to apply their basically intact theory of mind skills in complex social situations.
1. Pohlers and The Problem. I first met Wolfram Pohlers at a workshop on proof theory organized by Walter Felscher that was held in Tübingen in early April, 1973. Among others at that workshop relevant to the work surveyed here were Kurt Schütte, Wolfram’s teacher in Munich, and Wolfram’s fellow student WilfriedBuchholz. This is not meant to slight in the least the many other fine logicians who participated there.2 In Tübingen I gave a couple of survey lectures (...) on results and problems in proof theory that had been occupying much of my attention during the previous decade. The following was the central problem that I emphasized there: The need for an ordinally informative, conceptually clear, proof-theoretic reduction of classical theories of iterated arithmetical inductive definitions to corresponding constructive systems. As will be explained below, meeting that need would be significant for the then ongoing efforts at establishing the constructive foundation for and proof-theoretic ordinal analysis of certain impredicative subsystems of classical analysis. I also spoke in Tübingen about.. (shrink)
After putting forward his celebrated deflationary theory of truth (Horwich, 1998a), Paul Horwich added a compatible theory of meaning (Horwich, 1998b). I am calling also this latter theory deflationism (although it may be a slightly misleading name in that, as Paul himself notes, his theory of meaning is deflationary more in the sense of being forced by the deflationary theory of truth than of being particularly deflationary in itself). In contrast, what I call inferentialism is the theory of meaning which (...) I am going to advocate here – the view, in a nutshell, that meaning is a matter of inferential role. Various versions of this theory have been defended by Wilfried Sellars, Robert Brandom and a couple of other philosophers including myself. And the thesis I wish to present in this paper – to put it as a provocation right off – is that Paul is an inferentialist led astray. Both deflationism and inferentialism can be seen as elaborations of what can be called the use theory of meaning; for both seem to agree that. (shrink)
In this essay, I first evaluate the conceptual analysis of human rights by Wilfried Hinsch and Markus Stepanians. Next I criticize Allen Buchanan’s claim that Rawls did not address basic human interests/capabilities theories of human nature. I argue Buchanan is doubly mistaken when he claims that John Rawls sought to avoid such theories because they are comprehensive doctrines. Then I evaluate David Reidy’s defense of Rawls, while questioning his efforts to show how Rawls’s list of human rights could be (...) expanded. Finally, I accept James Nickel’s argument that Rawls has tied human rights too closely to intervention on their behalf. However, I reject his, and by implication Rawls’s, refusal to accept a two-tiered approach to human rights. (shrink)
Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...) to be seen against the background of the stunning presentation of mathematical logic in the lectures given during the winter term 1917/18. In this paper, I sketch the connection of Hilbert's considerations to issues in the foundations of mathematics during the second half of the 19th century, describe the work that laid the basis of modern mathematical logic, and analyze the first steps in the new subject of proof theory. A revision of the standard view of Hilbert's and Bernays's contributions to the foundational discussion in our century has long been overdue. It is almost scandalous that their carefully worked out notes have not been used yet to understand more accurately the evolution of modern logic in general and of Hilbert's Program in particular. One conclusion will be obvious: the dogmatic formalist Hilbert is a figment of historical (de)construction! Indeed, the study and analysis of these lectures reveal a depth of mathematical-logical achievement and of philosophical reflection that is remarkable. In the course of my presentation many questions are raised and many more can be explored; thus, I hope this paper will stimulate interest for new historical and systematic work. (shrink)
Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. (...) W. Tait; 7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson; 8. On the outside looking in: a caution about conservativeness John P. Burgess; Part III. Set Theory: 9. Gödel and set theory Akihiro Kanamori; 10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman; 11. On the question of absolute undecidability Peter Koellner; Part IV. Philosophy of Mathematics: 12. What did Gödel believe and when did he believe it? Martin Davis; 13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb; 14. Gödel and Carnap Steve Awodey and A. W. Carus; 15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy; 16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons; 17. Gödel's conceptual realism Donald A. Martin. (shrink)
Those inquiring into the nature of mind have long been interested in the foundations of mathematics, and conversely this branch of knowledge is distinctive in that our access to it is purely through thought. A better understanding of mathematical thought should clarify the conceptual foundations of mathematics, and a deeper grasp of the latter should in turn illuminate the powers of mind through which mathematics is made available to us. The link between conceptions of mind and of mathematics has been (...) a central theme running through the great competing philosophies of mathematics of the twentieth century, though each has refashioned the connection and its import in distinctive ways. The present collection will be of interest to students of both mathematics and of mind. Contents include: "Introduction" by Alexander George; "What is Mathematics About?" by Michael Dummett; "The Advantages of Honest Toil over Theft" by George Boolos; "The Law of Excluded Middle and the Axiom of Choice" by W.W. Tait; "Mechanical Procedures and Mathematical Experience" by Wilfried Sieg; "Mathematical Intuition and Objectivity" by Daniel Isaacson; "Intuition and Number" by Charles Parsons; and "Hilbert's Axiomatic Method and the Laws of Thought" by Michael Hallett. (shrink)
Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)
In surveying the field of the anthropology of aesthetics, the author argues that the phenomenon of cultural relativism in easthetic preference may be accounted ...
∗A special thanks to those who have assisted my archival research, including Aldo Antonelli, John Burgess, Michael Della Rocca, Herbert Enderton, Bernard Linsky, Heidi Lockwood, Ruth Barcan Marcus, Julien Murzi and Bas van Fraassen. An extra special thanks to Julien Murzi, who as my research assistant in the Fall of 2005 helped me to identify and think more clearly about the famous anonymous referee reports, which are central to the present paper. For discussion and/or assistance I am also grateful to (...) many others, including Scott Berman, Berit Brogaard, Judy Crane, Susan Brower- Toland, David Chalmers, Solomon Feferman, Nick Griffin, Michael Hand, Monte Johnson, Jon Kvanvig, Matthias Lutz-Bachmann, Robert Meyer, Andreas Niederberger, Gualtiero Piccinini, Graham Priest, Krister Segerberg, Wilfried Sieg, Roy Sorensen, Kent Staley, Jim Stone, Neil Tennant, Achille Varzi, Nick Zavediuk, anonymous readers for OUP, and audience members at the Pacific APA in Portland (March 24, 2006), the Goethe University of Frankfurt (May 15, 2006), the Institute for Logic, Language and Computation at the University of Amsterdam (May 23, 2006), and the Namicona Epistemology Workshop, at the University of Copenhagen (August 22, 2006). Thanks also to my department at Saint Louis University for granting time and resources to research and write the paper. (shrink)
Church's and Turing's theses dogmatically assert that an informal notion of effective calculability is adequately captured by a particular mathematical concept of computability. I present an analysis of calculability that is embedded in a rich historical and philosophical context, leads to precise concepts, but dispenses with theses.To investigate effective calculability is to analyze symbolic processes that can in principle be carried out by calculators. This is a philosophical lesson we owe to Turing. Drawing on that lesson and recasting work of (...) Gandy, I formulate boundedness and locality conditions for two types of calculators, namely, human computing agents and mechanical computing devices (discrete machines). The distinctive feature of the latter is that they can carry out parallel computations. The analysis leads to axioms for discrete dynamical systems (representing human and machine computations) and allows the reduction of models of these axioms to Turing machines. Cellular automata and a variety of artificial neural nets can be shown to satisfy the axioms for machine computations. (shrink)
