Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

Expressivism can make space for normative objectivity by treating normative stances as pro or con attitudes that can be correct or incorrect. And it can answer the logical challenges that bedevil it by treating a simple normative assertion not merely as an expression of a normative stance, but as an expression of the endorsement of a proposition that is true if and only if that normative stance is correct. Although this position has superficial similarities to normative realism, it does full (...) justice to the core expressivist thesis that, at bottom, a normative assertion expresses a normative stance rather than a factual belief. (shrink)

We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...) argument, I appeal to the doctrine of temporal parts or “four-dimensionalism” for short. When held in conjunction with a certain evaluative principle about whose experiences matter, four-dimensionalism reconciles B-theory with some time-biased preferences. (shrink)

During the past few decades, everyday aesthetics has established itself as a new branch of philosophical aesthetics alongside the more traditional philosophy of art. The Paths from Philosophy of Art to Everyday Aesthetics explores the intimate relations between these two branches of contemporary aesthetics. The essays collected in this volume discuss a wide range of topics from aesthetic intimacy to the nature of modernity and the essence of everydayness, which play important roles both in the philosophy of art and everyday (...) aesthetics. With these essays, the writers and editors of this volume wish to commemorate professor Arto Haapala on his 60th birthday. -/- This collection of articles is intended for scholars and students working in the fields of aesthetics, philosophy, and art studies. (shrink)

Modal realists should fashion their theory by postulating and taking seriously the modal equivalent of tense, or modal tense. This will give them a uniform way to respond to five different objections, one each by Skyrms, Quine, and Peacocke, and two by van Inwagen, and suggest a non-Lewisian path to modal realism.

Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...) worlds with fruitful applications, any such an account must fundamentally compromise the basic idea behind epistemic possibility. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

Previous research into the formalisation of statute law identified a number of uses of language which posed problems for formalisation. A previous paper argued that these uses establish the requirement that a formalisation be isomorphic, but noted that this has odd consequences. This paper expands on what these consequences are and argues that they undermine the very idea of formalisation. Therefore, the whole argument constitutes a reductio ad absurdum of the idea of formalising statute law. The paper provides reasons why (...) this activity is impossible and places the conclusion in the context of the development of modem logic, in which context it appears uncontroversial. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

I start from Phillips' discussion of Rhees's dissatisfaction with the idea of a language‐game. Then, from a rereading of Moore, I go on to exemplify interconnected uses of the expressions “language‐game,”“recurrent procedure,”“world‐picture,”“formal procedure,”“agreement in judgment,”“genre picture” and “form of life.” The discussion is related to sense perception, our knowledge of time and space, and the picture‐theory. These topics connect with Wittgenstein's earlier treatment of the will – which changed markedly later. The subtext (in footnotes) confronts (i) the sceptical methods of (...) Descartes and Hume with the grammatical methods of Leibniz, Kant and Wittgenstein, and (ii) the realism of Leibniz and the Tractatus with the transcendental idealism of Kant. My conclusion is that, although the method of Wittgenstein's later work remains in a sense grammatical, (i) in its new form it can free us from the conviction that the intellect can and must resolve one way or the other the conflicts that arise in the course of the latter confrontation, and that (ii), although release from such a conviction is to be seen as the aim of philosophical discourse in general, it allows philosophy to retain its overriding significance. A positive element in that lies in the respect the method demands for that in a human life which is transcendental to the activity of scientific theorising: respect, therefore, for the unique perspective of the individual historical agent. (shrink)

Bertrand Russell's 1903 masterpiece "The Principles of Mathematics" places great emphasis on the need to separate propositions from psychological items such as thoughts. In 1919 Russell explicitly retracts this view, however, and defines propositions as "psychological occurrences". These psychological occurrences are held by Russell to be mental images. In this paper, I seek to explain this radical change of heart. I argue that Russell's re-psychologising of the proposition in 1919 can only be understood against the background of his struggle with (...) the problem of the unity of the proposition in earlier work. Once this is recognized, and the solution to the problem offered by the 1919 theory is appreciated, new light is also shed on Russell's naturalism. I go on to compare Russell's psychological "picture theory" with the vehemently anti-psychological picture theory of Wittgenstein's "Tractatus Logico-Philosophicus" and suggest that, once the background of the dispute is brought into clearer focus, Russell's position can be seen to have many advantages over its more celebrated rival. (shrink)

In this article I present a summary of Bertrand Russell's protracted attempts to solve the problem of the unity of the proposition, and explain the significance of the problem for Russell's philosophy. Unlike many other accounts which take the problem to be confined to Russell's early theories of propositional content, I argue that the problem (or variants of it) is a recurring theme throughout the whole of Russell's career.

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)

