§§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)

A sentence containing a number of definite descriptions, each lying within the scope of its predecessor, is naturally read as asserting the uniqueness of a sequence of objects satisfying the descriptions. The project of providing a general uniform procedure for eliminating embedded definite descriptions that gets this and other logical forms right is impeded by several puzzles.

(1) Every miner went to a meeting. It seems that (1) can mean either that there was one meeting that every miner went to, or that every miner went to at least one meeting with no guarantee that they all went to the same meeting. In the language of first-order logic we can represent these two readings as a matter of the universal and existential quantifiers having different scope with respect to each other.

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)

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)

This paper reexamines some examples, discussed by Mates and others, of sentences containing both definite descriptions and quantifiers. It has frequently been claimed that these sentences provide evidence for the view that definite descriptions themselves are quantifiers. The main goal of this paper is to argue this is not so. Though the examples are compatible with quantificational approaches to definite descriptions, they are also compatible with views that treat definite descriptions as basically scopeless. They thus provide no reason to see (...) definite descriptions as quantifiers. Even so, this paper shows that the examples do raise a surprising range of complex issues about how quantifier scope works, and where it occurs. Thus, a clear picture of how these examples work will help us to understand better where definite descriptions fit into the larger picture of quantifiers and related phenomena. (shrink)