Modern physics has provided a range of motivations for holding time to be fundamentally undirected. But how does a temporally adirectional metaphysics, or ‘C-theory’ of time, fit with the time of experience? In this chapter, I look at what kind of problem human time poses for C-theories. First, I ask whether there is a ‘hard problem’ of human time: whether it is in principle impossible to have the kinds of experience we do in a temporally adirectional world. Second I consider (...) the ‘easy problem’: how specific directed aspects of our temporal experience are to be explained by C-theorists. This leads to a greater issue: is there such a thing as an experience of time direction at all to even be explained? I show how the kinds of experience we have that we typically associate with the idea of time being directed can be accommodated within a directionless picture of time. (shrink)

Verificationism has had a bad press for many years. The view that the meaning of our words is bound up with the discernible difference it would make if what we say, think or write were true or false, nowadays is scorned as “positivist” though it was shared by eminent empiricists and pragmatists. This paper seeks to sort through some of the complexities of what is often portrayed as an unduly simplistic conception. I begin with an overview of its main logical (...) empiricist varieties before considering which aspects of it fall victim to which of the three major types of objection that have been raised against it. I will conclude that what is left standing is a modest proposal that seems worth further investigation. (shrink)

Explores the stable core of Wittgenstein's philosophy as developed from the Tractatus to the Philosophical Investigations.

This chapter investigates how a reading of Wittgenstein along the lines laid out by Cora Diamond makes room for a novel approach to ethical truth. Following Diamond, I develop the connection between the kinds of elucidatory propositions by means of which we spell out and maintain the shape of our theoretical thinking, such as “‘someone’ is not the name of someone” and “five plus seven equals twelve,” and the kind of propositions by means of which we spell out and maintain (...) the shape of ethical thinking, such as “slavery is unjust.” As Diamond points out in connection with the last example, this is a proposition that we take to be an undeniable truth; for anyone who would attempt to negate it would become unintelligible to us. In this sense this ethical truth spells out the limits of ethical thinking. And yet what counts as coherent thought about such matters tends to shift over time. Indeed the great difficulty of overcoming ethical disagreements has to do with the fact that what is at stake in them is not just the content, but the form and limits of thought. Nonetheless, Diamond proposes that ethical propositions may count as genuine truths. For this to make sense, a middle path between realism and relativism must be found. In order to show how this is possible, and in order to defend Diamond’s view, I propose to approach ethical truth by means of a disjunctivist strategy. On this approach, while we, just as much as our interlocutor, may at times be misled in our ethical thinking, and while we may at times fail to shape our ethical thought in ways that prevent us from gaining clarity on ethical matters, this does not detract from the fact that we may at times be right, and that we may then genuinely possess ethical truth. (shrink)

This is a commentary on MM McCabe's "First Chop your logos... Socrates and the sophists on language, logic, and development". In her paper MM analyses Plato's Euthydemos, in which Plato tackles the problem of falsity in a way that takes into account the speaker and complements the Sophist's discussion of what is said. The dialogue looks as if it is merely a demonstration of the silly consequences of eristic combat. And so it is. But a main point of MM's paper (...) is that there is serious philosophy in the Euthydemos, too. MM argues that to counter the sophist brothers Euthydemos and Dionysodoros, Socrates points out that that there are different aspects to the verb 'to say' that run in parallel to the different aspects of the very 'to learn'. So just as there is continuity rather than ambiguity between 'to learn' and 'to understand', so there is continuity between the different aspects of saying. Thus Socrates puts forward a teleological account of both learning and meaning. Following up on some of MM's thoughts, I argue that the sophists subscribe, despite appearance, to a theory of meaning that respects serious and widely accepted philosophical theses on meaning. -/- Forthcoming in the Australasian Philosophical Review. The curator of the volume is Fiona Leigh, and the committee also has Hugh Benson and Tim Clarke. You can find MM's paper as well as the commentaries by Nicholas Denyer and Russell E. Jones and Ravi Sharma (and myself) by registering. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

