At the age of 20, and fresh from his undergraduate studies in mathematics, Ramsey set about writing what would be his first substantial publication, his 1923 Critical Notice of Wittgenstein’s Tractatus. It is hard for modern students of that book, who negotiate its obscurities with generations of previous commentary to serve as guides, to appreciate the task Ramsey confronted; and, to the extent that one can appreciate it, it is hard not to feel intimidated by the brilliance of his success. (...) His Critical Notice made Ramsey the first of Wittgenstein’s interpreters.1 In my view it makes him, still, the best. I want to illustrate that here by considering what light his remarks cast on a single passage of the book, in which Wittgenstein advances what might be called his theory of judgement. (shrink)

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein’s Tractatus and the identity theory of truth proposed by Hornsby and McDowell.The paper’s positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern identity theory is (...) vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

A way of reading the Tractatus has been proposed which, according to its advocates, is importantly novel and essentially distinct from anything to be found in the work of such previously influential students of the book as Anscombe, Stenius, Hacker or Pears. The point of difference is differently described, but the currently most used description seems to be Goldfarb’s term ‘resolution’ – hence one speaks of ‘the resolute reading’. I’ll shortly ask what resolution is. For now, it is enough that (...) it aims to give full weight to the penultimate section of the Tractatus in which Wittgenstein declares his propositions to be nonsense, where giving full weight to that declaration involves not hearing it as allowing that those ‘nonsensical’ propositions might have another kind of ‘sense’. In that same section Wittgenstein explains that these nonsense propositions, while devoid of meaning, have a use: to make the kind of use of them that their author intends – and so to understand him – requires recognizing that they are nonsense; and through that recognition one ‘surmounts’ these propositions, and is led ‘to see the world aright’. So there is a point to all this nonsense. What point? (shrink)

These new studies of Wittgenstein's Tractatus represent a significant step beyond recent polemical debate.

0. My aims in this paper are largely expository: I am more interested in presenting the picture theory than deciding its truth. Even so, I hope that the arguments by which I develop the theory will do something to support it, since I believe that what I will present as Wittgenstein's view is indeed the truth. This is not an admission of insanity, though some things that have been thought intrinsic to the picture theory are things it would be insane (...) to believe. So clearly the view I will present, when compared to the most embracing interpretations, is a partial and selective one. It would be another kind of madness, one I am just as eagre to disown, to suppose that my own favoured selection is the only possible one. That is pretty well the last remark in this paper about other commentators. I trust my reticence entitles me to be presumed catholic until proven nonconformist. (shrink)

Wittgenstein presents in the Tractatus a variable purporting to capture the general form of proposition. One understanding of what Wittgenstein is doing there, an understanding in line with the ‘new’ reading of his work championed by Diamond, Conant and others, sees it as a deflationary or even an implosive move—a move by which a concept sometimes put by philosophers to distinctively metaphysical use is replaced, in a perspicuous notation, by an innocent device of generalization, thereby dispersing the clouds of philosophy (...) that formerly surrounded the concept. By asking how Wittgenstein supposed his variable to work, and what work he imagined it was fit for, the paper questions the adequacy of that understanding. (shrink)

Wittgenstein, in the Tractatus, conceives the world as ‘the totality of facts’. Type-stratification threatens that conception : the totality of facts is an obvious example of an illegitimate totality. Wittgenstein’s notion of truthoperation evidently has some role to play in avoiding that threat, allowing propositions, and so facts, to constitute a single type. The paper seeks to explain that role in a way that integrates the ‘philosophical’ and ‘technical’ pressures on the notion of an operation.

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein's Tractatus and the identity theory of truth proposed by Hornsby and McDowell. The paper's positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern identity theory (...) is vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

Ever since the publication of 'Truth' in 1959 Sir Michael Dummett has been acknowledged as one of the most profoundly creative and influential of contemporary philosophers. His contributions to the philosophy of thought and language, logic, the philosophy of mathematics, and metaphysics have set the terms of some of most fruitful discussions in philosophy. His work on Frege stands unparalleled, both as landmark in the history of philosophy and as a deep reflection on the defining commitments of the analytic school.This (...) volume of specially composed essays on Dummett's philosophy presents a new perspective on his achievements, and provides a focus for further research fully informed by the Dummett's most recent publications. Collectively the essays in philosophy of mathematics provide the most sustained discussion to date of the role of Dummett's diagnosis of the root of the logico-mathematical paradoxes in his case for an intuitionist revision of classical mathematics. The themes of other essays include a fundamental challenge to Dummett's Fregean understanding of predication, and a criticism of his case for logical revision outside of mathematics. (shrink)

But logic as it stands, e.g. in Principia Mathematica, can quite well be applied to our ordinary propositions; e.g. from ‘All men are mortal’ and ‘Socrates is a man’ there follows according to this logic ‘Socrates is mortal’, which is obviously correct, even though I equally obviously do not know what structure is possessed by the thing Socrates or the property of mortality. Here they just function as simple objects.

