The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

Notice that each of (1)–(4) is an instance of a more general pattern. For example, we could replace ‘black’ in (1) with any of a wide range of other adjectives such as ‘furry’ or ‘hungry’ or ‘three-legged’, without rendering the entailment invalid or any less obvious. Similarly, there are a number of verbs that occur in entailments parallel to (3): ‘Moe boiled the water; so the water boiled’; ‘Bart blew up the school; so the school blew up’; ‘Homer sank the (...) boat; so the boat sank’ and so on. (shrink)

The notion of scope as it relates to a model of logical form is discussed. The inability of the accepted definition of scope to account for the contrast between priority scope - the logical priority of different quantifiers & other logical notions via rule ordering - & binding scope - the identification of the connection between variables of quantification & a particular quantifier - is demonstrated. The semantic ambiguity of this dichotomy of scope is explored via examination of donkey sentences. (...) A formal representation of this dichotomy is suggested. The government-binding approach & principle of compositionality that handle scope relations via the logical form is rejected due to the complexity of the mechanism by which syntactic form results in logical forms. A discourse representational approach is also rejected. It is concluded that the interaction of syntax & semantics is instead better represented by a game-theoretical treatment of scope & anaphora. 26 References. T. Rosenberg. (shrink)

This paper concerns the question whether reflexives can have strict readings in VP-ellipsis. It is argued that the possibility for strict interpretation is determined by a syntactic factor: subordination of the elided clause relative to the antecedent clause facilitates strict interpretation, whereas coordination disfavors it. This contrast is shown to be predictable by theories of syntactic reconstruction which assume that a surface reflexive corresponds to a bound variable at the point of ellipsis reconstruction, and where the binder has scope over (...) a subordinated ellipsis but not over a coordinated ellipsis. One possibility is that the binder is the reflexive itself, moved at LF. A further factor, namely the possibility of speakers reinterpreting the ellipsis as a deep anaphor, accounts for why strict readings are in fact weakly acceptable in coordinated ellipsis. Previous accounts of ellipsis and reflexives are evaluated in light of the new data. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated withcompositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom ofinterpretation in combination with the parallel application (...) of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic andsyntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into a (...) detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is (...) that it offers a principled solution to the puzzle of why both inversely linked interpretations and weak definite readings are blocked with certain prepositions. (shrink)

This paper presents an extensional account of manyand few that explains data that have previously motivated intensional analyses of these quantifiers :599–620, 2000). The key insight is that their semantic arguments are themselves set intersections: the restrictor is the intersection of the predicates denoted by the N’ or the V’ and the restricted universe, U, and the scope is the intersection of the N’ and V’. Following Cohen, I assume that the universe consists of the union of alternatives to the (...) nominal and verbal predicates, where an alternative to a property ψ is one that shares a pragmatic presupposition with ψ, and a pragmatic presupposition is one that is selected by context from a set of potential presuppositions associated with the sentence. A many/few-quantified sentence is then true iff the proportion of the scope to the restrictor is greater/less than some threshold, n. In addition to explaining various problematic cases from the literature, the analysis shows how the readings of a many/few-quantified sentence can be derived from the same syntactico-semantic structure, it being unnecessary to claim lexical or structural ambiguity. The analysis also provides strong support for the idea that natural language quantification is always purely extensional. (shrink)

Predicativism about names—the view that names are metalinguistic predicates—has yet to confront a foundational issue: how are names represented in the lexicon? I provide a positive characterization of the structure of the lexicon from the point of view Predicativism. I proceed to raise a problem for Predicativism on the basis of that characterization, focusing on cases in which individuals have names which are spelled the same way but pronounced differently. Finally, I introduce two potential strategies for solving the problem, and (...) offer reasons not to be optimistic about either. (shrink)

Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, says (...) Strawson, since it is used not to mention an individual, but only “to say something about an individual already mentioned” (p. 320). This is an example of what we may call a predicative use of a definite description, though such uses might be better illustrated by considering the false sentence.. (shrink)