Wittgenstein gives voice to an aspiration that is central to his later philosophy, well before he becomes later Wittgenstein, when he writes in §4.112 of the Tractatus that philosophy is not a matter of putting forward a doctrine or a theory, but consists rather in the practice of an activity – an activity he goes on to characterize as one of elucidation or clarification – an activity which he says does not result in philosophische Sätze, in propositions of philosophy, but (...) rather in das Klarwerden von Sätzen, in our attaining clarity in our relation to the sentences of our language that we call upon to express our thoughts.1 To say that early Wittgenstein already aspired to such a conception of philosophy is not to gainsay that to aspire to practice philosophy in such a manner and to succeed in doing so are not the same thing. It is therefore not to deny that, by Wittgenstein’s later lights, the Tractatus is to be judged a work that is marked by forms of failure tied to its having failed fully to live up to such an aspiration. But if it is thus to be judged, then it is to some degree a failure even by Wittgenstein’s own earlier lights. This means that if one wants to understand the fundamental turn in Wittgenstein’s thinking as he moves from his earlier to his later philosophy, and why it is that he wanted the Tractatus to be published and read together with Philosophical Investigations, one needs to understand what sort of failure this is – and that requires coming to terms with the Tractatus’s own understanding of what sort of work it was trying to be. We think that readers of the Tractatus – be they admirers or detractors of Wittgenstein – have, on the whole, failed to do this. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

There are currently two readings of Tractatus, the metaphysical and the therapeutic. I argue that neither of these is satisfactory. I develop a third reading, the elucidatory reading. This shares the therapeutic interpretation’s emphasis on the idea that Wittgenstein’s remarks are intended to work on the reader, but instead of seeing these remarks as directed (problematically) at revealing their own nonsensical status, I take the remarks to be aimed at bringing a certain order to the reader’s perception of language. The (...) point of this order, and the only test of it, is that it enables the philosophical problems to disappear. In particular, it dispels philosophical puzzlement concerning the status of logic, the relation between language and the world, and the relation between thought and language. (shrink)

According to a certain kind of naïve or folk understanding of physical matter, everyday ‘solid’ objects are composed of a homogeneous, gap-less substance, with sharply defined boundaries, which wholly fills the space they occupy. A further claim is that our perceptual experience of the environment represents or indicates that the objects around us conform to this sort of conception of physical matter. Were this further claim correct, it would mean that the way that the world appears to us in experience (...) conflicts with the deliverances of our best current scientific theories in the following respect: perceptual experience would be intrinsically misleading concerning the structure of physical matter. I argue against this further claim. Experience in itself is not committed to, nor does it provide evidence for, any such conception of the nature of physical matter. The naïve/folk conception of matter in question cannot simply be ‘read-off’ from perceptual appearances. (shrink)

Both Heidegger and Wittgenstein consider the possibility of a philosophical inquiry of an absolutely universal scope—an inquiry into the being of all beings, in Heidegger’s case, and into the logical form of everything that can be meaningfully said, in Wittgenstein’s. Moreover, they both raise the worry that the theoretical language by means of which we speak of particular beings and assert particular facts is not suited to this task. And yet their own philosophical work seems to include many assertions of (...) ordinary, theoretical language. Are they being inconsistent? Or are they hoping to use theoretical language in a way that conveys what cannot be said in that language? Much of the scholarship on each of these thinkers takes the form of one of the two horns of this dilemma. In the context of Wittgenstein scholarship, however, a third alternative has been proposed: the Resolute Reading of the Tractatus. My aim is to establish the availability of a similar solution to Heidegger’s predicament. It will emerge that Heidegger rejects the possibility of a theoretical account of being and pursues a project of a radically different sort, whose goal is to bring about a transformation of our fundamental relation to being. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

