Two theories of implicit domain restriction have gained considerable prominence over the last two decades. According to von Fintel (Restrictions on quantifier domaines, Ph.D. thesis, University of Massachusetts at Amherst, 1994), quantifiers come with covert restrictors and, as a result of this, induce domain restriction; according to Stanley [in Gerhard and Peter (eds) Logical form and language, Clarendon Press, Oxford, 2002; Stanley and Szabó (Mind Lang 15(2–3):2192–2161, 2000)], by contrast, nouns, as opposed to quantifiers, come with covert restrictors. In this (...) article, I do three things. First, I assess the arguments that have been given for and against these two accounts and show that none of them is conclusive. Second, I advance a novel empirical argument based on the observed pragmatic behaviour of bare nouns, an argument that falsifies Stanley’s theory while providing clear evidence in support of von Fintel’s (1994). Finally, I discuss the relevance of the bare noun data in the context of another important debate—namely, whether domain restriction is a local mechanism only, or whether it can also be achieved by global means. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

What is the scope of a semantic theory consistent with the theoretical assumptions adopted by the generative program? In this paper I will show that the linguistic theory generically known as generative grammar is an extremely coherent Scientific Research Program and within this descriptive framework it’s possible to characterize the main features of an I-semantics. First, will be presented the hardcore of the generative program, its heuristics and Chomsky’s criticism towards formal semantics. Second, I will compare two approaches: the denotational (...) approach by Larson and Segal and the intensional approach by Paul Pietroski. I argue in favor of Pietroski’s approach, because it is more coherent with the core assumptions of the generative program. The main argument is that syntax, in the context of the generative program is explanatory and, in this very context, semantics is not. Therefore, in order to account for the explanatory role of syntax in the generative program it is necessary to review certain foundational assumptions commonly accepted in formal semantics. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

O expressivismo puro divide as expressões entre as que possuem apenas conteúdo descritivo e as que possuem apenas conteúdo expressivo. As primeiras, mas não as segundas, são aptas à verdade e à falsidade. Hedger aplica esta distinção às injúrias e, como resultado, elas são consideradas termos com conteúdo puramente expressivo. O seu argumento geral baseia-se no teste de projeção de comportamento de injúrias e em quatro evidências. Nesse sentido, se é verdade que injúrias raciais não são expressões com conteúdo puramente (...) descritivo, então, elas são expressões com conteúdo puramente expressivo. É verdade que injúrias raciais não são expressões com conteúdo puramente descritivo. Portanto, elas são expressões com conteúdo puramente expressivo. Neste artigo, apresento um contraexemplo à tese expressivista pura. Desse modo, argumento que não é o caso que injúrias são semanticamente diferentes de termos descritivos, pois elas são analisáveis semanticamente. (shrink)

When dealing with ‘meaning’ or related notions, one cannot ignore what for a long time was the dominant paradigm in semantics. According to such paradigm, truth-conditional formal semantics for natural language is a theory of semantic competence. In this article, I shall discuss a foundational problem for such semantic program. I shall first be following authors who claim that truth-conditional formal semantics is unable to provide a complete account of lexical competence, and, therefore, it suffers from incompleteness. Moreover, as a (...) few authors observed, a coherent completion of lexical meaning/competence cannot be easily provided in the philosophical framework of truth-conditional semantics. The problem is a consequence of Kripke’s and Putnam’s arguments against the view that semantic values of words are cognitively determined. I shall argue that these arguments undermine the notion that formal semantics can be, at the same time, a theory of truth-conditions and a theory of semantic competence. I shall outline and critically discuss two general attempts to solve this problem, which I shall refer to as the social/ideal route and the concepts route. The conclusions of the article are deliberately open. I shall argue that both these attempts are exposed to conceptual troubles and counterintuitive consequences, and so the lexical problem still remains a deep and unresolved issue for semantics. (shrink)

The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the ‘nature’, if any, of truth. The latter concerns itself largely with logic, particularly logical issues arising from the truth-theoretic paradoxes. Where, if at all, do these two paths meet? It may seem, and it is all too often assumed, that they do not meet, or at best touch in only incidental ways. It is (...) often assumed that work on the metaphysics of truth need not pay much attention to issues of paradox and logic; and it is likewise assumed that work on paradox is independent of the larger issues of metaphysics. Philosophical work on truth often includes a footnote anticipating some resolution of the paradox, but otherwise tends to take no note of it. Likewise, logical work on truth tends to have little to say about metaphysical presuppositions, and simply articulates formal theories, whose strength may be measured, and whose properties may be discussed. In practice, the paths go their own ways. Our aim in this paper is somewhat modest. We seek to illustrate one point of intersection between the paths. Even so, our aim is not completely modest, as the point of intersection is a notable one that often goes unnoticed. We argue that the ‘nature’ path impacts the logic path in a fairly direct way. What one can and must say about the logic of truth is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth. In particular, when it comes to saying what the well-known Liar paradox teaches us about truth, background conceptions — views on ‘nature’ — play a significant role in constraining what can be said. This paper, in rough outline, first sets out some representative ‘nature’ views, followed by the ‘logic’ issues (viz., paradox), and turns to responses to the Liar paradox. What we hope to illustrate is the fairly direct way in which the background ‘nature’ views constrain — if not dictate — responses to the main problem on the ‘logic’ path.. (shrink)

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...

