Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

Fictionalist approaches to ontology have been an accepted part of philosophical methodology for some time now. On a fictionalist view, engaging in discourse that involves apparent reference to a realm of problematic entities is best viewed as engaging in a pretense. Although in reality, the problematic entities do not exist, according to the pretense we engage in when using the discourse, they do exist. In the vocabulary of Burgess and Rosen (1997, p. 6), a nominalist construal of a given discourse (...) is revolutionary just in case it involves a “reconstruction or revision” of the original discourse. Revolutionary approaches are therefore prescriptive. In contrast, a nominalist construal of a given discourse is hermeneutic just in case it is a nominalist construal of a discourse that is put forth as a hypothesis about how the discourse is in fact used; that is, hermeneutic approaches are descriptive. I will adopt Burgess and Rosen’s terminology to describe the two different spirits in which a fictionalist hypothesis in ontology might be advanced. Revolutionary fictionalism would involve admitting that while the problematic discourse does in fact involve literal reference to nonexistent entities, we ought to use the discourse in such a way that the reference is simply within the pretense. The hermeneutic fictionalist, in contrast, reads fictionalism into our actual use of the problematic discourse. According to her, normal use of the problematic discourse involves a pretense. According to the pretense, and only according to the pretense, there exist the objects to which the discourse would commit its users, were no pretense involved. My purpose in this paper is to argue that hermeneutic fictionalism is not a viable strategy in ontology. My argument proceeds in two steps. First, I discuss in detail several problematic consequences of any interesting application of hermeneutic fictionalism. Of course, if there is good evidence that hermeneutic fictionalism is correct in some cases, then some of these drastic consequences would have to be accepted.. (shrink)

We investigate adverbial agreement in Sandəmarkesə (S. Marco in Lamis, Apulia) proposing phase-bound, local agreement relations, reducible to coordination, as in past and absolute participial constructions, suggesting a copulaless analysis where arguments are subjects in a small clause. With disjunct nominals with matching φ-features, the adverb agrees separately with each part in the set, otherwise resulting in ‘non-agreeing’ forms, which we test also with negative polarity items (niʃun-, ‘nobody’ and nentə, ‘nothing’). With fragment answers, the negation scopes over adverbs agreeing (...) with the two proposed topics: matching of the φ-features of both nouns values the negative operator with the same features. In fronted adverbs, agreement occurs when the question contains overt coordinated arguments, elements continuing a chain, and if coordinated arguments have matching φ-features. In agreement in topical contexts with fronted adverbs, agreement occurs with the aboutness-shift topic closely preceding them, rather than with the embedded direct object. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

This paper discusses three approaches to the semantics of event nominalizations and adverbial modification: the Davidsonian account, the Kimian account, and the truthmaker account. It argues that a combination of all three accounts is needed for the semantics of the full range of event, trope, and state nominalizations in English.

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

The rationale clause infinitive is a modifier of the verb which expresses an agent's intention in acting as they do. The rationale clause is related to the matrix in two important ways: the null subject of the infinitive (PRO) is usually coreferential with a phrase in the matrix (control), and the intention it expresses is usually assigned to a phrase in the matrix (predication). Given that the controller and argument of the rationale clause are usually clausemates of the infinitive itself, (...) the strongest hypothesis is that both control and predication are strictly local. However, there has been much debate in the literature concerning the viability of such a locality constraint. In this article, I argue in favour of a locality-based account of control and predication in the rationale clause, comparing it with a discourse-semantic constraint approach and a logophoricity constraint approach. Data from two related modifier infinitives (the purpose clause and the telic clause) will be used to sharpen the discussion. (shrink)

The doctrine that meanings are entitieswith a determinate and independent reality is often believed tohave been undermined by Quine's thought experiment of radicaltranslation, which results in an argument for the indeterminacy oftranslation. This paper argues to the contrary. Starting fromQuine's assumption that the meanings of observation sentences arestimulus meanings, i.e., set-theoretical constructions of neuronalstates uniquely determined by inter-subjectively observable facts,the paper shows that this meaning assignment, up to isomorphism,is uniquely extendable to all expressions that occur inobservation sentences. To do so, (...) a theorem recently proven byHodges is used. To derive the conclusion, one only has to assumethat languages are compositional, abide by a generalized contextprinciple and by what I call the category principle. Theseassumptions originating in Frege and Husserl are coherent withQuine's overall position. It is concluded that Quine'snaturalistic approach does not justify scepticism with regard tomeaning, but should rather result in a view that affiliatessemantics with neuroscience. (shrink)