Quine made it conventional to portray the contradiction that destroyed Frege’s logicism as some kind of act of God, a thunderbolt that descended from a clear blue sky. This portrayal suited the moral Quine was antecedently inclined to draw, that intuition is bankrupt, and that reliance on it must therefore be replaced by a pragmatic methodology. But the portrayal is grossly misleading, and Quine’s moral simply false. In the person of others – Cantor, Dedekind, and Zermelo – intuition was working (...) pretty well. It was in Frege that it suffered a local and temporary blindness. The question to ask, then, is not how Frege was overtaken by the contradiction, but how it is that he didn’t see it coming. The paper offers one kind of answer to that question. Starting from the very close similarity between Frege’s proof of infinity and the reasoning that leads to the contradiction, it asks: given his understanding of the first, why did Frege did not notice the second? The reason is traced, first, to a faulty generalization Frege made from the case of directions and parallel lines; and, through that, to Frege’s having retained, and attempted incoherently to combine with his own, aspects of a pre-Fregean understanding of the generality of logical principles. (shrink)

Nine of the papers collected here derive directly from a conference organized by Schirn in Munich in 1991. Seven others, three of them reprinted, have been intelligently chosen to complement the original nine. The collection has no overarching theme, nor is it dominated by any particular approach to Frege’s thought. It is “a mixed selection”, and aims to reflect “the prevailing tendency in current Frege scholarship”. The influence of Dreben is less in evidence than one might expect, but otherwise the (...) collection meets that broad brief pretty well. Some of the collection’s best papers—for example, those by Burge, Boolos, Dummett, Heck, and Terence Parsons—are essential reading. Inevitably, not all the others have that standing. But, excepting only an over-long essay by the editor, each deserves its place. (shrink)

Define ‘het’ as a predicate that truly applies to itself if and only if it does not truly apply to itself and which also truly applies to any predicate that does not truly apply to its own name. We know that the attempted definition of ‘hes’ is a failure, and so a fortiori is that of ‘het’. Similarly, there is no Qussell class which contains itself as a member if and only if it does not contain itself as a member, (...) so a fortiori there is no Russell Class which contains itself as a member if and only if it does not contain itself as a member and which also contains all and only non-self-membered classes (such as the class of dogs). The second conjunct in both the definition of ‘het’ and of the Russell class cannot revive a definition doomed to failure. Likewise, the ‘definition’ of n as ‘n > 1 iff n < 1’ fails, and the attempted definition of m as ‘m > 1 iff m < 1 and m is prime’ is hopeless too; its final clause buys it no respectability. (shrink)

Titles and abstracts for the Pitt-London Workshop in the Philosophy of Biology and Neuroscience: September 2001.

This paper is a review of work on Newman's objection to epistemic structural realism (ESR). In Section 2, a brief statement of ESR is provided. In Section 3, Newman's objection and its recent variants are outlined. In Section 4, two responses that argue that the objection can be evaded by abandoning the Ramsey-sentence approach to ESR are considered. In Section 5, three responses that have been put forward specifically to rescue the Ramsey-sentence approach to ESR from the modern versions of (...) the objection are discussed. Finally, in Section 6, three responses are considered that are neutral with respect to one's approach to ESR and all argue (in different ways) that the objection can be evaded by introducing the notion that some relations/structures are privileged over others. It is concluded that none of these suggestions is an adequate response to Newman's objection, which therefore remains a serious problem for ESRists. Introduction Epistemic Structural Realism 2.1 Ramsey-sentences and ESR 2.2 WESR and SESR The Objection 3.1 Newman's version 3.2 Demopoulos and Friedman's and Ketland's versions Replies that Abandon the Ramsey-Sentence Approach to ESR 4.1 Redhead's reply 4.2 French and Ladyman's reply Replies Designed to Rescue the Ramsey-Sentence Approach 5.1 Zahar's reply 5.2 Cruse's reply 5.3 Melia and Saatsi's reply Replies that Argue that Some Structures/Relations are Privileged 6.1 A Carnapian reply 6.2 Votsis' reply 6.3 The Merrill/Lewis/Psillos reply Summary CiteULike Connotea Del.icio.us What's this? (shrink)

There are at least three things we might mean by "ethics in robotics": the ethical systems built into robots, the ethics of people who design and use robots, and the ethics of how people treat robots. This paper argues that the best approach to robot ethics is one which addresses all three of these, and to do this it ought to consider robots as socio-technical systems. By so doing, it is possible to think of a continuum of agency that lies (...) between amoral and fully autonomous moral agents. Thus, robots might move gradually along this continuum as they acquire greater capabilities and ethical sophistication. It also argues that many of the issues regarding the distribution of responsibility in complex socio-technical systems might best be addressed by looking to legal theory, rather than moral theory. This is because our overarching interest in robot ethics ought to be the practical one of preventing robots from doing harm, as well as preventing humans from unjustly avoiding responsibility for their actions. (shrink)

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)