Dasgupta :35–67, 2009) has argued that material individuals, such as particles and laptops, are metaphysically objectionable and must be eliminated from our fundamental theories of the world. He proposes to eliminate them by redescribing all the fundamental facts of the world in a variant of predicate functor logic. We study the status, on this theory, of a putative fact particularly recalcitrant to a formulation within predicate functor logic: his own claim that there are no fundamental or primitive material individuals. We (...) consider three regimentations of the denial of primitive individuals and show that—under some plausible hypotheses about fundamental truths and the fundamentality operator—they cannot be consistently translated in predicate functor logic by Dasgupta’s usual strategy. We conclude by discussing two approaches to salvage Generalism, in the absence of such a translation. (shrink)

It is not immediately clear from Wittgenstein’s Tractatus how to connect his idea there of an object with the logical ontologies of Frege and Russell. Toward clarification on this matter, this paper compares Russell’s and Wittgenstein’s versions of the thesis of an atomic fact that it is a complex composition. The claim arrived at is that whilst Russell (at times at least) has one particular of the elements of a fact – the relation – responsible for the unity of the (...) whole, for Wittgenstein the unity of a fact is the product of copulative powers inherent in all its elements. All kinds of constituents of Tractarian facts – all kinds (forms) of object – are, to use Fregean terminology, unsaturated. (shrink)

This paper addresses the problem of providing a satisfying explanation of the Tractarian notions of state of affairs, fact and situation, an issue first raised by Frege and Russell. In order to do so, I first present what I consider to be the three main existing interpretations of these notions: the classic, the standard and Peter Simons’. I then present and defend an interpretation which is closer to the text than the classic and standard interpretations; one which is similar to (...) Peter Simons’ but which differs from it concerning one important point with respect to the nature of situations. Accordingly, the above mentioned should be seen as three wholly distinct categories. States of affairs are to be understood as Russellian complexes, facts as the subsistence and non-subsistence of states of affairs and situations as possibilities of the subsistence and possibilities of the non-subsistence of states of affairs. (shrink)

Although the terms ‘poles’, ‘bipolar’, and ‘bipolarity’ do not appear in the Tractatus, it is widely held that Wittgenstein maintained his commitment to bipolarity in the Tractatus. As it is usually understood, the principle of bipolarity is that every proposition must be capable of being true and capable of being false, which rules out propositions that are necessarily true or necessarily false. Here I argue that Wittgenstein was committed to bipolarity in the Tractatus, but getting a clear view of this (...) commitment requires a different understanding of bipolarity. Properly understood, bipolarity is the view that every proposition represents two possible states of affairs, one positive and the other negative. Of course, in the case of elementary propositions, the sense of a proposition is only the positive state of affairs. There is thus an asymmetry between what a proposition represents, its true-false poles, and what it says, its sense. In this paper I show how Wittgenstein accounted for this asymmetry in Notes on Logic and I consider two ways he might have accounted for it in the Tractatus. (shrink)

By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

I argue, through appeal to the distinction between analysis and decomposition described by Dummett, that Wittgenstein employs both of those notions in the Tractatus. I then bring this interpretation to bear upon the issue of propositional unity, where I formulate an objection to the views of both Leonard Linksy and José Zalabardo. I show that both Linsky and Zalabardo fail to acknowledge the distinction between analysis and decomposition present in the Tractatus, and that they consequently mischaracterise Wittgenstein’s position with respect (...) to propositional unity. (shrink)

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