This article defends the view that having a language just is knowing how to engage in communication with it. It also argues that, despite claims to the contrary, this view is compatible and complementary with the Chomskyan conception of language on which humans have languages in virtue of being in brain states realizing tacit knowledge of grammars for those languages.

In this article, I defend an account of linguistic comprehension on which meaning is not cognized, or on which we do not tacitly know our language's semantics. On this view, sentence comprehension is explained instead by our capacity to translate sentences into the language of thought. I explain how this view can explain our capacity to correctly interpret novel utterances, and then I defend it against several standing objections.

In this paper, I outline and defend a novel approach to alethic pluralism, the thesis that truth has more than one metaphysical nature: where truth is, in part, explained by reference, it is relational in character and can be regarded as consisting in correspondence; but where instead truth does not depend upon reference it is not relational and involves only coherence. In the process, I articulate a clear sense in which truth may or may not depend upon reference: this involves (...) distinguishing semantic denotation from pragmatic speaker reference and claiming that there may or may not exist a metasemantic connection between these two notions. Finally, I argue that reference is not in general inscrutable—that this metasemantic connection does exist in the case of our ordinary discourse about present macroscopic concrete objects—but that it is in pure mathematics, where reference cannot be secured, and which therefore plays no role in accounting for truth. In this manner, alethic pluralism is upheld. (shrink)

This paper develops a puzzle about non-merely-verbal disputes. At first sight, it would seem that a dispute over the truth of an utterance is not merely verbal only if there is a proposition that the parties to the dispute take the utterance under dispute to express, which one of the parties accepts and the other rejects. Yet, as I argue, it is extremely rare for ordinary disputes over an utterance’s truth to satisfy this condition, in which case non-merely verbal disputes (...) are extremely rare. After examining various responses to the puzzle, I outline a solution using the framework of truthmaker semantics. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

This chapter argues that the only tenable unconscious inferences theories of cognitive achievement are ones that employ a theory internal technical notion of representation, but that once we give cash-value definitions of the relevant notions of representation and inference, there is little left of the ordinary notion of representation. We suggest that the real value of talk of unconscious inferences lies in (a) their heuristic utility in helping us to make fruitful predictions, such as about illusions, and (b) their providing (...) a high-level description of the functional organization of subpersonal faculties that makes clear how they equip an agent to navigate its environment and pursue its goals. (shrink)

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. First, (...) there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (shrink)

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

A compositional theory of perceptual representations would explain how the accuracy conditions of a given type of perceptual state depend on the contents of constituent perceptual representations and the way those constituents are structurally related. Such a theory would offer a basic framework for understanding the nature, grounds, and epistemic significance of perception. But an adequate semantics of perceptual representations must accommodate the holistic nature of perception. In particular, perception is replete with context effects, in which the way one perceptually (...) represents one aspect of a scene (including the position, size, orientation, shape, color, motion, or even unity of an object) normally depends on how one represents many other aspects of the scene. The ability of existing accounts of the semantics of perception to analyze context effects is at best unclear. Context effects have even been thought to call into question the very feasibility of a systematic semantics of perception. After outlining a compositional semantics for a rudimentary set of percepts, I draw on empirical models from perceptual psychology to show how such a theory must be modified to analyze context effects. Context effects arise from substantive constraints on how perceptual representations can combine and from the different semantic roles that perceptual representations can have. I suggest that context effects are closely tied to the objectivity of perception. They arise from a perceptual grammar that functions to facilitate the composition of reliably accurate representations in an uncertain but structured world. (shrink)

This dissertation argues for Semantic Variance, the thesis that nearly every utterance is such that there is no proposition that more than one languge user takes to be that utterance's truth-conditional content. I argue that Semantic Variance is problematic for standard theories concerning the nature of communication, the epistemic significance of ordinary disputes, the semantics of speech reports, and the nature of linguistic competence. In response to the problems arising from the truth of Semantic Variance, I develop new accounts of (...) the transmission of relevant information, ordinary disputes, and the semantics of speech reports. Towards the end of the dissertation I outline a pluralistic account about the nature of communication and linguistic competence. (shrink)

We work with a large spatialized array of individuals in an environment of drifting food sources and predators. The behavior of each individual is generated by its simple neural net; individuals are capable of making one of two sounds and are capable of responding to sounds from their immediate neighbors by opening their mouths or hiding. An individual whose mouth is open in the presence of food is “fed” and gains points; an individual who fails to hide when a predator (...) is present is “hurt” by losing points. Opening mouths, hiding, and making sounds each exact an energy cost. There is no direct evolutionary gain for acts of cooperation or “successful communication” per se. In such an environment we start with a spatialized array of neural nets with randomized weights. Using standard learning algorithms, our individuals “train up” on the behavior of successful neighbors at regular intervals. Given that simple setup, will a community of neural nets evolve a simple language for signaling the presence of food and predators? With important qualifications, the answer is “yes.” In a simple spatial environment, pursuing individualistic gains and using partial training on successful neighbors, randomized neural nets can learn to communicate. (shrink)