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)
In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s (...) ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (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)
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.
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)
Crispin Wright and Bob Hale have defended the strategy of defining the natural numbers contextually against the objection which led Frege himself to reject it, namely the so-called ‘Julius Caesar problem’. To do this they have formulated principles (called sortal inclusion principles) designed to ensure that numbers are distinct from any objects, such as persons, a proper grasp of which could not be afforded by the contextual definition. We discuss whether either Hale or Wright has provided independent motivation for a (...) defensible version of the sortal inclusion principle and whether they have succeeded in showing that numbers are just what the contextual definition says they are. (shrink)
[A. W. Moore] There are criteria of ineffability whereby, even if the concept of ineffability can never serve to modify truth, it can sometimes serve to modify other things, specifically understanding. This allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein's Tractatus and those who adopt the new reading recently championed by Diamond, Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than (...) ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)
Kant's introduction of a distinctive form of philosophical investigation and proof, known as transcendental, inaugurated a new philosophical tradition. Transcendental Philosophy and Naturalism assesses the present state and contemporary relevance of this tradition. The contributors aim to understand the theoretical structures involved in transcendental explanation, and to assess the contemporary relevance of the transcendental orientation, in particular with respect to contemporary philosophical naturalism. These issues are approached from both naturalistic and transcendental perspectives.
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)
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.
We correct a misunderstanding by Hale and Wright of an objection we raised earlier to their abstractionist programme for rehabilitating logicism in the foundations of mathematics.
In a recent book, Robert Trueman develops a version of the identity theory of truth, the theory that true propositions are not in some kind of correspondence with, but are rather identical with, facts. He claims that this theory ‘collapses the gap between mind and world’. Whether it does so will obviously depend on how the theory is to be understood, which in turn depends on the argumentative route to it. Trueman’s route is clear, rigorous, and free of extravagant assumptions. (...) Perhaps because of those merits it seems obvious that it falls short of the claim he makes for it. But there are difficult questions about the nature of the shortfall and about what in the character of Trueman’s philosophical approach prevents him from appreciating it. The paper explores those questions through a comparison with Moore’s ‘original’ identity theory and the Idealist philosophy he directed it against. (shrink)
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)
Self‐evidently the standard work on the topic its whole title defines, Sir Michael Dummett’s Frege: Philosophy of Mathematics (FPM) is also the most profound and creative discussion in recent decades of the problems confronting the branch of philosophy mentioned after the colon. Chapters 14‐18 and 23‐24 of this book constitute a continuous and challenging diagnosis of these problems.1 They culminate in the proposal that these problems present an impasse that can be escaped only by adopting a constructivist understanding of mathematical (...) generality. Dummett’s case for that conclusion is no less complexly over‐layered than the problems themselves. By contrast my aims in this discussion of his case are limited in various ways, and three of these should be mentioned straightaway. In the first place, I will aim to consider a case that, if sound, would warrant a constructivist understanding of generality in mathematics generally (and so I will not be considering lines of argument specific to set theory, or to those parts of mathematics plausibly dependent on notions intrinsic to set theory). Secondly, I aim to consider a case which, while general in its application within mathematics, is not more general than that (and so would not warrant a broader anti‐realism). Reasons for these first two limitations are discussed in section 1. A third limitation is that I will aim only to understand Dummett’s case, and not to assess it. Perhaps some will think this third limitation calls for explanation or excuse. I think it needs no excuse and that the explanation is obvious. When we are dealing with fundamentally important work by a great philosopher, understanding is often ambition enough. In Michael Dummett’s work, that is what we are dealing with. (shrink)
On the Genealogy of Universals: The Metaphysical Origins of Analytic Philosophy, by MacBrideFraser. Oxford: Oxford University Press, 2018. Pp. viii + 263.
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)
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)