Using a vague predicate can make commitments about the appropriate use of that predicate in the remaining part of the discourse. For instance, if I assert that some particular pig is fat, I am committed to judging any fatter pig to be fat as well. We can model this update effect by recognizing that truth depends both on the state of the world and on the state of the discourse: the truth conditions of ‘This pig is fat’ rule out evaluation (...) points for which the pig in question in world w is thinner than the cutoff for fatness in the discourse d. Then disagreements about taste are disagreements about the discourse. Unlike disagreements about the world, disagreements about the discourse can be faultless, given that none of the discourse participants has privileged authority to make pronouncements about conventions for appropriate use of a predicate. Thus on the dynamic view developed here, whether or not a dispute about taste turns out to be faultless depends in part on predictable features of the previous discourse. On this account, faultless disagreement involving predicates of personal taste does not force relativizing truth to a judge or assessor. (shrink)

This book takes concepts developed by researchers in theoretical computer science and adapts and applies them to the study of natural language meaning. Summarizing over a decade of research, Chris Barker and Chung-chieh Shan put forward the Continuation Hypothesis: that the meaning of a natural language expression can depend on its own continuation.

This paper proposes that the meanings of some natural language expressions should be thought of as functions on their own continuations. Continuations are a well-established analytic tool in the theory of programming language semantics; in brief, a continuation is the entire default future of a computation. I show how a continuation-based grammar can unify several aspects of natural language quantification in a new way: merely stating the truth conditions for quantificational expressions in terms of continuations automatically accounts for scope displacement (...) and scope ambiguity. To prove this claim, I exhibit a simple finite context-free grammar with a strictly compositional semantics in which quantificational NPs are interpreted in situ but take semantic scope over larger constituents. There is no Quantifier Raising (nor any use of a level of Logical Form distinct from overt syntax), no Cooper Storage (or similar mechanisms used in many recent HPSG, Categorial, or Type-logical treatments), and no need for type-shifting (as in Hendriks' Flexible Types account). Continuations also provide a natural account of generalized coordination that does not require either type-shifting or type polymorphism. Compositionality issues are discussed in some detail. (shrink)

I propose the first strictly compositional semantic account of same. New data, including especially NP-internal uses such as two men with the same name, suggests that same in its basic use is a quantificational element taking scope over nominals. Given type-lifting as a generally available mechanism, I show that this follows naturally from the fact that same is an adjective. Independently-motivated assumptions extend the analysis to standard examples such as Anna and Bill read the same book via a mechanism I (...) call PARASITIC SCOPE, in which the scope of same depends on the scope of some other scopetaking element in the sentence. Although I will initially discuss the analysis in terms of a familiar Quantifier Raising framework, I go on to implement the analysis within an innovative continuation-based Type-Logical Grammar. The empirical payoff for dealing in continuations is that a simple generalization of the basic analysis gives the first ever formal account of cases in which same distributes over objects other than NP denotations, as in the relevant interpretation of John hit and killed the same man. (shrink)

This book examines the hypothesis of "direct compositionality", which requires that semantic interpretation proceed in tandem with syntactic combination. Although associated with the dominant view in formal semantics of the 1970s and 1980s, the feasibility of direct compositionality remained unsettled, and more recently the discussion as to whether or not this view can be maintained has receded. The syntax-semantics interaction is now often seen as a process in which the syntax builds representations which, at the abstract level of logical form, (...) are sent for interpretation to the semantics component of the language faculty. In the first extended discussion of the hypothesis of direct compositionality for twenty years, this book considers whether its abandonment might have been premature and whether in fact direct compositionality is not after all a simpler and more effective conception of the grammar than the conventional account of the syntax-semantics interface in generative grammar. It contains contributions from both sides of the debate, locates the debate in the setting of a variety of formal theories, and draws on examples from a range of languages and a range of empirical phenomena. (shrink)

Physics has been thought to truly represent reality since at least Galileo, and the foundations of physics are always established using philosophical ideas. In particular, the elegant naming of physical entities is usually very influential in the acceptance of physical theories. We here demonstrate (using current developments in thermodynamics as an example) that both the epistemology and the ontology of physics ultimately rest on poetic language. What we understand depends essentially on the language we use. We wish to establish our (...) knowledge securely, but strictly speaking this is impossible using only analytic language. Knowledge of the meanings of things must use a natural language designed to express meaning, that is, poetic language. Although the world is really there, and although we can indeed know it truly, this knowledge is never either complete or certain but ultimately must rest on intuition. Reading a recently discovered artefact with a palaeo-Hebrew inscription as from the first century, we demonstrate from it that this ontological understanding long predates the Hellenic period. Poetic language is primary, both logically and temporally. (shrink)

What is the communicative value of negative polarity? That is, why do so many languages maintain a stock of special indefinites that occur only in a proper subset of the contexts in which ordinary indefinites can appear? Previous answers include: marking the validity of downward inferences; marking the invalidity of veridical inferences; or triggering strengthening implications. My starting point for exploring a new answer is the fact that an NPI must always take narrow scope with respect to its licensing context. (...) In contrast, ordinary indefinites are notorious for taking wide scope. So whatever other functions NPIs may have, they at least serve as an utterly reliable signal that an indefinite is taking narrow scope. As also proposed in recent work of Kusumoto and Tancredi, I will show that NPIs are only licensed in contexts in which the wide scope construal of an indefinite fails to entail the narrow scope. In other words, weak NPIs occur only in contexts in which taking narrow scope matters for interpretation. Thus one part of the explanation for the ubiquity and robust stability of negative polarity is that it signals scope relations. (shrink)

Why ever assert clarity? If It is clear that p is true, then saying so should be at best superfluous. Barker and Taranto (2003) and Taranto (2006) suggest that asserting clarity reveals information about the beliefs of the discourse participants, specifically, that they both believe that p . However, mutual belief is not sufficient to guarantee clarity ( It is clear that God exists ). I propose instead that It is clear that p means instead (roughly) 'the publicly available (...) evidence justifies concluding that p '. Then what asserting clarity reveals is information concerning the prevailing epistemic standard that determines whether a body of evidence is sufficient to justify a claim. If so, the semantics of clarity constitutes a grammatical window into the discourse dynamics of inference and skepticism. (shrink)

This paper analyzes sluicing as anaphora to an anti-constituent (a continuation), that is, to the semantic remnant of a clause from which a subconstituent has been removed. For instance, in Mary said that [John saw someone yesterday], but she didn’t say who, the antecedent clause is John saw someone yesterday, the subconstituent targeted for removal is someone, and the ellipsis site following who is anaphoric to the scope remnant John saw ___ yesterday. I provide a compositional syntax and semantics on (...) which the relationship between the targeted subconstituent and the rest of the antecedent clause is one of scopability, not movement or binding. This correctly predicts that sluicing should be sensitive to scope islands, but not to syntactic islands. Unlike the currently dominant approaches to sluicing, there is no need to posit syntactic structure internal to the ellipsis site, nor is there any need for a semantic mutual-entailment requirement. Nevertheless, the fragment handles phenomena usually taken to suggest a close syntactic correspondence between the antecedent and the sluice, including case matching, voice matching, and verbal argument structure matching. In addition, the analysis handles phenomena exhibiting antecedent/sluice mismatches, including examples such as John remembers meeting someone, but he doesn’t remember who, , and especially so-called sprouting examples such as John left, but I don’t know when, in which there is no overt subconstituent to target for removal. In Sect. 5, I show how the analysis accounts for Andrews Amalgams such as Sally ate [I don’t know what] today, in which the antecedent surrounds the sluiced clause. Finally, in Sect. 6, I propose a new semantic constraint on sluicing: the Answer Ban, which says that the antecedent clause must not resolve, or even partially resolve, the issue raised by the sluiced interrogative. (shrink)

Most studies of the so-called proportion problem seek to understand how lexical and structural properties of sentences containing adverbial quantifiers give rise to various proportional readings. This paper explores a related but distinct problem: given a use of a particular sentence in context, why do only some of the expected proportional readings seem to be available? That is, why do some sentences allow an asymmetric reading when other, structurally similar sentences seem to require a symmetric reading? Potential factors suggested in (...) the literature include the distribution of donkey pronouns, certain uniqueness implications, and focus structures. I argue here that the use of an adverbial quantifier presupposes HOMOGENEITY: all individual situations that get lumped into a single case for the purposes of evaluating the quantification must agree on whether they satisfy the nuclear scope. For instance, in order for a token of Usually, if a farmer owns a donkey, he beats it to be felicitous when construed under a farmer-dominant asymmetric reading, the context must be consistent with the proposition that each farmer either beats all or none of his donkeys. Thus proportional sentences are indeed systematically ambiguous, but only some readings will be felicitous in a given context. (shrink)

This article pays close attention to Michel Foucault's theory that political regimes are enlightened through courageous free speech. A Foucaultian enlightenment occurs not when philosophical reason completely replaces superstition and enthusiasm in the public sphere, but instead when the parrhesiast partially organizes competing claims to know and to speak the truth. While much of the recent scholarly literature on Foucault’s later lectures emphasizes the political importance of the parrhesiast, less attention has been paid to the overlap and/or incompatibility between parrhesia (...) and the other modes of truth-telling. Below, I explain Foucault’s analysis of the basic modes of philosophical truth-telling: prophesy, philosophy, teaching, and parrhesia. I provide examples of speakers working within these modes in the ancient and modern world. I explain the overlap and tension between these modes, and I analyze Foucault’s partial organization of them through the image of the parrhesiast. I briefly compare Foucault’s position to the agonistic democratic theory of Chantal Mouffe and distinguish Foucault’s view from consensus-based views of public reason. Finally, I provide practical and theoretical examples of parrhesiastic activity in the contemporary world. (shrink)

In his later lectures, Foucault analyzes confession as a key exercise of the Christian pastoral power. The pastoral power’s creation of a lifelong obligation to speak the truth of oneself is a ‘prelude’ to modern practices of government, and a key facet of modernity. There has been some confusion regarding the scope of Foucault’s study. Is it medieval Christian confessional practices or Christian obedience itself that is his theme? In this article, I revisit all of the later lectures touching on (...) confession and avowal in order to clarify Foucault’s ambivalence about Christian proto-governmentality. Foucault exposes two regimes of truth, belief and confession, and offer a practice-based, confession-centred history of the pre-modern self. Connecting his lectures to his method of anarchaeology clarifies how the force of truth (the ‘you have to’) is, for Foucault, a fundamental if ambivalent historical-cultural problem of government. (shrink)

Hanna Pitkin explains that Arendt’s defense of collective political action tends to reify and mystify an opposing concept Arendt calls ‘the Social’. Was Arendt actually right about the rise of ‘the Social’? Does the deep-set global mass entertainment culture tend to sap action even when it purportedly celebrates it? And what can viewing publics and counter-publics tell us about the meaning and reception of ‘the Social’, especially in this massively online era? This article surveys different ways of thinking about the (...) basic problem presented by American popular action cinema, and especially big-budget Hollywood action films, through an Arendtian lens. In presenting this overview, the article looks to reorient traditional philosophical concerns about screen violence and its censorship, and to offer a holistic reappraisal of ‘the Social’ and ‘action’ by placing democratic theory in closer dialogue with film studies. (shrink)

Brasoveanu (Linguist Philos 34:93–168, 2011) argues that “different” exhibits what he calls association with distributivity: a distributive operator such as “each” creates a two-part context that propagates through the compositional semantics in a way that can be accessed by a subordinate “different”. We show that Brasoveanu’s analysis systematically undergenerates, failing to provide interpretations of sentences such as “Every1 boy claimed every girl read a different1 poem”, in which “different” can associate with a non-local distributive operator. We provide a generalized version (...) of association with distributivity, implemented using de Groote’s (in: Proceedings of semantics and linguistic theory XVI, 2006) continuation-based dynamic semantics. We compare our analysis with the one in Brasoveanu (2011), drawing conclusions about computational tractability, scope of indefinites, and whether it is possible or even desirable to arrive at a unified analysis of internal and external readings of “different”. (shrink)

We present a general theory of scope and binding in which both crossover and superiority violations are ruled out by one key assumption: that natural language expressions are normally evaluated (processed) from left to right. Our theory is an extension of Shan’s (2002) account of multiple-wh questions, combining continuations (Barker, 2002) and dynamic type-shifting. Like other continuation-based analyses, but unlike most other treatments of crossover or superiority, our analysis is directly compositional (in the sense of, e.g., Jacobson, 1999). In (...) particular, it does not postulate a level of Logical Form or any other representation distinct from surface syntax. One advantage of using continuations is that they are the standard tool for modeling order-of-evaluation in programming languages. This provides us with a natural and independently motivated characterization of what it means to evaluate expressions from left to right. We give a combinatory categorial grammar that models the syntax and the semantics of quantifier scope and wh-question formation. It allows quantificational binding but not crossover, in-situ wh but not superiority violations. In addition, the analysis automatically accounts for a variety of sentence types involving binding in the presence of pied piping, including reconstruction cases such as Whose criticism of hisi mother did each personi resent? (shrink)

J. S. Mill is typically thought of as a liberal utilitarian disciple of Jeremy Bentham, and in other readings as a modern Socratic or even a modern Epicurean. Mill and the Epicureans are alike in several respects: they theorize personal freedom and active character versus determinism and passivity, they oppose excessive love and praise friendship, and they are critical of traditional religiosity. In spite of these similarities, Mill and the Epicureans have a different conception of active character and citizenship, stemming (...) from a difference in first principles. Mill's philosopher does not share the Epicurean aim of untroubledness (ataraxia), and Mill accepts the demanding task of educating and regenerating a mass democratic society. Below, I assess Mill's troubled hedonism, that is, his acceptance of often intense and long-term mental perturbations, justified by a decidedly non-Epicurean social reform project. (shrink)

Lambek elegantly characterized part of natural language. As is well-known, his substructural logic L, and its non-associative version NL, handle basic function/argument composition well, but not scope taking and syntactic displacement—at least, not in their full generality. In previous work, I propose $$\text {NL}_\lambda $$, which is NL supplemented with a single structural inference rule (“abstraction”). Abstraction closely resembles the traditional linguistic rule of quantifier raising, and characterizes both semantic scope taking and syntactic displacement. Due to the unconventional form of (...) the abstraction inference, there has been some doubt that $$\text {NL}_\lambda $$ should count at a legitimate substructural logic. This paper argues that $$\text {NL}_\lambda $$ is perfectly well-behaved. In particular, it enjoys cut elimination and an interpolation result. In addition, perhaps surprisingly, it is decidable. Finally, I prove that it is sound and complete with respect to the usual class of relational frames. (shrink)

Lambek elegantly characterized part of natural language. As is well-known, his substructural logic L, and its non-associative version NL, handle basic function/argument composition well, but not scope taking and syntactic displacement—at least, not in their full generality. In previous work, I propose \, which is NL supplemented with a single structural inference rule.ion closely resembles the traditional linguistic rule of quantifier raising, and characterizes both semantic scope taking and syntactic displacement. Due to the unconventional form of the abstraction inference, there (...) has been some doubt that \ should count at a legitimate substructural logic. This paper argues that \ is perfectly well-behaved. In particular, it enjoys cut elimination and an interpolation result. In addition, perhaps surprisingly, it is decidable. Finally, I prove that it is sound and complete with respect to the usual class of relational frames. (shrink)

SUMMARYThis paper examines the formal filters of the public's political will defended by JS Mill as consistent with the best form of representative government. Holding that institutions must adjust to democratic society, and that democratic society must be improved to achieve wise rule, Mill rejects secret ballots and electoral pledges, and advocates a constitutional council and graduated enfranchisement. He also recommends but does not require the indirect election of the President and a unicameral legislature. Mill's historically sensitive approach puts pressure (...) on interpreters to be sensitive to their own political and social context when applying Mill's ideas. In particular, obviously undemocratic measures such as plural voting should be adjusted to reflect Mill's view that the ratio between legitimacy and competence is constantly changing. The continual readjustment between the powers of masses and elites is the way that Mill's Considerations on Representative Government manage to avoid the now-traditional charge of expertocracy. (shrink)

Aristocracy of sex -- Industrial aristocracy -- Expertocracy -- Mass and elite politics -- Democratic religion.

Let us suppose that thematic roles, or something very much like them, are needed to describe lexical and semantic patterns in the behavior of verbal predicates. But what about nouns? Is there evidence independent of verbal constructions motivating a system of nominal thematic relations? We suggest that the general problem of argument selection does in fact motivate a set of quintessentially nominal thematic proto-roles which we call Proto- Part and Proto-Whole. These nominal proto-roles are parallel to but distinct from the (...) verbal proto-roles of Proto-Agent and Proto-Patient proposed by Dowty (1991) to account for argument selection in verbal predicates. The resulting theory of nominal argument selection is properly semantic, that is, it distinguishes between argument positions purely on the basis of the semantic entailments of the predicates involved. Furthermore, it is non-dynamic, that is, it describes static patterns of lexicalization without hypothesizing any productive grammatical process that maps semantic arguments to syntactic arguments during the derivation of a sentence. (shrink)

Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate with an (...) improved account of quantificational binding, weak crossover, wh-questions, superiority, and polarity licensing. (shrink)

In this chapter I consider the prospects of globalizing expressivism. Expressivism is a position in the philosophy of language that questions the central role of representation in a theory of meaning or linguistic function. An expressivist about a domain D of discourse proposes that utterances of sentences in D should not be seen, at the level of analysis as representing how things are, but as expression of non-representational states. So, in the domain of value-utterances, the standard idea is that speakers (...) are expressing affective-states, such as approval or disapproval focused on objects or conditions. Global expressivism is the thesis that for all domains of discourse, we treat utterances, at the level of analysis, as expressing non-representational states. I set out several conceptions of how one might formulate this programme. The first involves minimalism about truth and semantic content – and only partially gives up representationalism (viz., the thesis that some utterances express representational states). The second is Price’s conception, which incorporates minimalism, Brandomian inferentalism, and concepts from Carnap, but still clings to representationalism. I then arrive at my favoured third conception, which does not employ minimalism or inferentialism, and eliminates vestiges of representationalism. It does the latter by embracing expressivism about meaning-attribution. Having set out key aspects of the approach I then address the question of metaphysics. What metaphysical conception of reality goes with global expressivism so understood? I argue it implies a form of metametaphysical nihilism. This is that idea that reality lacks any ultimate nature. (shrink)

The Neo-Moorean Deduction (I have a hand, so I am not a brain-in-a-vat) and the Zebra Deduction (the creature is a zebra, so isn’t a cleverly disguised mule) are notorious. Crispin Wright, Martin Davies, Fred Dretske, and Brian McLaughlin, among others, argue that these deductions are instances of transmission failure. That is, they argue that these deductions cannot transmit justification to their conclusions. I contend, however, that the notoriety of these deductions is undeserved. My strategy is to clarify, attack, defend, (...) and apply. I clarify what transmission and transmission failure really are, thereby exposing two questionable but quotidian assumptions. I attack existing views of transmission failure, especially those of Crispin Wright. I defend a permissive view of transmission failure, one which holds that deductions of a certain kind fail to transmit only because of premise circularity. Finally, I apply this account to the Neo-Moorean and Zebra Deductions and show that, given my permissive view, these deductions transmit in an intuitively acceptable way—at least if either a certain type of circularity is benign or a certain view of perceptual justification is false. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

The Politics is one of the most influential texts in the history of political thought, and it raises issues which still confront anyone who wants to think seriously about the ways in which human societies are organized and governed. By examining the way societies are run--from households to city states--Aristotle establishes how successful constitutions can best be initiated and upheld. For this edition, Sir Ernest Barker's fine translation, which has been widely used for nearly half a century, has been (...) extensively revised to meet the needs of the modern reader. The accessible introduction and clear notes examine the historical and philosophical background of the work and discuss its significance for modern political thought. (shrink)

The view that it is better for life to be created free of disability is pervasive in both common sense and philosophy. We cast doubt on this view by focusing on an influential line of thinking that manifests it. That thinking begins with a widely-discussed principle, Procreative Beneficence, and draws conclusions about parental choice and disability. After reconstructing two versions of this argument, we critique the first by exploring the relationship between different understandings of well-being and disability, and the second (...) by more briefly focusing on the idea of a significant reason. By placing these results against the broader historical and ongoing contexts in which the lives of those with disabilities have been deemed of inferior quality, we conclude with a call for greater humility about disability and well-being in thought and practice. (shrink)

We uncover a largely unnoticed and unaddressed problem in conservation research: arguments built within studies are sometimes defective in more fundamental and specific ways than appreciated, because they misrelate values and empirical matters. We call this the unraveled rope problem because just as strands of rope must be properly and intricately wound with each other so the rope supports its load, empirical aspects and value aspects of an argument must be related intricately and properly if the argument is to objectively (...) support its conclusion. By characterizing this problem with precision, our study differs from but complements existing studies of value issues in conservation science, in two ways. First, it focuses on key relationships between empirical issues and value issues, relations that have sometimes been obscured by focusing on these issues more independently of each other. Second, it focuses on these relationships within arguments and deploys a method of argument analysis and evaluation honed in other fields but under-utilized in conservation science. By combining our study's novel features, we detail six families of argument defect that exemplify the unraveled rope problem within existing literature. These defects sometimes manifest within basic research stages, rather than just in more applied downstream stages where roles for values are already obvious to many. As scientific reasoning and communication become increasingly important for addressing society's greatest environmental challenges, overcoming the unraveled rope problem will be essential to the success and integrity of conservation research. Therefore, we also outline potential solutions, preventative measures, and useful further work for conservation researchers. (shrink)

States claim the right to choose who can come to their country. They put up barriers and expose migrants to deadly journeys. Those who survive are labelled ‘illegal’ and find themselves vulnerable and unrepresented. The international state system advantages the lucky few born in rich countries and locks others into poor and often repressive ones. In this book, Christopher Bertram skilfully weaves a lucid exposition of the debates in political philosophy with original insights to argue that migration controls must be (...) justifiable to everyone, including would-be and actual immigrants. Until justice prevails, states have no credible right to exclude and no-one is obliged to obey their immigration rules. Bertram’s analysis powerfully cuts through the fog of political rhetoric that obscures this controversial topic. It will be essential reading for anyone interested in the politics and ethics of migration. (shrink)

Are the sculpture and the mass of gold which permanently makes it up one object or two? In this article, we argue that the monist, who answers ‘one object’, cannot accommodate the asymmetry of material constitution. To say ‘the mass of gold materially constitutes the sculpture, whereas the sculpture does not materially constitute the mass of gold’, the monist must treat ‘materially constitutes’ as an Abelardian predicate, whose denotation is sensitive to the linguistic context in which it appears. We motivate (...) this approach in terms of modal analyses of material constitution, but argue that ultimately it fails. The monist must instead accept a deflationary, symmetrical use of ‘materially constitutes’. We argue that this is a serious cost for her approach. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)