Contemporary research in compositional, truth-conditional semantics often takes judgments of the relative unacceptability of certain phrasal combinations as evidence for lexical semantics. For example, observing that completely full sounds perfectly natural whereas completely tall does not has been used to motivate a distinction whereby the lexical entry for full but not for tall specifies a scalar endpoint. So far, such inferences seem unobjectionable. In general, however, applying this methodology can lead to dubious conclusions. For example, observing that slightly bent is (...) natural but slightly cheap is not (that is, not without a “too cheap” interpretation) leads researchers to suggest that the interpretation of bent involves a scalar minimum but cheap does not, contra intuition—after all, one would think that what is minimally cheap is (just) free. Such claims, found in sufficient abundance, raise the question of how we can support semantic theories that posit properties of entities that those entities appear to lack. This paper argues, using theories of adjectival scale structure as a test case, that the (un)acceptability data recruited in semantic explanations reveals properties of a two-stage system of semantic interpretation that can support divergences between our semantic and metaphysical intuitions. (shrink)

Will reading different stories about the same event in the world result in a similar image of the world? Will reading the same story by different people result in a similar proxy for experiencing the story? The answer to both questions is no because language is abstract by definition and relies on our episodic experience to turn a story into a more concrete mental movie. Since our episodic knowledge differs, also the mental movie will be different. Language leaves out details, (...) and this becomes specifically clear when building machines that read texts to represent events and to establish event relations across mentions, such as co-reference, causality, subevents, scripts, timelines, and storylines. There is a lot of information and knowledge on the event that is not in the text but is needed to reconstruct these relations and understand the story. Machines lack this knowledge and experience and likewise make explicit what it takes to understand stories from text. In this paper, we report on experiments to automatically model event descriptions and instances across different news articles. We will show that event information is scattered over the text but also varies a lot in the degree it abstracts from details, which makes establishing event identity and relations extremely difficult. The variation in granularity of event descriptions seems to vary with pragmatic communicative strategies and defines the problem at different levels of complexity. (shrink)

A thorny question surrounding the meaning of ought concerns a felt distinction between deontic uses of ought that seem to evaluate a state of affairs versus those that seem to describe a requirement or obligation to perform an action, as in and, respectively. There ought not be childhood death and disease. You ought to keep that promise. Various accounts have been offered to explain the contrast between “agentive” and “non-agentive” ought sentences. One such account is the Agency-in-the-Prejacent theory, which traces (...) the difference to a particular kind of ambiguity in the prejacent. This theory has been criticized as linguistically unviable. Indeed, I level a few novel complaints against AIP myself in the present paper. But AIP has a kernel of genuine insight which allows us to explain the contrast—that the distinction between agentive and non-agentive ought sentences owes in part to the way natural language encodes information about agency. I develop this idea into a novel account that, like AIP, traces the contrast to an ambiguity in the complement of the modal. However, according to the view I propose, the Coercion View, a linguistically-motivated coercion operation produces the necessary grammatical conditions for agentive ought, which in turn allow a kind of variadic function operator in the style of to produce the semantic effect we see on display in agentive readings of ought. Having explained the mechanism by which we get this structure, I show that it corroborates some of the central intuitions underwriting agentive ought. I submit that the Coercion View offers an explanation of agentive ought to take at least as seriously as any of its competitors. (shrink)

Two semantic theories of proper names are explained and assessed. The theories are Burge’s treatment of proper names as complex demonstratives and Larson and Segal’s quasi-descriptivist account of names. The two theories are evaluated for empirical plausibility. Data from deficits, processing models, developmental studies and syntax are all discussed. It is concluded that neither theory is fully confirmed or refuted by the data, but that Larson and Segal’s theory has more empirical plausibility.