Next SectionWe discuss the thesis formulated by Hintikka (1973) that certain natural language sentences require non-linear quantification to express their meaning. We investigate sentences with combinations of quantifiers similar to Hintikka's examples and propose a novel alternative reading expressible by linear formulae. This interpretation is based on linguistic and logical observations. We report on our experiments showing that people tend to interpret sentences similar to Hintikka sentence in a way consistent with our interpretation.

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

This paper argues in favor of two claims: (a) that Scope Shifting Operations (Quantifier Raising and Quantifier Lowering) are restricted by economy considerations, and (b) that the relevant economy considerations compare syntactic derivations that end up interpretively identical. These ideas are shown to solve several puzzles having to do with the interaction of scope with VP ellipsis, coordination, and the interpretation of bare plurals. Further, the paper suggests a way of dealing with the otherwise puzzling clause-boundedness of Quantifier Raising.

Nakanishi :115–136, 2012) presents a novel argument for the so-called scope theory of English sentential even, based on examples with antecedent-contained deletion. Nakanishi’s argument is based on the assumption that even cannot associate with a focus which has moved out of its LF scope. I show that this assumption is incorrect, defusing Nakanishi’s argument. I propose that when even associates with a focus which has moved out of its surface scope, it actually associates with focused material in the lower copies (...) of movement. I show that a closer look at ACD examples of Nakanishi’s type in fact yields a new argument against the scope theory. I conclude that English sentential even must always be interpreted in its pronounced position. The patterns of focus association with even presented here constitute a new argument for the copy theory of movement. (shrink)

Contrary to a claim made by Kaplan (Mind 114:933–1003, 2005) and Neale (Mind 114:809–871, 2005), the readings available to sentences containing definite descriptions embedded under propositional attitude verbs and conditionals do pose a significant problem for the Russellian theory of definite descriptions. The Fregean theory of descriptions, on the other hand, deals easily with the relevant data.

Using a version of situation semantics, this article argues that bare and complex demonstratives are interpreted as individual concepts.

Traditional arguments against the identification of the language of thought with natural language assume a picture of natural language which is largely inconsistent with that suggested by contemporary linguistic theory. This has led certain philosophers and linguists to suggest that this identification is not as implausible as it once seemed. In this paper, I discuss the prospects for such an identification in light of these developments in linguistic theory. I raise a new challenge against the identification thesis: the existence of (...) ungrammatical but acceptable expressions seems to require a gap between thought and language. I consider what must be the case in order for this objection to be dealt with. (shrink)

I present a novel, collaborative, methodology for linguistics: what I call the ‘explanatory economy’. According to this picture, multiple models/theories are evaluated based on the extent to which they complement one another with respect to data coverage. I show how this model can resolve a long-standing worry about the methodology of generative linguistics: that by creating too much distance between data and theory, the empirical credentials of this research program are tarnished. I provide justifications of such methodologically central distinctions as (...) the competence/performance and core/periphery distinction, and then show how we can understand the push for simplicity in the history of generative grammar in this light. (shrink)

Quantifiers in phrasal and clausal comparatives often seem to take distributive scope in the matrix clause: for instance, the sentence John is taller than every girl is is true iff for every girl it holds that John is taller than that girl. Broadly speaking, two approaches exist that derive this reading without postulating the wide scope of the quantifier: the negation analysis and the interval analysis of than-clauses. We propose a modification of the interval analysis in which than-clauses are not (...) treated as degree intervals but as degree pluralities. This small change has significant consequences: it yields a straightforward account of differentials in comparatives and it correctly predicts the existence of hitherto unnoticed readings, viz. cumulative readings of clausal comparatives. Finally, this paper also makes the case that using degree pluralities is conceptually appealing: it allows us to restrict the analysis of comparatives by mechanisms that are postulated independently in the semantics of pluralities. (shrink)

