It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

I attend to the debate between the A-theory of time and the B- theory of time by evaluating how each theory accounts for the possibility of change. I conclude in favour of the B-theory of time as an account of change. I begin by considering McTaggart’s argument against the reality of time. I connect McTaggart’s argument, and the attendant A-theory versus B-theory debate, to an argument against the possibility of change. This argument, the problem of change, can be refuted by (...) adopting either of an A-theory or B-theory account of change. I evaluate different approaches to change offered by various A-theories, including presentism, the growing block theory, the moving spotlight theory, and then proceed to consider different B-theory accounts of change, including relativiser endurantism, adverbialist endurantism, and perdurantism. I consider objections to each of these views. Finally, I compare the costs incurred by the best of the A-theory accounts and the best of the B-theorist accounts. (shrink)

In Fictional Discourse, I proposed an analysis of what I call ‘fictional discourse’, first and foremost as it appears in an author’s fictional creation (what Ta.

In this paper we take up the question of the explanatory significance of the notion of propositional content. Our first goal is to disentangle two types of approach: According to what we call inflationism, propositions should be taken seriously enough to expect explanatory payoffs from them. The alternative deflationary approach rejects this claim. Our second goal is to explore the inflationism vs. deflationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that inflationism fails (...) and outline a variety of deflationism that offers the best prospects for explaining the singular/general divide. (shrink)

Uma das características mais interessantes da filosofia é sua capacidade de revelar problemas difíceis em lugares inesperados. É precisamente isto que ocorre com o caso dos nomes próprios. Usamos nomes cotidianamente para selecionar ou fazer referência a objetos particulares, e depois podermos dizer algo sobre eles. Talvez o leitor diga a um colega que gostaria de estar tomando um café em Paris, ao invés de gastar tempo lendo mais um livro de filosofia. Neste caso, estará usando o nome “Paris” para (...) se referir a um lugar específico do universo. O que você acaba de fazer não é meramente proferir um som, mas proferir um som que de alguma forma lhe permite selecionar uma localidade específica dentre todas as outras do universo. É desta localidade que você fala. Mas como isto é possível? Que tipo de mecanismo garante a alguém o poder de proferir um nome e, com isto, selecionar um particular específico dentre todos os outros do universo? Este é o problema da referência singular dos nomes próprios. O presente livro é sobre este problema. -/- . (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

An account of the distinction between singular and general propositions should reflect the core ideas that have motivated the distinction. Those core ideas can be appreciated independently of many commitments regarding the metaphysics of propositions, but theorists with differing views on the latter have given quite different explanations of what it is for a proposition to be singular or general. Many of those explanations turn out not to reflect the core ideas adequately after all, either by misclassifying certain propositions or (...) by failing to be sufficiently informative. A more satisfactory account can be formulated by more directly elaborating on the background ideas motivating the distinction. The resulting account not only does better than its competitors, but is compatible with various views on the metaphysics of propositions. (shrink)

What does it mean to know how to do something? This book develops a comprehensive account of know-how, a crucial epistemic goal for all who care about getting things right, not only with respect to the facts, but also with respect to practice. It proposes a novel interpretation of the seminal work of Gilbert Ryle, according to which know-how is a competence, a complex ability to do well in an activity in virtue of guidance by an understanding of what it (...) takes to do so. This idea is developed into a full-fledged account, Rylean responsibilism, which understands know-how in terms of the normative guidance and responsible control of one's acts. Within the complex current debate about know-how, this view occupies a middle ground position between the intellectualist claim that know-how just is propositional or objectual knowledge and the anti-intellectualist claim that know-how just is ability. In genuine know-how, practical ability and guiding intellect are both necessary, but essentially intertwined. (shrink)

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

To borrow a colorful phrase from Kant, this dissertation offers a prolegomenon to any future semantic theory. The dissertation investigates Yablo's omega-liar paradox and draws the following consequence. Any semantic theory that accepts the existence of semantic objects must face Yablo's paradox. The dissertation endeavors to position Yablo's omega-liar in a role analogous to that which Russell's paradox has for the foundations of mathematics. Russell's paradox showed that if we wed mathematics to sets, then because of the many different possible (...) restrictions available for blocking the paradox, mathematics fractionates. There would be different mathematics. This is intolerable. It is similarly intolerable to have restrictions on the `objects' of Intentionality. Hence, in the light of Yablo's omega-liar, Intentionality cannot be wed to any theory of semantic objects. We ought, therefore, to think of Yablo's paradox as a natural language paradox, and as such we must accept its implications for the semantics of natural language, namely that those entities which are `meanings' must not be construed as objects. To establish our result, Yablo's paradox is examined in light of the criticisms of Priest. Priest maintains that Yablo's original omega-liar is flawed in its employment of a Tarski-style T-schema for its truth-predicate. Priest argues that the paradox is not formulable unless it employs a "satisfaction" predicate in place of its truth-predicate. Priest is mistaken. However, it will be shown that the omega-liar paradox depends essentially on the assumption of semantic objects. No formulation of the paradox is possible without this assumption. Given this, the dissertation looks at three different sorts of theories of propositions, and argues that two fail to specify a complete syntax for the Yablo sentences. Purely intensional propositions, however, are able to complete the syntax and thus generate the paradox. In the end, however, the restrictions normally associated with purely intensional propositions begin to look surprisingly like the hierarchies that Yablo sought to avoid with his paradox. The result is that while Yablo's paradox is syntactically formable within systems with formal hierarchies, it is not semantically so. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

In the philosophy of memory, singularism is the view that episodic memories are singular mental states about unique personally experienced past events. In this paper, I present an empirical challenge to singularism. I examine three distinct lines of evidence from the psychology of memory, concerning general event memories, the transformation of memory traces and the minimized role temporal information plays in major psychological theories of episodic memory. I argue that singularist views will have a hard time accommodating this evidence, facing (...) a problem of transitional gradation. I then look at some potential consequences for the larger debate, highlighting the way in which singularism has featured in three important recent arguments in the philosophy of memory. (shrink)

This essay studies the semantic properties of what I call Russell-names. Russell-names bear intimate semantic relations with descriptive conditions, in consonance with the main tenets of descriptivism. Yet, they are endowed with the semantic properties attributed to ordinary proper names by Millianism: they are rigid and non-indexical devices of direct reference. This is not an essay in natural language semantics, and remains deliberately neutral with respect to the question whether any among the expressions we ordinarily classify as proper names behave (...) as Russell-names. Its aim is rather that of casting a new light on the traditional debate about descriptivism on the one hand, and, on the other, what is commonly understood as a radically anti-descriptivist approach. From the viewpoint of descriptivism, the conceivability of Russell-names provides welcome relief from the pressure exerted by considerations at odds with a flaccid and/or indexical treatment of proper names. Conversely, from a Millian standpoint, the conceivability of Russell-names indicates that the Millian stance, far from providing a meagre picture of names as ‘mere tags’, is at least in principle consistent with the recognition of their semantic bonds with richer descriptive material. The Appendix provides a formal treatment of Russell-names within a model theoretic semantics for indexical intensional languages, developed within an original ‘double-context’ framework. (shrink)

This paper explores a new non-deflationary approach to the puzzle of nonexistence and its cousins. On this approach, we can, under a plausible assumption, express true de re propositions about certain objects that don’t exist, exist indeterminately or exist merely possibly. The defense involves two steps: First, to argue that if we can actually designate what individuates a nonexistent target object with respect to possible worlds in which that object does exist, then we can express a de re proposition about (...) “it”. Second, to adapt the concept of outer truth with respect to a possible world – a concept familiar from actualist modal semantics – for use in representing the actual world. (shrink)

Empty names are a problem for Russellians. I describe three ways to approach solving the problem. These are positing gappy propositions as contents, nonsingular propositions as contents, or denying that sentences containing empty names have contents. I discuss methods for deciding between solutions. I then argue for some methods over others and defend one solution using those methods. I reject the arguments that either intuitions about truth value, truth, content, or meaningfulness can decide between the solutions. I give an alternative (...) argument which does decide between the three solutions. The alternative is based on the idea that a sentence and its internal negation are contrary: they cannot both be true, but they might both be false. I argue from Russellian premises to the conclusion that such sentences cannot be assigned truth values when they contain empty names. The argument shows that no Russellian should assign a truth value to a sentence containing an empty name, and therefore that no Russellian should assign a proposition as the content of such a sentence. This shows that Russellians should conclude that sentences containing empty names do not have contents, i.e. the no proposition view. (shrink)

Jeffrey King has famously argued that there are several prima facie problems with the direct reference theory of the semantics of complex demonstratives, three of which apparently resist solution. King concludes by observing that, if these outstanding problems cannot be solved, then the prospects for a direct reference semantics for complex demonstratives will be poor. I shall focus on just one of these outstanding problems—the objection from belief attributions—and suggest that it, at least, can be answered.

Deep appreciation of the relevance of emotion to epistemology requires a rich account of how emotional mental states such as happiness, sadness and desire interact with cognitive states such as belief and doubt. Analytic philosophy since Gottlob Frege and Bertrand Russell has assumed that such mental states are propositional attitudes, which are relations between a self and a proposition, an abstract entity constituting the meaning of a sentence. This chapter shows the explanatory defects of the doctrine of propositional attitudes, and (...) proposes instead that beliefs, desires, and emotions should be construed naturalistically using current understanding of brain mechanisms. Mental states are patterns of neural activity, not relations between dubious entities such as selves and propositions. From this perspective, it becomes easy to see how cognition and emotion are intertwined, and hence how emotions can be integral to epistemology. I begin by reviewing some of the ways in which emotions are relevant to epistemology: as frequent contributors to the growth of knowledge, as sometime impediments to knowledge acquisition, and as components of knowledge about persons and morality. I then argue that propositional attitudes do not exist, because the selves and the propositions that they purportedly relate do not exist. Thus the doctrine of propositional attitudes is as useless for epistemology as it is for explaining human action. I argue for an alternative construal of mental states as patterns of neural activity, and July 23, 2007 describe how it is possible to give a theoretically rich and empirically supported account of the neurophysiological interconnections of cognition and emotion. Finally, I discuss the epistemological significance of this naturalistic, materialist reconstrual of cognitions and emotions. (shrink)

This paper discusses a problem for Russellian propositions. According to Russellianism, each word in a sentence contributes its referent to the proposition expressed by the sentence. Russellian propositions have normally been conceived of as problematic for two reasons, viz. they cannot account for the unity of the proposition and they have problems with non-referring singular names. In this paper, I argue that Russellianism also faces a problem with respect to properties. It is inconsistent with both traditional realism and trope-theories. The (...) only theory of properties which is consistent with Russellianism is Platonism. Moreover, it is argued that Russellianism needs a particularly implausible version of Platonism. (shrink)

Fregeans follow Frege in accepting informativeness and substitution failure as reliable criteria for the existence of senses as objects of thought. In this paper I show that if we accept this, we must also accept the existence of an infinite hierarchy of senses as objects of thought. This is a bad result since it turns Fregeanism into a doctrine according to which object-related thoughts either have an infinite number of objects as contents or none at all. This shows, against the (...) Fregean, that senses cannot themselves be constituents of thought. Los fregeanos aceptan, siguiendo a Frege, que los criterios de informatividad y falla de sustitución son guías confiables de la existencia de sentidos como objetos del pensamiento. En este artículo muestro que si aceptamos esta tesis también debemos aceptar la existencia de una jerarquía infinita de sentidos como objetos del pensamiento. Esta es una mala consecuencia pues convierte al fregeanismo en una doctrina según la cual los pensamientos dirigidos a objetos o bien tienen un número infinito de objetos como contenido o ninguno. Esto muestra, contra los fregeanos, que los sentidos no pueden ellos mismos ser objeto del pensamiento. (shrink)

I defend the claim that it is possible for thoughts to be context-sensitive. Assuming that a thought is a sentence of Mentalese and content is a function from indices to truth-values, then a thought, T, is context-sensitive IFF at least one of the following three conditions are met: T exhibits character-underdeterminacy, where T is character underdetermined iff a component of T makes an explicit reference to the context to establish content. T exhibits type-underdeterminacy, where T is type underdetermined iff there (...) are tokens of T that have distinct truth-values. T is token-underdetermined, where T is token underdetermined iff for some possible states of affairs its truth-value is indeterminate. Additionally, there must be a mechanism by which the content of T can be determined by appeal to the context. Otherwise T is not sensitive to the context. The most significant objection to the possibility of context-sensitive thoughts comes from a regress argument. The concern is that any process of removing context-sensitivity from a thought will token an additional thought. If that further thought is context-sensitive, then another thought will have to be tokened. This process will only terminate when a non-context-sensitive thought is arrived at. Yet this seems to show that context-sensitivity in thought, if possible, can only be a contingent, detachable feature of thoughts. To counter this argument, I will present three versions of context-sensitive thought, mirroring each of -. These views make use of a range of relationships between thoughts and their contents or extensions that are affected by the context, but I will argue they do not require the generation of an additional thought. This provides a range of views on which thoughts can be treated as essentially context-sensitive. (shrink)