Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

If correct, Christopher Peacocke’s [20] “manifestationism without verificationism,” would explode the dichotomy between realism and inferentialism in the contemporary philosophy of language. I first explicate Peacocke’s theory, defending it from a criticism of Neil Tennant’s. This involves devising a recursive definition for grasp of logical contents along the lines Peacocke suggests. Unfortunately though, the generalized account reveals the Achilles’ heel of the whole theory. By inventing a new logical operator with the introduction rule for the existential quantifier and the elimination (...) rule for the universal quantifier, I am able to show that Peacocke’s theory only avoids verificationism to the extent that it does not satisfy manifestationism. (shrink)

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

This paper argues that Michael Dummett's proposed distinction between a declarative sentence's "assertoric content" and "ingredient sense" is not in fact supported by what Dummett presents as paradigmatic evidence in its support.

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined by Robert Brandom as a label for his theory of language; however, it is also naturally applicable (and is growing increasingly common) within the philosophy of logic.

A central tenet of cognitivism is that knowing how is to be explained in terms of tacitly knowing that a theory is true. By critically examining canonical anti-behaviorist arguments and contemporary appeals to tacit knowledge, I have devised a more explicit characterization in which tacitly known theories must act as justifiers for claims that the tacit knower is capable of explicitly endorsing. In this manner the new account is specifically tied to verbal behavior. In addition, if the analysis is correct (...) then it follows that the scope and nature of cognitivist appeals to tacit knowledge are largely mistaken. (shrink)

John McDowell has often emphasized the fact that the use of langauge is a rational enterprise. In this paper, I explore the sense in which this is so, arguing that our use of language depends upon our consciously knowing what our words mean. I call this a 'cognitive conception of semantic competence'. The paper also contains a close analysis of the phenomenon of implicature and some suggestions about how it should and should not be understood.

Primarily a response to Paul Horwich's "Composition of Meanings", the paper attempts to refute his claim that compositionality—roughly, the idea that the meaning of a sentence is determined by the meanings of its parts and how they are there combined—imposes no substantial constraints on semantic theory or on our conception of the meanings of words or sentences. Show Abstract.

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...) both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.

In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...) to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics. (shrink)

It is often supposed that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...) hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH. (shrink)

According to Rosenthal’s Higher-Order Thought (HOT) theory of consciousness, first-order mental states become conscious only when they are targeted by HOTs that necessarily represent the states as belonging to self. On this view a state represented as belonging to someone distinct from self could not be a conscious state. Rosenthal develops this view in terms of what he calls the ‘thin immunity principle’ (TIP). According to TIP, when I experience a conscious state, I cannot be wrong about whether it is (...) I who I think is in that state. We first suggest that TIP is a direct consequence of the HOT theory. Next we argue that somatoparaphrenia—a pathology in which sensations are sometimes represented as belonging to other people—shows that TIP can be violated. This violation of TIP in turn shows that the HOT theory’s claim that conscious states are necessarily represented as belonging to self is in error. Rosenthal’s attempt to account for pathological cases is found to be inadequate when applied to somatoparaphrenia, and other possible defenses are also shown to be incapable of preserving TIP. We further conclude by suggesting that the HOT theory’s failing in this regard is not a failing that is peculiar to this theory of consciousness. (shrink)

According to Michael Dummett, we may think of the meaning of an expression as given by the principles governing the use we make of it. The principles regulating our linguistic practices can then be grouped into two broad categories (Dummett 1973: 396, 1991: 211). We might state them as follows: I-principles: state the circumstances under which an assertion of a sentence containing the expression in question is warranted. E-principles: state the consequences of asserting a sentence containing the expression. In the (...) case of the logical constants, we may associate a constant's I-principles with the set of its introduction rules and its E-principles with the set of its elimination rules (Dummett 1973: 454).1. (shrink)

What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their business, be it (...) logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

Martin-Löf's constructive theory introduces, beside proof processes—the brouwerian mental construction—proof objects that could become the subject matter of a new kind of proof theory. In contradistinction to the classical approach, the proposition can then be defined as the set of its proofs. The lower level type theory is therefore a set theory, where the operators Σ and Π generalize the Cartesian product and the functional space to families of sets. To obtain the familiar logical constants, we have only to choose (...) the logical reading of a : A. Σ and Π become ∃ and ∀, or, if there is no functional dependency, & and ⊃. (shrink)