We examine several cases of object movement from various languages, and demonstrate that the syntactic behavior of objects can be derived from certain conditions on LF representations. Conditions on LF relevant to the distribution of arguments are identified as relative scope fixing and type mismatch repair. These two conditions interact with the multiple semantic types that may be assigned to NPs (cf. Partee 1987) to induce movement of certain objects out of the VP, universally by LF and parametrically in the (...) overt syntax. Diesing's (1992b) Mapping Hypothesis combined with the multiple NP types predicts that quantificational NPs in object position will have to undergo movement by LF. This movement is forced by the principles of semantic composition as a mechanism of type mismatch resolution. The existential closure operation over VP is claimed to be genuinely unselective: any NP that introduces a free variable and does not receive an existential interpretation must move out of the scope of existential closure (and thus out of the VP) by LF. Pronouns are variables, limited in semantic type assignment, that by virtue of their definiteness cannot be bound by existential closure and must move out of its scope. In Egyptian Arabic, object pronouns escape from the VP via attachment to a verb that raises to adjoin to an Aspect inflectional head above the VP. The movement of object pronouns and definite/specific NPs in Scandinavian is also associated with verb movement. (shrink)

We defend the view that an indexical uttered by an actor works on the model of deferred reference. If it defers to a character which does not exist, it is an empty term, just as ‘Hamlet’ and ‘Ophelia’ are. The utterance in which it appears does not express a proposition and thus lacks a truth value. We advocate an ontologically parsimonious, anti-realist, position. We show how the notion of truth in our use and understanding of indexicals (and fictional names) as (...) they appear within a fiction is not a central issue. We claim that our use and understanding of indexicals (and names) rests on the fact that their cognitive contribution is not exhausted by their semantic contribution. (shrink)