Peter Van Inwagen argues that The Principle of Sufficient Reason (PSR) either leads to contradiction or it leads to necessitarianism. Although I agree with Van Inwagen that the relationship between the PSR and necessitarianism is close, I argue that the PSR is compatible with innocent versions of necessitarianism. In this project my main argument is that modal realism can account for the PSR and integrate it within an innocent version of necessitarianism. My main claim will be that each fact in (...) each possible world is grounded in the principle of plenitude. Also, while each fact is grounded in plenitude, it avoids rigid necessitarianism because (i) actuality is not captured by the PSR, (ii) things could be otherwise because there are other worlds, and due to the principle of recombination (iii) cardinality of possible worlds is maximized and (iv) there are no necessary connections between distinct individuals. As a result, the relationship between modal realism and the PSR is symbiotic. Through modal realism, the PSR also results as: having its scope extended to the realm of all possibilia rather than being confined to mere actuality; it solves indeterminacy problems like Leibniz’s problem of space or the hard problem of consciousness; it accounts for facts in lawless worlds etc. On the other hand, through the PSR, modal realism gets one more benefit in its inventory because it accounts for the PSR. Thus, modal realism still continues on Lewis’ paradoxical path of proving to be highly pragmatic but counterintuitive at the same time. If added benefits are worth the costs for modal realism is still an open question. (shrink)

I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

This paper brings to light a new puzzle for Frege interpretation, and offers a solution to that puzzle. The puzzle concerns Frege’s judgement-stroke (‘|’), and consists in a tension between three of Frege’s claims. First, Frege vehemently maintains that psychological considerations should have no place in logic. Second, Frege regards the judgementstroke—and the associated dissociation of assertoric force from content, of the act of judgement from the subject matter about which judgement is made—as a crucial part of his logic. Third, (...) Frege holds that judging is an inner mental process, and that the distinction marked by the judgement-stroke, between entertaining a thought and judging that it is true, is a psychological distinction. I argue that what initially looks like confusion here on Frege’s part appears quite reasonable when we remind ourselves of the differences between Frege’s conception of logic and our own. (shrink)

This paper offers an interpretation of Russell's multiple-relation theory of judgment which characterizes it as direct application of the 1905 theory of definite descriptions. The paper maintains that it was by regarding propositional symbols (when occurring as subordinate clauses) as disguised descriptions of complexes, that Russell generated the philosophical explanation of the hierarchy of orders and the ramified theory of types of _Principia mathematica (1910). The interpretation provides a new understanding of Russell's abandoned book _Theory of Knowledge (1913), the 'direction (...) problems' and Wittgenstein's criticisms. (shrink)

Building on the unpublished correspondence between Ludwig Wittgenstein's literary executors Rush Rhees, Elizabeth Anscombe and Georg Henrik von Wright, this paper sketches the historical development of different editorial approaches to Wittgenstein's Nachlass. Using the metaphor of a ladder, it is possible to distinguish seven significant “rungs” or “steps” in the history of editing Wittgenstein's writings. The paper focuses particularly on the first four rungs, elucidating how Rhees, Anscombe and von Wright developed different editorial approaches that resulted in significant differences in (...) their editions. The paper sheds light on how these editorial differences are grounded in the editors' divergent understandings of their task. It is suggested that future research may investigate the development of editorial approaches to Wittgenstein's Nachlass as a human story of philosophical inheritance. (shrink)

In this paper, I provide a new reading of Wittgenstein’s N operator, and of its significance within his early logical philosophy. I thereby aim to resolve a longstanding scholarly controversy concerning the expressive completeness of N. Within the debate between Fogelin and Geach in particular, an apparent dilemma emerged to the effect that we must either concede Fogelin’s claim that N is expressively incomplete, or reject certain fundamental tenets within Wittgenstein’s logical philosophy. Despite their various points of disagreement, however, Fogelin (...) and Geach nevertheless share several common and problematic assumptions regarding Wittgenstein’s logical philosophy, and it is these mistaken assumptions which are the source of the dilemma. Once we recognize and correct these, and other, associated expository errors, it will become clear how to reconcile the expressive completeness of Wittgenstein’s N operator, with several commonly recognized features of, and fundamental theses within, the Tractarian logical system. (shrink)