We consider and reject a variety of attempts to provide a ground for identifying and differentiating disembodied minds. Until such a ground is provided, we must withhold inclusion of disembodied minds from our picture of the world.

The purpose of this study is to show that the distinctions made by Wilhelm Dilthey and Max Weber between the natural sciences and the 'Geisteswissen-schaften' are sound in principle, pace the arguments to the contrary within classical logical empiricism. It is held that intentional contexts are characteristic of social science. Intentional contexts are held to be more important in psychology than mental states, like toothache. If logical behaviourism is to have any plausibility, it has to be shown how intentional contexts (...) can be dealt with. Carnap's programme was to reconstruct scientific discourse within a truth-functional language. It is argued that his reduction of belief-sentences was not successful. It is further argued that in the logical empiricist's discussions of the problem of Verstehen, only motivational understanding is taken account of, what Max Weber calls observational understanding is overlooked as we try to show through a discussion of Theodore Abel's well-known explication of 'the operation called Verstehen'. From this it is concluded that the founda-tional problems of social science are different from those of natural science, and this conclusion is further elaborated through an exposition of views held by authors in the German tradition, which, in the fifties, many philosophers held to be obsolete. (shrink)

Recent discussions about the cognitive value of fiction either rely on a background theory of reference or a theory of imaginative pretense. I argue that this reliance produces a tension between the two central or defining claims of literary cognitivism that: (1) fiction can have cognitive value by revealing or supporting insights into the world that properly count as true, and (2) that the cognitive value of a work of fiction contributes directly to that work’s literary value. I address that (...) tension by looking at the formal devices present in a work of fiction that enable it to realize the fictional world described by a text. When we focus on those formal elements, we can identify a connection between a work of literary fiction and the insights we gain through an encounter with the fictional world that work realizes. (shrink)

This paper concerns content externalism and privileged access. I argue that externally-individuated concepts are not just subject to a causal constraint, but are also subject t an epistemic constraint. Their possession requires not merely that certain background presuppositions be true but, further, that the subject be in possession of true justified beliefs concerning their referents.

Russell says that logical constructions are fictions. Does this show that he took them not to be real things?

In Russell's Problems of Philosophy (PP), acquaintance is the basis of thought and also the basis of empirical knowledge. Thought is based on acquaintance, in that a thinker has to be acquainted with the basic constituents of his thoughts. Empirical knowledge is based on acquaintance, in that acquaintance is involved in perception, and perception is the ultimate source of all empirical knowledge.

The paper seeks a perfectly general argument regarding the non-contingent limits to any (human or non-human) knowledge. After expressing disappointment with the history of philosophy on this score, an argument is grounded in Fitch’s proof, which demonstrates the unknowability of some truths. The necessity of this unknowability is then defended by arguing for the necessity of Fitch’s premise—viz., there this is in fact some ignorance.

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of descriptions, which is (...) developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)

We argue that there are mutually beneficial connections to be made between ideas in argumentation theory and the philosophy of mathematics, and that these connections can be suggested via the process of producing computational models of theories in these domains. We discuss Lakatos’s work (Proofs and Refutations, 1976) in which he championed the informal nature of mathematics, and our computational representation of his theory. In particular, we outline our representation of Cauchy’s proof of Euler’s conjecture, in which we use work (...) by Haggith on argumentation structures, and identify connections between these structures and Lakatos’s methods. (shrink)

I argue that Colin Cheyne and Charles Pigden's recent attempt to find truthmakers for negative truths fails. Though Cheyne and Pigden are correct in their treatment of some of the truths they set out to find truthmakers for (such as 'There is no hippopotamus in S223' and 'Theatetus is not flying') they over-generalize when they apply the same treatment to 'There are no unicorns'. In my view, this difficulty is ineliminable: not every truth has a truthmaker.

Subjects were exposed to sentences containing “direct” and “indirect” uses of names and definite descriptions. On a subsequent recognition test incorrect rejections tended to be of sentences involving indirect uses, and false alarms to sentences involving direct uses. This finding is contrary to the predictions of models that suggest indiscriminate substitution of names for descriptions, as do those of Anderson and Bower, and Rumelhart and Norman. The implication is that models of semantic memory must incorporate distinct intensional and extensional representations (...) to avoid semantic distortion. (shrink)

