We argue that mereological essentialism for events is independent of mereological essentialism for objects, and that the philosophical fallout of embracing mereological essentialism for events is minimal. We first outline what we should consider to be the parts of events, and then highlight why one would naturally be inclined to think that the object-question and the event-question are linked. Then, we argue that they are not. We also diagnose why this is the case and emphasize the upshot. In particular, we (...) argue that the way we evaluate modal claims which concern events differs from the way we evaluate modal claims which concern objects. Ultimately, then, to our title question we say: the answer does not matter as much as you might think. (shrink)

By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either of one or the other, or perhaps both.This work was done with the aid of Canada Council Grant S74-0551-S1.

The cell assembly as a simple attractor cannot explain many cognitive phenomena. It must be a highly structured network that can sustain highly structured excitation patterns. Moreover, a cell assembly must be more widely distributed in space than on a square millimeter.

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In defense (...) of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

In this paper I argue that it’s impossible for there to be a single universal theory of meaning for a language. First, I will consider some minimal expressiveness requirements a language must meet to be able to express semantic claims. Then I will argue that in order to have a single unified theory of meaning, these expressiveness requirements must be satisfied by a language which the semantic theory itself applies to. That is, we would need a language which can express (...) its own meaning. It has been well-known since Tarski that theories of meaning whose central notion is truth can’t be expressed in a language which they apply to. Here, I develop Quine’s formulation of the Liar Paradox in grammatical terms and use this to extend Tarski’s result to all theories of meaning. This general version of the paradox can be formalised as a special case of the Lawvere Fixed-Point Theorem applied to a categorial grammar. Taken together with the initial arguments, I infer that a universal theory of meaning is impossible and conclude the paper with a brief discussion on what alternatives are available. (shrink)

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

Causal slingshots are formal arguments advanced by proponents of an event ontology of token-level causation which, in the end, are intended to show two things: (i) The logical form of statements expressing causal dependencies on token level features a binary predicate ‘‘... causes ...’’ and (ii) that predicate takes events as arguments. Even though formalisms are only revealing with respect to the logical form of natural language statements, if the latter are shown to be adequately captured within a corresponding formalism, (...) proponents of slingshots usually take the adequacy of their formalizations for granted without justifying it. The first part of this paper argues that the most discussed version of a causal slingshot, viz. the one e.g. presented by Davidson (Essays on actions and events. Oxford, Clarendon Press, 1980), can indeed be refuted for relying on an inadequate formal apparatus. In contrast, the formal means of Gödel’s (The philosophy of Betrand Russell. New York, Tudor, 1944) often neglected slingshot are shown to stand on solid ground in the second part of the paper. Nonetheless, I contend that Gödel’s slingshot does only half the work friends of event causation would like it to do. It provides good reasons for (i) but not for (ii). (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

I wish first to motivate very briefly two points about the kind of context sensitive semantics needed for attitude reports, namely that reports are about referents and about mental representations; then I will compare two proposals for treating the attitudes, both of which capture the two points in question.

The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other mechanisms, and indicates how to generalise the results to other modal and tense systems.

In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...) an indexical theory of truth conditions stated in the language of set theory. In examining Prior’s work using these characteristics, it emerges that Prior had serious reservations about this way of studying modal and tense logics. (shrink)

The ‘value-free ideal’ has been called into question for several reasons. It does not include “epistemic values”—viewed as characteristic of ‘good science’—and rejects the so-called ‘contextual’, ‘non-cognitive’ or ‘non-epistemic’ values—all of them personal, moral, or political values. This paper analyzes a possible complementary argument about the dubitable validity of the value-free ideal, specifically focusing on social sciences, with a two-fold strategy. First, it will consider that values are natural facts in a broad or ‘liberal naturalist’ sense and, thus, a legitimate (...) part of those sciences. Second, the paper will not reject the value-free ideal; rather, it will construe this ideal in a special way, not casting values aside in sciences, but bringing them to the table and rationally discussing them. Today’s predominant naturalistic view has tended to ‘naturalize’ values by looking for physicalist explanations for them—a move resisted by defenders of normativism in social sciences. At the same time, a contending ‘liberal naturalist’ stream has emerged, claiming that not all natural entities can be explained by the methods and concepts of physical sciences, and favors a non-materialist naturalism which includes mind, consciousness, meaning and value as fundamental parts of nature that cannot be reduced to matter. Hence, it may be posited that non-epistemic values could be ‘naturally’ included in the field of human sciences. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

Many philosophers think that being in an intentional state is a matter of being related to a sentence in a mental language-a 'Language of Thought' (see especially Fodor 1975, 1987 Appendix; Field 1978). According to this view-which I shall call 'the LT hypothesis'-when anyone has a belief or a desire or a hope with a certain content, they have a sentence of this language, with that content, 'written' in their heads. The claim is meant quite literally: the mental representations that (...) make up the items of this language have semantic and syntactic properties. This is why, according to this view, cognitive psychology does, and should, treat that part of the mind which deals with intentional states as a semantic and a syntactic 'engine'. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

This paper argues for an account of the relation between thought ascription and the explanation of action according to which de re ascriptions and de dicto ascriptions of thought each form the basis for two different kinds of action explanations, nonrationalizing and rationalizing ones. The claim that de dicto ascriptions explain action is familiar and virtually beyond dispute; the claim that that de re ascriptions are explanatory of action, however, is not at all familiar and indeed has mostly been denied (...) by philosophers. I explain how de re ascriptions enter into non-rationalizing explanations of action and how attention to their distinctive explanatory nature reveals flaws in an alternative “dual-component” view about action explanation. (shrink)