This paper reconsiders the notion that Nagarjuna and Wittgenstein’s Tractatus may only be seen as comparable under a shared ineffability thesis, that is, the idea that reality is impossible to describe in sensible discourse. Historically, Nagarjuna and the early Wittgenstein have both been widely construed as offering either metaphysical theories or attempts to refute all such theories. Instead, by employing an interpretive framework based on a ‘resolute’ reading of the Tractatus, I suggest we see their philosophical affinity in terms of (...) a shared conception of philosophical method without proposing theses. In doing so, this offers us a new way to understand Nagarjuna’s characteristic claims both to have ‘no views’ and refusal to accept that things exist ‘inherently’ or with ‘essence’. Therefore, instead of either a view about the nature of a mind-independent ‘ultimate reality’ or a thesis concerning the rejection of such a domain, I propose that we understand Nagarjuna’s primary aim as ‘therapeutic’, that is, concerned with the dissolution of philosophical problems. However, this ‘therapy’ should neither be confined to the psychotherapeutic metaphor nor should it be taken to imply a private enlightenment only available to philosophers. Instead, for Nagarjuna and Wittgenstein, philosophical problems are cast as a source of disquiet for all of us; what their work offers is a soteriology, a means towards our salvation. (shrink)

In previous research, Schopenhauer is regarded as a consistent representative of a classical picture theory of language. The paper shows, however, that Schopenhauer does not only present a use theory of meaning in his lectures on logic, but also justifies it with the help of the context principle. Furthermore, it is discussed to what extent Schopenhauer's use theory of meaning is similar to the semantic theory of Ludwig Wittgenstein and his successors.

The philosophy of arithmetic of Wittgenstein's Tractatus is outlined and the central role played in it by the general notion of operation is pointed out. Following which, the language, the axioms and the rules of a formal theory of operations, extracted from the Tractatus, are presented and a theorem of interpretability of the equational fragment of Peano's Arithmetic into such a formal theory is proven.

This thesis brings together two concerns. The first is the nature of inference—what it is to infer—where inference is understood as a distinctive kind of conscious and self-conscious occurrence. The second concern is the possibility of doxastic agency. To be capable of doxastic agency is to be such that one is capable of directly exercising agency over one’s beliefs. It is to be capable of exercising agency over one’s beliefs in a way which does not amount to mere self-manipulation. Subjects (...) who can exercise doxastic agency can settle questions for themselves. A challenge to the possibility of doxastic agency stems from the fact that we cannot believe or come to believe “at will”, where this in turn seems to be so because belief “aims at truth”. It must be explained how we are capable of doxastic agency despite that we cannot believe or come to believe at will. On the orthodox ‘causalist’ conception of inference for an inference to occur is for one act of acceptance to cause another in some specifiable “right way”. This conception of inference prevents its advocates from adequately seeing how reasoning could be a means to exercise doxastic agency, as it is natural to think it is. Suppose, for instance, that one reasons and concludes by inferring where one’s inference yields belief in what one infers. Such an inference cannot be performed at will. We cannot infer at will when inference yields belief any more than we can believe or come to believe at will. When it comes to understanding the extent to which one could be exercising agency in such a case the causalist conception of inference suggests that we must look to the causal history of one’s concluding act of acceptance, the nature of the act’s being determined by the way in which it is caused. What results is a picture on which such reasoning as a whole cannot be action. We are at best capable of actions of a kind which lead causally to belief fixation through “mental ballistics”. The causalist account of inference, I argue, is in fact either inadequate or unmotivated. It either fails to accommodate the self-consciousness of inference or is not best placed to play the very explanatory role which it is put forward to play. On the alternative I develop when one infers one’s inference is the conscious event which is one’s act of accepting that which one is inferring. The act’s being an inference is determined, not by the way it is caused, but by the self-knowledge which it constitutively involves. This corrected understanding of inference renders the move from the challenge to the possibility of doxastic agency to the above ballistics picture no longer tempting. It also yields an account of how we are capable of exercising doxastic agency by reasoning despite being unable to believe or come to believe at will. In order to see how such reasoning could amount to the exercise of doxastic agency it needs to be conceived of appropriately. I suggest that paradigm reasoning which potentially amounts the exercise of doxastic agency ought to be conceived of as primarily epistemic agency—agency the aim of which is knowledge. With inference conceived as suggested, I argue, it can be seen how to engage in such reasoning can just be to successfully exercise such agency. (shrink)

