What role does audience uptake play in determining whether a speaker refuses or consents to sex? Proponents of constitution theories of uptake argue that which speech act someone performs is largely determined by their addressee’s uptake. However, this appears to entail a troubling result: a speaker might be made to perform a speech act of sexual consent against her will. In response, we develop a social constitution theory of uptake. We argue that addressee uptake can constitute a speaker’s utterance of (...) ‘no’ as a speech act of consent under some conditions, but that this does not prevent us from judging that an addressee committed rape. Second, we claim that addressee uptake is not the only form of uptake that matters—the uptake of other members of the discursive community matters too, and can override the addressee’s uptake, constituting the speaker’s utterance as the speech act it was intended to be. (shrink)

Keith DeRose defends contextualism: the view that the truth-conditions of knowledge ascriptions vary with the context of the ascriber. Mark Richard has criticised contextualism for being unable to vindicate intuitions about disagreement. To account for these intuitions, DeRose has proposed truth-conditions for “knows” called the Gap view. According to this view, knowledge ascriptions are true iff the epistemic standards of each conversational participant are met, false iff each participant's standards aren't met, and truth-valueless otherwise. An implication of the Gap view (...) is that people with divergent standards can enter conversations and thereby render knowledge claims gappy. We characterise this as a form of trolling. We argue that trolling results in unacceptably counterintuitive implications and that this constitutes a reductio against the Gap view. We also briefly explore the implications of trolling for other contextualist views about “knows,” as well as a broader class of context sensitive expressions. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding (...) cognitivism about imperatives. (shrink)

Recently there has been much philosophical interest in the analysis of concepts to determine whether they should be removed, revised, or replaced. Enquiry of this kind is referred to as conceptual engineering or conceptual ethics. We will call it revisionary conceptual analysis (RCA). It standardly involves describing the meaning of a concept, evaluating whether it serves its purposes, and prescribing what it should mean. However, this stands in tension with prescriptivism, a metasemantic view which holds that all meaning claims are (...) prescriptions. If prescriptivism is correct, then one is faced with two options: either (1) give up on the possibility of RCA, or (2) come up with a version of RCA that is consistent with the idea that all meaning claims are prescriptive. In this paper we offer an argument for (2). (shrink)