The aim of this paper is to assess the relative merits of two accounts of the semantics of proper names. The enterprise is of particular interest because the theories are very similar in fundamental respects. In particular, they can agree on three major features of names: names are rigid designators; different co-extensive names can have different cognitive significance; empty proper names can be meaningful. Neither theory by itself offers complete explanations of all three features. But each theory is consistent with (...) them and goes some way towards explaining them. (shrink)

In this essay I will explore the syntactic expression of the notion ‘clause’ by focusing on some syntactic and semantic properties of bare infinitive (BI) complements to perception verbs in English. I shall argue briefly that perception BI complements must be clausal, and then turn in more detail to the issue of what sort of clause the BI complement must be. It will be established that the categorical nature of the perception BI complement as IP or VP is contingent on (...) selectional properties of the perception verb, properties which may be contextually influenced by modality and negation. More specifically, an interpretative distinction between ‘vision’ and ‘non-vision’see first suggested by Napoli (1988) will be shown, contrary to her proposal, to provide the key to the contrast in the selection of clausal types. The IP/VP distinction will be shown to correlate with the viability of interpretations for the BI clause that are ‘temporally independent’ of the matrix clause. Given the IP/VP distinction, it will be demonstrated further that the peculiarly limited distribution of the expletive formativethere in BI complements may be predicted from independently motivated syntactic principles that determine clausal structure. (shrink)

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

This paper gives an analysis of the adverbial quantifiers exemplified in “I regretted it every time I had dinner with him.” Sentences of this kind display what I call a ‘matching effect’; they are true if every event in the denotation oftime I had dinner with him can be matched with an event regretting that dinner event. They are thus truth-conditionally equivalent to sentences of the form “There are at least as many As as Bs.” The difficulties of giving a (...) compositional interpretation to sentences of this form have been discussed in, e.g., Boolos 1981. I first show that the matching effect is semantic and not pragmatic. I then give an analysis of these sentences in a neo-Davidsonian framework, interpreting the adverbials as quantifiers over events. Syntactically they are analyzed as objects of a null preposition. This allows a simple compositional semantic interpretation in which the null preposition is interpreted exactly as other prepositions are by Davidson (1967), namely as denoting a function from the event argument of the matrix verb to the prepositional object. The matching effect then follows automatically. I extend the analysis to account for other sentences which directly instantiate the schema “For every A there is a B” and its equivalents, and show how the matching effect follows in general from the functional nature of thematic roles and prepositions. (shrink)

In the framework of the minimalist program, the assumption that wh-in-situ move covertly to be assigned wide scope is infeasible. Rather, it is assumed that they must be interpretable in situ, and that syntactic conditions like ‘superiority’ are effects of economy, which restricts overt rather than covert movement of a wh-element. The remaining syntactic problem for this line of reasoning is the putative ECP effects of adverbial wh-adjuncts, which were the strongest evidence for covert movement. A serious semantic problem is (...) that the interpretative procedures which have been proposed for wh-in-situ – unselective binding or absorption – fail to capture correctly their interpretation. I will argue first that both problems are solved if the interpretation in situ employs choice functions, and it is the function variable, rather than an individual variable, which is long-distance bound by the question existential operator. Adverbial adjuncts, which cannot be interpreted via choice functions, cannot, therefore, be interpreted in situ. However, the concept of economy underlying the account of overt superiority effects requires both theoretical and empirical clarification (as it leaves some empirical problems unaddressed). I argue, following a proposal by Golan (1993), that in this case the economy considerations apply at the interface (‘interface economy’) and that they consider not only different derivations out of the same numeration, but also their semantic representation. (shrink)

In a recent paper (Linguistics and Philosophy 23, 4, June 2000), Jason Stanley argues that there are no `unarticulated constituents', contrary to what advocates of Truth-conditional pragmatics (TCP) have claimed. All truth-conditional effects of context can be traced to logical form, he says. In this paper I maintain that there are unarticulated constituents, and I defend TCP. Stanley's argument exploits the fact that the alleged unarticulated constituents can be `bound', that is, they can be made to vary with the values (...) introduced by operators in the sentence. I show that Stanley's argument rests on a fallacy, and I provide alternative analyses of the data. (shrink)