In a recent book, Jeffrey King (King 2001) argues that complexdemonstratives, i.e., noun phrases of the form `this/that F, are not singular terms. As such,they are not devices of direct reference contributing the referent to the proposition expressed.In this essay I challenge King's position and show how a direct reference view can handle the datahe proposes in favor of the quantificational account. I argue that when a complex demonstrativecannot be interpreted as a singular term, it is best understood as a (...) case of deferredreference – in which case it should be viewed as an anaphora inheriting its value from a quantifiedterm – or as an emphatic description. (shrink)

ABSTRACTA fundamental principle of all truth-conditional approaches to semantics is that the meanings of sentences of natural language can be compositionally specified in terms of truth conditions, where the meanings of the sentences’ parts are specified in terms of the contribution they make to such conditions their host sentences possess. Thus, meanings of words fit the meanings of sentences at least to the extent that the stability of what a sentence might mean as specified in a theory is in accord (...) with the stability of what a word might mean as similarly specified. In this paper, I shall be concerned with Ludlow’s idea that, in fact, there need be no such sympathy between words and sentences. He proposes that we can square what he calls a dynamic lexicon, where word meaning is not stable at all, with a traditional truth-conditional approach of the kind indicated, where sentence meaning is delivered via ‘absolute truth conditions’. I share Ludlow’s aspiration to accommodate dynamic features of word meaning with a truth conditional approach, but not his belief that the marriage is an easy deal. Thus, I shall present a problem for Ludlow’s position and show how resolving this problem leads to an alternative picture of how the meaning of a sentence may be truth-conditionally specified with all relevant dynamic features of the lexicon retained. (shrink)

Much of the best contemporary work in the philosophy of language and content makes appeal to the theories developed in generative syntax. In particular, there is a presumption that—at some level and in some way—the structures provided by syntactic theory mesh with or support our conception of content/linguistic meaning as grounded in our first-person understanding of our communicative speech acts. This paper will suggest that there is no such tight fit. Its claim will be that, if recent generative theories are (...) on the right lines, syntactic structure provides both too much and too little to serve as the structural partner for content, at least as that notion is generally understood in philosophy. The paper will substantiate these claims by an assessment of the recent work of King, Stanley, and others. (shrink)

Noam Chomsky's engagement with contemporary philosophy from the 1960s onwards has involved lengthy discussion with critics and others on the significance of linguistics for traditional and contemporary philosophy. This chapter draws the background to generative linguistics and shows how Chomsky's real philosophical achievement in this area was to pose an explanatory question that had previously been neglected. Generative grammar as a research field was initiated by Chomsky in the 1950s. Chomsky's cognitive turn was revolutionary, not least because it went against (...) the philosophical grain vis‐a‐vis the role of formalism or logical analysis. P. Strawson had suggested that there is a Homeric struggle between those who favor a formal approach to natural language and those who favor a communicationintention approach. For Chomsky, the proper role of formalism in the realm of natural language is the framing of structural constraints on the consumption and production of language, both of which are cognitive capacities. (shrink)

There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)

This paper presents a novel analysis of Sluicing, an ellipsis construction first described by Ross (1969) and illustrated by the bracketed portion ofI want to do something, but I'm just not sure [what _]. Starting from the assumption that a sluice consists of a displaced Wh-constituent and an empty IP, we show how simple and general LF operations fill out the empty IP and thereby provide it with an interpretable Logical Form. The LF operations we appeal to rely on the (...) influential theory of indefinites developed by Irene Heim and Hans Kamp, and are in harmony with certain aspects of Chomsky's Minimalist Program for linguistic theory. The analysis accounts directly for the familiar properties of Sluicing, as well as some facts which have not previously been observed. (shrink)

This paper studies the distribution of ‘list readings’ in questions like who does everyone like? vs. who likes everyone?. More generally, it focuses on the interaction between wh-words and quantified NPs. It is argued that, contrary to widespread belief, the pattern of available readings of constituent questions can be explained as a consequence of Weak Crossover, a well-known property of grammar. In particular, list readings are claimed to be a special case of ‘functional readings’, rather than arising from quantifying into (...) questions. Functional readings are argued to be encoded in the syntax as doubly indexed traces, which straightforwardly leads to a Crossover account of the absence of list readings in who likes everyone?. Empirical and theoretical consequences of this idea for the syntax and semantics of questions are considered. (shrink)

I argue that alternative-denoting expressions interact with their semantic context by taking scope. With an empirical focus on indefinites in English, I show how this approach improves on standard alternative-semantic architectures that use point-wise composition to subvert islands, as well as on in situ approaches to indefinites more generally. Unlike grammars based on point-wise composition, scope-based alternative management is thoroughly categorematic, doesn’t under-generate readings when multiple sources of alternatives occur on an island, and is compatible with standard treatments of binding. (...) Unlike all in situ treatments of indefinites, relying on a true scope mechanism prevents over-generation when an operator binds into an indefinite. My account relies only on function application, some mechanism for scope-taking, and two freely-applying type-shifters: the first is Karttunen’s :3–44, 1977. https://doi.org/10.1007/BF00351935) proto-question operator, aka Partee’s Studies in discourse representation theory and the theory of generalized quantifiers, Foris, Dordrecht, 1986) IDENT, and the second can be factored out of extant approaches to the semantics of questions in the tradition of Karttunen. These type-shifters form a decomposition of LIFT, the familiar function mapping values into scope-takers. Exceptional scope of alternative-generating expressions arises via scopal pied-piping: indefinites take scope over their island, which then itself takes scope. (shrink)

Davidsonian event semantics is often taken to form an unhappy marriage with compositional semantics. For example, it has been claimed to be problematic for semantic accounts of quantification Proceedings of the 16th Amsterdam Colloquium, 2007), for classical accounts of negation Semantics and contextual expression, 1989), and for intersective accounts of verbal coordination. This paper shows that none of this is the case, once we abandon the idea that the event variable is bound at sentence level, and assume instead that verbs (...) denote existential quantifiers over events. Quantificational arguments can then be given a semantic account, negation can be treated classically, and coordination can be modeled as intersection. The framework presented here is a natural choice for researchers and fieldworkers who wish to sketch a semantic analysis of a language without being forced to make commitments about the hierarchical order of arguments, the argument-adjunct distinction, the default scope of quantifiers, or the nature of negation and coordination. (shrink)

This article describes a novel pattern of interpretations associated with universal determiners like ‘each’ and ‘every’. It is demonstrated that these canonically distributive quantifiers can give rise to surprising collective readings when they quantify into sub-clausal constituents, especially other Determiner Phrases. For instance, ‘two cards from each player’ can be understood to pick out a single assorted deck of cards, one whose contents co-vary with the players. Yet this deck as a whole may be said to participate in a range (...) of collective activities (being shuffled together, being traded en masse, not fitting into a standard pack, etc.). Such examples are shown to differ from more familiar _cumulative_ readings of the same quantifiers. A compositional analysis is offered that generalizes Krifka’s ( 2001 ) method of quantification into speech acts in order to accommodate quantification into a larger class of non-truth-denoting semantic objects, including in these cases, entities. (shrink)

Situation semantics as conceived in Kratzer (1989) has been shown to be a valuable companion to the e-type pronoun analysis of donkey sentences (Heim 1990, and recently refined in Elbourne 2001b), and more generally binding out of DP (BOOD; Tomioka 1999; Büring 2001). The present paper proposes a fully compositional version of such a theory, which is designed to capture instances of crossover in BOOD.

This paper presents a semantic and pragmatic theory of complex demonstratives. According to this theory, the semantic content of a complex demonstrative, in a context, is simply an object, and the semantic content of a sentence that contains a complex demonstrative, in a context, is a singular proposition. This theory is defended from various objections to direct reference theories of complex demonstratives, including King's objection from quantification into complex demonstratives.

This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted readings: in some environments the denotation of attitude verbs can be restricted by a given proposition. For example, when these verbs are embedded in the consequent of a conditional, they can be restricted by the proposition expressed by the conditional’s antecedent. We formulate and motivate two conditions on the availability of verb restrictions: a constraint that ties the content of restrictions (...) to the “dynamic effects” of sentential connectives and a constraint that limits the availability of restriction effects to present tense verbs with first-person subjects. However, we also present some cases that make trouble for these conditions, and outline some possible ways of modifying the view to account for the recalcitrant data. We conclude with a brief discussion of some of the connections between our semantics for attitude verbs and issues concerning epistemic modals and theories of knowledge. (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)

Quantificational arguments can take scope outside of temporal adjunct clauses, in an apparent violation of locality restrictions: the sentence few secretaries cried after each executive resigned allows the quantificational NP each executive to take scope above few secretaries. I show how this scope relation is the result of local operations: the adjunct clause is a temporal generalized quantifier which takes scope over the main clause (Pratt and Francez, Linguistic and Philosophy 24(2), 187–222. [2001]), and within the adjunct clause, the quantificational (...) argument takes scope above the implicit determiner which forms the temporal generalized quantifier. The paper explores various relations among quantificational arguments across clause boundaries, including temporal clauses that are modified internally by a temporal adverbial and temporal clauses with embedded sentential complements. (shrink)

This squib presents a rebuttal to two of King’s (Complex demonstratives: A quantificational account. Cambridge, Mass.: MIT Press, 2001) arguments that complex demonstratives are quantifier phrases like every man. The first is in response to King’s argument that because complex demonstratives induce weak crossover effects, they are quantifier phrases. I argue that unlike quantifier phrases and like other definite determiner phrases, complex demonstratives in object position can corefer with singular pronouns contained in the subject DP. Although complex demonstratives could undergo (...) LF-movement, the ruling out by weak crossover is empirically undetectable. The second rebuttal is in response to King’s argument that because complex demonstratives allow antecedent-contained deletion, they are quantifier phrases. I present data showing that along with quantifier phrases, complex demonstratives pattern with proper names in allowing ACD with restrictive modification, but usually not with non-restrictive modification. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...