Much has been written on the relative merits of different readings of Wittgenstein's Tractatus Logico-Philosophicus. The recent renewal of the debate has almost exclusively been concerned with variants of the ineffabilist (metaphysical) reading of TL-P - notable such readings have been advanced by Elizabeth Anscombe, P. M. S. Hacker and H. O. Mounce - and the recently advanced variants of therapeutic (resolute) readings - notable advocates of which are James Conant, Cora Diamond, Juliet Floyd and Michael Kremer. During this debate, (...) there have been a number of writers who have tried to develop a third way, incorporating what they see as insights and avoiding what they see as flaws in both the ineffabilist and resolute readings. The most prominent advocates of these elucidatory readings of TL-P are Dan Hutto (2003) and Marie McGinn (1999). In this paper we subject Hutto's and McGinn's readings of TL-P to critical scrutiny. We find that in seeking to occupy the middle ground they ultimately find themselves committed to (and in the process commit Wittgenstein to) the very ineffabilism they (and Wittgenstein) are seeking to overcome. (shrink)

It is fairly well known that Wittgenstein's criticisms of Russell's multiple‐relation theory of judgement had a devastating effect on the latter's philosophical enterprise. The exact nature of those criticisms however, and the explanation for the severity of their consequences, has been a source of confusion and disagreement amongst both Russell and Wittgenstein scholars. In this paper, I offer an interpretation of those criticisms which shows them to be consonant with Wittgenstein's general critique of Russell's conception of logic and which serves (...) to elucidate some of the notoriously enigmatic passages of the Tractatus. In particular, I seek to show the continuity of Wittgenstein's criticisms of the theory of judgement with his remarks on Russell's paradox and the theory of types. In addition, I place these issues in the context of Russell's own philosophical ambitions in order to reveal the deep divisions between the two over the nature of logical form and the analysis of propositional content. (shrink)

In his Problems of Philosophy, Bertrand Russell distinguished knowledge by acquaintance and knowledge of truths. This paper argues for a new interpretation of the relationship between these two species of knowledge. I argue that knowledge by acquaintance of an object neither suffices for knowledge that one is acquainted with the object, nor puts a subject in a position to know that she is acquainted with the object. These conclusions emerge from a thorough examination of the central role played by attention (...) in Russell's theory of knowledge. Attention bridges the gap between knowledge by acquaintance and our capacity to form judgements about the objects of acquaintance. (shrink)

The power of Wittgenstein's N operator described in the Tractatus is that every proposition which can be expressed in the Russellian variant of the predicate calculus familiar to him has an equivalent proposition in an extended variant of his N operator notation. This remains true if the bound variables are understood in the usual inclusive sense or in Wittgenstein's restrictive exclusive sense. The problematic limit of Wittgenstein's N operator comes from his claim that symbols alone reveal the logical status of (...) propositions. This would require knowledge of the size of the Tractarian domain of unchangeable, simple objects, and this, Wittgenstein maintained, cannot be known. (shrink)

Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from other logical notations because they are capable of “multiple readings.” We refute this interpretation by showing that there are at least three different kinds (...) of such multiple readings. While readings of the first kind do not capture any essential difference among notations but only among vocabularies, corresponding to readings of the second and the third kind two general parameters according to which notations may differ are defined: linearity vs. non-linearity, and tabularity vs. non-tabularity. This answers the question of how there can be substantially different but expressively equivalent logical notations. (shrink)

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

Are inferences, theoretical and practical, subject to requirements of rationality? If so, are these of the form 'if … ought …' or 'ought … if …'? If the latter, how are we to understand the 'if'? It seems that, in all cases, we get unintuitive implications if 'ought' connotes having reason. It is difficult to formulate such requirements, and obscure what they explain. There might also be a requirement forbidding self-contradiction. It is a good question whether self-contradiction constitutes, or evidences, (...) irrationality; but talk of a rational requirement causes trouble. (shrink)