Because reference is not transparent, coreference is not transparent either: it is possible for the subject to refer to the same individual twice without knowing that the two acts of reference target the same individual. That happens whenever the subject associates two distinct yet coreferential files with two token singular terms. The subject may not know that the two files corefer, so her ascribing contradictory properties to the same object does not threaten her rationality. But if the subject deploys the (...) same file twice, in association with both of the singular terms, she is bound to know that she is referring to the same entity twice. (shrink)

This paper examines the stage-level/individual-level hypothesis (Kratzer 1989; Diesing 1988) from the point of view of modern Scottish Gaelic. This language exhibits two syntactically distinct predicational structures, and in particular, two distinct subject positions distinguishable on the basis of word order. While the distinction between the two positions can be shown to support the stage/individual-level hypothesis in one sense, the picture is muddied by the fact that many habitual or ‘characteristic’ sentences seem to be formed according to the stage-level subject (...) construction type.The solution proposed relies on two novel elements. First, it distinguishes the classical Davisonian event variable from the Kratzerian one hypothesized to be the hallmark of the stage-level sentence type. And secondly, it makes a strict logical separation between two types of generics: generics proper, which involve quantifying over an individual variable; and habituals, which only involve quantification over an event variable. These are represented by two distinct logical types which may nevertheless give rise to similar truth conditions in context.I show that the analysis can be made to account for tense interpretation, the scope of genericity, and the facts of syntactic complementation in Scottish Gaelic. To the extent that the solution is successful, it is evidence for a quite direct mapping between syntactic and semantic representations and for the important intuitions behind the initial Kratzer/Diesing stage vs. individual-level hypothesis. (shrink)

We examine an argument for the non-context-freeness of English that has received virtually no discussion in the literature. It is based on adjuncts of the form 'X or no X', where X is a nominal. The construction has been held to exemplify unbounded syntactic reduplication. We argue that although the argument can be made in a mathematically valid form, its empirical basis is not secure. First, the claimed unbounded syntactic identity between nominals does not always hold in attested cases, and (...) second, an understanding of the semantics of the construction removes the necessity of making reference to any syntactic reduplication. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Sometimes two expressions in a discourse can be about the same thing in a way that makes that very fact evident to the participants. Consider, for example, 'he' and 'John' in 'John went to the store and he bought some milk'. Let us call this 'de jure' coreference. Other times, coreference is 'de facto' as with 'Mark Twain' and 'Samuel Clemens' in a sincere use of 'Mark Twain is not Samuel Clemens'. Here, agents can understand the speech without knowing that (...) the names refer to the same person. After surveying many available linguistic and pragmatic tools (intentions to corefer, presuppositions, meanings, indexing, discourse referents, binding etc.) I conclude that we must posit a new semantic primitive to account for de jure coreference. (shrink)

Often, the deepest disagreements are about starting points, and which considerations are relevant.

The meaning of 'most' can be described in many ways. We offer a framework for distinguishing semantic descriptions, interpreted as psychological hypotheses that go beyond claims about sentential truth conditions, and an experiment that tells against an attractive idea: 'most' is understood in terms of one-to-one correspondence. Adults evaluated 'Most of the dots are yellow', as true or false, on many trials in which yellow dots and blue dots were displayed for 200 ms. Displays manipulated the ease of using a (...) 'one-to-one with remainder' strategy, and a strategy of using the Approximate Number System to compare of (approximations of) cardinalities. Interpreting such data requires care in thinking about how meaning is related to verification. But the results suggest that 'most' is understood in terms of cardinality comparison, even when counting is impossible. (shrink)

This paper presents a slightly modified version of the compositional semantics proposed in Events and Semantic Architecture (OUP 2005). Some readers may find this shorter version, which ignores issues about vagueness and causal constructions, easier to digest. The emphasis is on the treatments of plurality and quantification, and I assume at least some familiarity with more standard approaches.

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