In "'Yes" and "No'" (2000), Ian Rumfitt proposed bilateralism--a use-based account of the logical words, according to which the sense of a sentence is determined by the conditions under which it is asserted and denied. One of Rumfitt's key claims is that bilateralism can provide a justification of classical logic. This paper raises a techical problem for Rumfitt's proposal, one that seems to undermine the bilateralist programme.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with a (...) directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs, (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If one, like Kripke, accounts for this difference by means of the intensions of the names and the descriptions, the conclusion is that names do not in general have the same intension as any normal, identifying description. However, this difference can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed 'relational modality', simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their descriptive content. That account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentence (with respect to the actual world), and hence supports the same basic intuitions. Here we present the relational modality account and compare it with others, in particular Kripke's own. (shrink)

In virtue of what are we justified in employing the rule of inference Modus Ponens? One tempting approach to answering this question is to claim that we are justified in employing Modus Ponens purely in virtue of facts concerning meaning or concept-possession. In this paper, we argue that such meaning-based accounts cannot be accepted as the fundamental account of our justification.

The central claim is that the semantic knowledge exercised by people when they speak is practical knowledge. The relevant idea of practical knowledge is explicated, applied to the case of speaking, and connected with an idea of agents’ knowledge. Some defence of the claim is provided.

In this paper I propose to inquire into the theory of self-awareness propounded by the two Buddhist epistemologists, Dignaga and Dharmakirti. I first give an outline of the Buddhist notion of consciousness, then deal with the notion of objectual appearance, and finally dwell on the theory itself together with certain arguments in its favor. It is shown that the Buddhists subscribed themselves to the following self-awareness thesis: that our waking consciousness is always pre-reflectively and nonconceptually aware of itself. Adopting an (...) approach of interpretive and comparative analysis, I also clarify significant differences between the theory and the correspondent Cartesian views in order to reveal the theory's contemporary relevancy. (shrink)

This paper discusses an "expressive constraint" on accounts of thought and language which requires that when a speaker expresses a belief by sincerely uttering a sentence, the utterance and the belief have the same content. It will be argued that this constraint should be viewed as expressing a conceptual connection between thought and language rather than a mere empirical generalization about the two. However, the most obvious accounts of the relation between thought and language compatible with the constraint (giving an (...) independent account of one of either linguistic meaning or thought content and understanding the other in terms of it) both face serious difficulties. Because of this, the following will suggest an alternative picture of the relation between thought and language that remains compatible with the constraint. (shrink)

This paper defends the claim that, in order to have a concept of time, subjects must have memories of particular events they once witnessed. Some patients with severe amnesia arguably still have a concept of time. Two possible explanations of their grasp of this concept are discussed. They take as their respective starting points abilities preserved in the patients in question: (1) the ability to retain factual information over time despite being unable to recall the past event or situation that (...) information stems from, and (2) the ability to remember at least some past events or situations themselves (typically because retrograde amnesia is not complete). It is argued that a satisfactory explanation of what it is for subjects to have a concept of time must make reference to their having episodic memories such as those mentioned under (2). It is also shown how the question as to whether subjects have such memories, and thus whether they possess a concept of time, enters into our explanation of their actions. (shrink)

Reasons motivate our intentions and thus our actions, justify our beliefs, ground our hopes and connect our feelings of shame and pride to our thoughts. Given that intentions, beliefs and emotions are intentional states, intentionality is strongly connected with normativity. Yet what is more precisely their relationship? Some philosophers, notably Brandom and McDowell, contend at places that intentionality is intrinsically normative. In this paper, we discuss Brandom and McDowell’s thesis and the arguments they provide for its defence. In contrast to (...) what they hold, we argue that neither reference intentionality nor content intentionality are intrinsically normative, although at least content intentionality has normative implications. More precisely, we argue that neither species of intentionality are normative from a semantical viewpoint, because being in an intentional state is not being in a state that is semantically correct or incorrect. Nevertheless, being in a state endowed with content may be a reason for believing or acting. Thus, we argue that content intentionality has normative implications. More precisely, we argue that any content is such that, if it is the content of a state that is sensitive to reasons - as judging paradigmatically is – then it entitles the subject of that state to have further states or to act in certain ways. (shrink)

In this paper it is argued that functional role semantics can be saved from criticisms, such as those raised by Putnam and Fodor and Lepore, by indicating which beliefs and inferences are more constitutive in determining mental content. The Scylla is not to use vague expressions; the Charybdis is not to endorse the analytic/synthetic distinction. The core idea is to use reflective equilibrium as a strategy to pinpoint which are the beliefs and the inferences that constitute the content of a (...) mental state. The beliefs and the inferences that are constitutive are those that are in reflective equilibrium in the process of attributing mental states to others. (shrink)

CRS says that the meanings of expressions of a language or other symbol system or the contents of mental states are determined and explained by the way symbols are used in thinking. According to CRS one.

This paper gives attention to a special point in Brandom.

Rumfitt has given two arguments that in unilateralist verificationist theories of meaning, truth collapses into correct assertibility. In the present paper I give similar arguments that show that in unilateral falsificationist theories of meaning, falsehood collapses into correct deniability. According to bilateralism, meanings are determined by assertion and denial conditions, so the question arises whether it succumbs to similar arguments. I show that this is not the case. The final section considers the question whether a principle central to Rumfitt's first (...) argument, ‘It is assertible that if and only if it is assertible that it is assertible that ’, is one that bilateralists can reject, and concludes that they cannot. It follows that the logic of assertibility and deniability, according to a result by Williamson, is the little known modal logic K4 studied by Sobociński. The paper ends with a plaidoyer for bilateralists to adopt this logic. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...) in normal form have the subformula property. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...) The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

Contemporary interpretations of Zhuangzi’s 莊子 philosophy as adumbrating a relativist position are legion. However, what is the scope and nature of the relativism that can be gleaned from a comprehensive analysis of relevant passages in the Zhuangzi? In this essay, I shall explain Zhuangzi’s alleged relativist position as motivated from a primary concern about disagreement. He in effect claims that since any disputant can foresee her assertion to be refuted by an opponent, the recourse to a higher tribunal in adjudicating (...) the debate is futile. The consequence of an apparent lack of justification for assertion is, in my opinion, what needs elucidation. For example, is “truth relativism” an apt label for the nature of assertion in a debate without the verdict of a judge? Or, is it more appropriate to shun the concept of truth altogether in our explanation? I deem the contemporary explanation of Zhuangzi’s relativism either trivializes disputation or fails to account for the difference between a claim’s being right and being acceptable. Hence, I shall argue that without the intrusion of a judge as an arbiter of truth, the kind of disputation Zhuangzi practices promulgates faultless disagreement, which does not appeal to the correctness of any perspective in a comparative or absolute sense. In this understanding, Zhuangzi’s advice of harmonizing with both right and wrong is indeed a viable alternative to relativism and dogmatism, both of which do not properly take heed of the point of disagreeing in a disputation. (shrink)

The problem of negative truth is the problem of how, if everything in the world is positive, we can speak truly about the world using negative propositions. A prominent solution is to explain negation in terms of a primitive notion of metaphysical incompatibility. I argue that if this account is correct, then minimal logic is the correct logic. The negation of a proposition A is characterised as the minimal incompatible of A composed of it and the logical constant ¬. A (...) rule based account of the meanings of logical constants that appeals to the notion of incompatibility in the introduction rule for negation ensures the existence and uniqueness of the negation of every proposition. But it endows the negation operator with no more formal properties than those it has in minimal logic. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

ABSTRACT. The received picture of linguistic communication understands communication as the transmission of information from speaker's head to hearer's head. This picture is in conflict with the attractive Lewisian view of belief as self-location, which is motivated by de se attitudes – first-personal attitudes about oneself – as well as attitudes about subjective matters such as personal taste. In this paper, I provide a solution to the conflict that reconciles these views. I argue for an account of mental attitudes and (...) communication on which mental content and speech act content is understood as sets of multicentered worlds – roughly, possible worlds ‘centered’ on a sequence of individuals at a time. I develop a Stalnakerian model of communication based on multicentered worlds content, and I provide a suitable semantics for personal pronouns and predicates of personal taste. The resulting picture is one on which the point of conversation is the coordination of individual perspectives. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) abstraction principles. (shrink)