The purpose of this paper is threefold. First, I visit the Fogelin–Geach-dispute, criticizeMiller''s interpretation of the Geachian notationN(x:N(fx)) and conclude that Fogelin''s argumentagainst the expressive completeness of the Tractariansystem of logic is unacceptable and that the adoptionof the Geachian notation N(x:fx) would not violate TLP5.32. Second, I prove that a system of quantificationtheory with finite domains and with N as the solefundamental operation is expressively complete. Lastly, I argue that the Tractarian system is apredicate-eliminated many-sorted theory (withoutidentity) with finite domains (...) and with N as the solefundamental operation, and thus is expressivelycomplete. (shrink)

We analyse Reach's puzzle, according to which it is impossible to be told anyone's name, because the statement conveying it can be understood only by someone who already knows what it says. We argue that the puzzle can be solved by adverting to the systematic nature of mention when it involves the use of standard quotation marks or similar devices. We then discuss mention more generally and outline an account according to which any mentioning expressions that are competent to solve (...) Reach's puzzle – and in particular those consisting of standard quotation marks and their fillings – have a descriptive analysis: we rebut the usual objections to this account, and show how it is superior to some of the alternatives in the literature. We conclude by briefly connecting the foregoing discussions with semantic theory. (shrink)

Nietzsche is often said to have started out as a Schopenhauerian metaphysician of some kind before leaving Schopenhauer behind him, and, by the end of his sane life, metaphysics too. His first and last thoughts about tragedy, however, sit uneasily with this narrative. The late thoughts are simply too close to the early ones for the story to accommodate them—not for their Schopenhauerianism, but for the strongly metaphysical flavour that they appear to share. The argument of the present paper is (...) that the appearance is veridical, and that attempts to explain away the metaphysical flavour of the later remarks cannot succeed. The paper concludes with a brief diagnosis of why Nietzsche's final thoughts about tragedy, in Twilight of the Idols, so unignorably recall the ones expressed in his first book, The Birth of Tragedy. (shrink)

Frege ridiculed the formalist conception of mathematics by saying that the formalists confused the unimportant thing, the sign, with the important, the meaning. Surely, one wishes to say, mathematics does not treat of dashes on a bit of paper. Frege’s idea could be expressed thus: the propositions of mathematics, if they were just complexes of dashes, would be dead and utterly uninteresting, whereas they obviously have a kind of life. And the same, of course, could be said of any proposition: (...) Without a sense, or without the thought, a proposition would be an utterly dead and trivial thing. And further it seems clear that no adding of inorganic signs can make the proposition live. And the conclusion which one draws from this is that what must be added to the dead signs in order to make a live proposition is something immaterial, with properties different from all mere signs. But if we had to name anything which is the life of the sign, we should have to say that it was its use. (Blue Book, p. (shrink)

I discuss the account of logical consequence advanced in Wittgenstein's Tractatus. I argue that the role that elementary propositions are meant to play in this account can be used to explain two remarkable features that Wittgenstein ascribes to them: that they are logically independent from one another and that their components refer to simple objects. I end with a proposal as to how to understand Wittgenstein's claim that all propositions can be analysed as truth functions of elementary propositions.

My essay explains and examines Anscombe's disagreement with Wittgenstein about what the Tractatus supposedly excludes. I also discuss her apparent disagreement with Geach about propositions that lack an intelligible negation. My discussion of these disagreements leads to the topic of Anscombe on the relation between the “business of thinking” and truth. I suggest that she takes the business of thinking to include thinking that helps to keep thinking on track. Since there is a tie between thinking truly and the business (...) of thinking being done well and since helping to keep thinking on track belongs to the business of thinking, helpings-of-thinking can be described as true. (shrink)