In a recent article, ‘Tensed Time and Our Differential Experience of the Past and Future,’ William Lane Craig attempts to resuscitate A. N. Prior's ‘Thank Goodness’ argument against the B-theory by combining it with Plantinga's views about basic beliefs. In essence Craig's view is that since there is a universal experience and belief in the objectivity of tense and the reality of becoming, ‘this belief constitutes an intrinsic defeater-defeater which overwhelms the objections brought against it.’ An intrinsic defeater-defeater is a (...) belief that enjoys such warrant for us that it simply overwhelms the defeaters brought against it without specifically rebutting or undercutting them. Thus, Craig claims that an effete philosophical argument like McTaggart's paradox is nothing more than ‘an engaging and recalcitrant brain teaser whose conclusion nobody really takes seriously.’ It is difficult to reconcile this statement with Craig's own writings elsewhere. For Craig has vigorously argued in at least two other articles that 'hybrid A-B theorists like McCall, Schlesinger, and Smith [who give ontological status to both A-properties and B-relations] are in deep trouble’ since they are all effectively refuted by McTaggart's Paradox. It is not Craig's inconsistency regarding the significance of McTaggart conundrum that I want to draw attention to, however. Rather I wish to raise a different issue. (shrink)

This paper identifies the founding project of traditional philosophy of language as an attempt to unify the diversity and individuality of spoken language in order to produce a transpersonal intelligibility. The supposed necessary truth that we cannot directly understand what others say which underlies such a project is exposed as a willful avoidance of the discourse of others typical of masculine styles of communication.

An account of validity that makes what is invalid conditional on how many individuals there are is what I call a conditional account of validity. Here I defend conditional accounts against a criticism derived from Etchemendy’s well-known criticism of the model-theoretic analysis of validity. The criticism is essentially that knowledge of the size of the universe is non-logical and so by making knowledge of the extension of validity depend on knowledge of how many individuals there are, conditional accounts fail to (...) reflect that the former knowledge is basic, i.e., independent of knowledge derived from other sciences. Appealing to Russell’s pre-Principia logic, I defend conditional accounts against this criticism by sketching a rationale for thinking that there are infinitely many logical objects. (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

The present paper is one installment in a lengthy task, the replacement of atomistic interpretations of Wittgenstein's Tractatus by a wholistic interpretation on which the world-in-logical-space is not constructed out of objects but objects are abstracted from out of that space. Here, general arguments against atomism are directed toward a specific target, the four aspects of the atomistic reading of Tractatus given in the Hintikkas' Investigating Wittgenstein (Hintikka & Hintikka 1986). The aspects in question are called the semantical, metaphysical, epistemological (...) and formal.What follows a précis of the Hintikkas' rendering of Wittgenstein's perspective is a characterization of the wholistic interpretation, comparing Wittgenstein's world and the transcendental conditions it sets upon possible notation to a blank page and the conditions it sets upon what is about to be written there. There will not be occasion to bring arguments against each plank in the atomist's platform or in support of each facet of wholism. But there is an extended treatment of the first two aspects — the semantical and metaphysical — which takes off from Wittgenstein's determination that, in his hands, logic must take care of itself. (shrink)

Recent scholarship holds that unfulfilled definite descriptions do not play a role in motivating Russell’s theory of descriptions. In this paper, I make use of Gustav Bergmann’s ideal language method to develop an interpretation that restores the puzzle raised by ‘the King of France’ to the central place it once occupied in discussions of the theory of descriptions. In restoring ‘the King of France’, I show that Russell’s discussion of the problem it raises provides a decisive argument against Fregean senses, (...) a claim that also runs counter to most recent work on the theory of descriptions. (shrink)

The article presents Frege's distinction between Sense and Reference. After a short introduction, it explains the puzzle which gave rise to the distinction; Frege's earlier solution, and his reasons for its later repudiation. The distinction, which embodies Frege's second solution, is then discussed in two phases. The first, which is restricted to proper names, sets out its most basic features. The second discusses 'empty' names; indirect speech, and the distinction for predicates and for complete sentences. Finally, two criticisms, by Russell (...) and by Kripke, are briefly set out. (shrink)

According to one creation myth, analytic philosophy emerged in Cambridge when Moore and Russell abandoned idealism in favour of naive realism: every word stood for something; it was only after “the Fall,” Russell's discovery of his theory of descriptions, that they realized some complex phrases (“the present King of France”) didn't stand for anything. It has become a commonplace of recent scholarship to object that even before the Fall, Russell acknowledged that such phrases may fail to denote. But we need (...) to go further: even before the Fall, Russell had taken an altogether more discerning approach to the ontology of logic and relations than is usually recognized. (shrink)

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

In "What is History For?," Scott Soames responds to criticisms of his treatment of Russell's logic in volume 1 of his "Philosophical Analysis in the Twentieth Century." This note rebuts two of Soames's replies, showing that a first-order presentation of Russell's logic does not fit the argument of the "Introduction to Mathematical Philosophy," and that Soames's contextual definition of classes does not match Russell's contextual definition of classes. In consequence, Soames's presentation of Russell's logic misrepresents what Russell took to be (...) its technical achievement and its philosophical significance. (shrink)