In this thesis I argue that we should break with the dominant Kripkean tradition concerning natural kind terms and theoretical identity. I claim that there is just no interesting connection between the metaphysics and semantics of natural kind terms, and demonstrate this by constructing a version of descriptivism that is combined with the same metaphysics – that is, a nontrivial version of essentialism – found in Kripke, but which effectively avoids all of the standard criticisms. With my version of descriptivism (...) in place, I present what I take to be the most reasonable version of metaphysical essentialism, positing only what I call 'thin' essences. I claim that thin essences are perfectly adequate to underpin scientific realism, and moreover that they are sufficient to support the version of descriptivism developed here. In effect, what I offer here is an error theory of the Kripkean tradition: Kripke is right to think that there are interesting things to say about meaning and essence, but just wrong about what those things are. Thus whilst Kripke thinks that it is possible to make discoveries about the meanings of natural kind terms, I think, rather, that we make empirical discoveries that lead to revisions in meaning. Furthermore, whilst Kripke thinks there is a dichotomy between de re and de dicto necessity, and that theoretical identities are necessary de re, I think this distinction is both misleading and inaccurate, and that the necessity of theoretical identities is neither entirely de re nor entirely de dicto. By separating and insulating questions concerning meaning from questions concerning essence I show that whilst scientific discoveries are contingent and a posteriori, the definition of scientific terms are both necessary and a priori. (shrink)