: Jerry Fodor and Zenon Pylyshyn have proposed a purely referential-causal semantics, a semantics without meanings. Adopting Pylyshyn’s previous treatment of the fact that we can perceive and track something before we have any idea of what that is, these authors claim that such causal relations to external entities allow us to word-label them and thereby build an entire lexicon with specific referents. I disagree and explain why I do so. The kind of semantics that I prefer is radically opposite: (...) the one proposed by Noam Chomsky and Paul Pietroski. This is an internalist semantics that only has meanings, reference being indirect, often indefinite, sometimes problematic. Chomsky insists that the only posit that is tenable is the internal structure of the speaker-hearer, a complex, abstractly characterizable, computational-derivational apparatus, optimal if left alone, that interfaces with other cognitive apparatuses: the articulatory-perceptual one and the conceptual-intentional one, satisfying the constraints that they impose. I show that the semantics proposed by Fodor and Pylyshyn is especially problematic when inexistent entities, possible entities, fictional characters and objects in the remote past are examined. It is, however, problematic even when dealing with more ordinary concepts. On the contrary, an internalist semantics avoids all these problems. Keywords: Internalist Semantics; Theory of Meaning and Reference; Jerry A. Fodor; Noam Chomsky; Paul Pietroski Menti con significati Riassunto: Jerry Fodor e Zenon Pylyshyn hanno proposto una semantica interamente causale-referenziale, una semantica priva di qualsiasi nozione di significato. Adottando la precedente trattazione di Pylyshyn di come è possibile percepire e inseguire oggetti prima di avere alcuna idea di cosa essi siano, questi autori pretendono che queste interazioni causali con enti esterni bastano a etichettarli con dei termini lessicali, costruendo un intero lessico con referenti specifici, senza la componente del significato. Io dissento e spiego perché. Il tipo di semantica che adotto è diametralmente opposto, una semantica che ha solo significati, per la quale i referenti esterni sono indiretti, spesso non definiti, talvolta problematici. Noam Chomsky e Paul Pietroski hanno perfezionato questa semantica puramente internalista, insistendo che l’unico attributo sostenibile è la struttura mentale interna al locutore, una struttura complessa, caratterizzabile solo a un livello di astrazione adeguato, atta a soddisfare i vincoli imposti dai sistemi cognitivi con i quali interagisce: quello articolatorio-percettivo e quello concettuale-intenzionale. Mostro che la semantica proposta da Fodor e Pylyshyn si scontra con problemi insolubili quando tratta enti inesistenti, enti possibili, invenzioni letterarie e oggetti appartenenti a un passato remoto. In effetti, si scontra con problemi insolubili anche quando tratta oggetti e proprietà ordinari. Una semantica interamente internalista non incontra nessuno di questi problemi. Parole chiave: Semantica internalista; Teoria del significato e del riferimento; Jerry A. Fodor; Noam Chomsky; Paul Pietroski. (shrink)

Most biologists and some cognitive scientists have independently reached the conclusion that there is no such thing as learning in the traditional “instructive‘ sense. This is, admittedly, a somewhat extreme thesis, but I defend it herein the light of data and theories jointly extracted from biology, especially from evolutionary theory and immunology, and from modern generative grammar. I also point out that the general demise of learning is uncontroversial in the biological sciences, while a similar consensus has not yet been (...) reached in psychology and in linguistics at large. Since many arguments presently offered in defense of learning and in defense of “general intelligence‘ are often based on a distorted picture of human biological evolution, I devote some sections of this paper to a critique of “adaptationism,‘ providing also a sketch of a better evolutionary theory. Moreover, since certain standard arguments presented today as “knock-down‘ in psychology, in linguistics and in artificial intelligence are a perfect replica of those once voiced by biologists in favor of instruction and against selection, I capitalize on these errors of the past to draw some lessons for the present and for the future. (shrink)

The Principle of Semantic Compositionality (sometimes called Frege''s Principle) is the principle that the meaning of a (syntactically complex) whole is a function only of the meanings of its (syntactic) parts together with the manner in which these parts were combined. This principle has been extremely influential throughout the history of formal semantics; it has had a tremendous impact upon modern linguistics ever since Montague Grammars became known; and it has more recently shown up as a guiding principle for a (...) certain direction in cognitive science.Despite the fact that The Principle is vague or underspecified at a number of points — such as what meaning is, what counts as a part, what counts as a syntactic complex, what counts as combination — this has not stopped some people from viewing The Principle as obviously true, true almost by definition. And it has not stopped other people from viewing The Principle as false, almost pernicious in its effect. And some of these latter theorists think that it is an empirically false principle while others think of it as a methodologically wrong-headed way to proceed. (shrink)

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)