According to the modal view, essence admits of reductive analysis in exclusively modal terms. Fine (1994) argues that modal view delivers an inadequate analysis of essence. This paper defends the modal view from Fine's challenge. This defense proceeds by examining the disagreement between Finean primitivists and Quinean eliminativists about essence. In order to model this disagreement, a distinction between essence and a separable concept, nature, is required. This distinction is then used to show that Fine's challenge is misdirected and therefore (...) unsuccessful. (shrink)

In a couple of short papers, Donald Davidson holds that a creature cannot think unless it is the interpreter of the speech of another. At first blush, speaking a language is, therefore, a necessary condition for thought. His controversial claims has led many to regard him as a follower of the Cartesian tradition wherein languageless creatures are nothing but mindless machines. Against this widely shared interpretation, in this paper we put forward a more charitable interpretation of Davidson’s claims. According to (...) our reading, Davidson never meant to argue that languageless creatures do not think. Instead, the only thing his arguments purport to show is that one will never be in a position to confirm that they do. This paper consists of a defense of the idea that Davidson is better seen as endorsing radical skepticism as to whether languageless creatures think. (shrink)

Bonaventure is sometimes taken to be an ante litteram champion of the four-dimensional theory of persistence. I argue that this interpretation is incorrect: Bonaventure was no four-dimensionalist.

Aquinas’ theory of being has received a growing amount of attention from contemporary scholars, both from a historic and a philosophical point of view. An important source of this attention is Geach’s seminal Form and Existence. In it, Geach argues that Aquinas subscribes to a tensed notion of existence and a theory of time according to which past and future entities do not exist in act. Subsequent commentators, such as Kenny in his Aquinas on Being, have agreed with Geach on (...) both points. In this paper, I argue that in several passages of his corpus, most notably those in which he is concerned with God’s knowledge of future contingents, Aquinas implicitly subscribes to a theory of being and time according to which: past and future entities are attributed existence in act, there is theoretical need for introducing a tenseless notion of existence. (shrink)

(1988). Understanding, truth, and explanation. International Studies in the Philosophy of Science: Vol. 3, No. 1, pp. 19-34. doi: 10.1080/02698598808573322.

Monism is the view that there is only a single material object in existence: the world. According to this view, therefore, the ordinary objects of common sense—cats and hats, cars and stars, and so on—do not actually exist; there is only the world. Because of this, monism is routinely dismissed in the contemporary literature as being absurd and obviously false. It is simply obvious that there is a plurality of material things, thus it is simply obvious that monism is false, (...) or so the argument goes. I call this the common sense argument against monism and in this paper I offer a response. I argue that providing the monist can make his view consistent with the appearance that there is a multiplicity of material things, then it is not rationally acceptable to reject monism solely on the basis of that appearance. Through an appeal to a particular type of property—distributional properties—I sketch out a plausible story of how monism is perfectly consistent with the appearance of plurality, and thus nullify the common sense argument. There may be any number of arguments that serve to undermine monism, but the common sense argument is not one of them. Monism deserves to be taken more seriously than that. (shrink)

The method of explication has been somewhat of a hot topic in the last 10 years. Despite the multifaceted research that has been directed at the issue, one may perceive a lack of step-by-step procedural or structural accounts of explication. This paper aims at providing a structural account of the method of explication in continuation of the works of Geo Siegwart. It is enhanced with a detailed terminology for the assessment and comparison of explications. The aim is to provide means (...) to talk about explications including their criticisms and their interrelations. There is hope that this treatment will be able to serve as a foundation to a step-by-step guide to be established for explicators. At least it should help to frame and mediate explicative disputes. In closing the enterprise will be considered an explication of ‘explication’, though consecutive explications improving on this one are undoubtedly conceivable. (shrink)

The expression tode ti, commonly translated as ‘a this’, plays a key role in Aristotle’s metaphysics. Drawing lightly on theories of demonstratives in contemporary linguistics, I discuss the expres...

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (shrink)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

Berkeley holds that vision, in isolation, presents only color and light. He also claims that typical perceivers experience distance, figure, magnitude, and situation visually. The question posed in New Theory is how we perceive by sight spatial features that are not, strictly speaking, visible. Berkeley’s answer is “that the proper objects of vision constitute an universal language of the Author of nature.” For typical humans, this language of vision comes naturally. Berkeley identifies two sorts of objects of vision: primary (light (...) and colors) and secondary (distance, figure, magnitude, and situation). Berkeley also appeals to a third class of a different sort: visible figure, magnitude, and situation, constituting the vocabulary of the language of vision. By considering two perceivers who lack this vocabulary we may better understand this third category and the difference between those who must learn the language of vision and those for whom it is a natural endowment. (shrink)

The logical properties of the 'if-then' connective of ordinary English differ markedly from the logical properties of the material conditional of classical, two-valued logic. This becomes apparent upon examination of arguments in conversational English which involve (noncounterfactual) usages of if-then'. A nonclassical system of propositional logic is presented, whose conditional connective has logical properties approximating those of 'if-then'. This proposed system reduces, in a sense, to the classical logic. Moreover, because it is equivalent to a certain nonstandard three-valued logic, its (...) decision procedure is almost as efficient as that of the classical logic. It therefore provides a rational and convenient system in which to formalize English arguments. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)