Online research in philosophy

Definite descriptions (e.g. 'The king of France in 1997', 'The teacher of Aristotle') do not stand for particulars. Or so I will assume. The semantic alternative has seemed to be that descriptions only have meaning within sentences: i.e., that their semantic contribution is given syncategorimatically. This doesn't seem right, however, because descriptions can be used and understood outside the context of any sentence. Nor is this use simply a matter of "ellipsis." Since descriptions do not denote particulars, but seem to have a meaning in isolation, I propose that they be assigned generalized quantifiers as denotations — i.e. a kind of function, from sets/properties to propositions. I then defend the pragmatic plausibility of this proposal, using Relevance Theory. Specifically, I argue that, even taken as standing for generalized quantifiers, descriptions could still be used and understood in interpersonal communication.

Sentences whose semantic contents seem to differ in different contexts, in virtue of containing expressions of such sorts as the following (there may be others).

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes.

We characterize the generalized quantifiers Q which satisfy the scheme $QxQy\phi \leftrightarrow QyQx\phi$ , the so-called self-commuting quantifiers, or quantifiers with the Fubini property.

This paper develops the view presented in our 1997 paper "Varieties of Quotation". In the first part of the paper we show how phenomena such as scare-quotes, echoing and mimicry can be treated as what we call Speech Act Heuristics. We then defend a semantic account of mixed quotation. Along the way we discuss the role of indexicals in mixed quotation and the noncancelability of reference to words in mixed quotation. We also respond to some objections raised by Recanati, Saka, Stainton and Reimer.

It is widely believed that existential quantifiers can bring about the semantic effects of a scope which is wider than their actual syntactic scope (See Fodor & Sag (1982), Cresti (1995), Kratzer (1995), Reinhart (1995) and Winter (1995), among many others.) On the other hand, it is assumed that the syntactic scope of universal quantifiers can be determined unequivocally by the semantics. This paper shows that this second assumption is wrong; universal quantifiers can also bring about scope illusions, though in a very specific environment. In particular, we argue that in the environment of generic tense, universal quantifiers can show the semantic effects of a scope which is wider than the one that is actually realized at LF. Our argument has four steps. First, we show that in generic contexts, universal quantifiers escape standard “scope-islands” (Section 1). Second, we show how the effects of wide scope in generic contexts can be achieved without syntactic wide scope (Section 2.1). Third, we show that this result is actually forced on us, once we take seriously certain independent issues concerning the interpretation of generic tense (Sections 2.2 - 2.4). Finally, the semantics of generic tense and, in particular, its interaction with focus, will yield some intricate new predictions, which, as we show, are borne out (Sections 3 - 5).

Mixed quotation exhibits characteristics of both mention and use. Some even go so far as to claim it can be described wholly in terms of the pragmatics of language use. Thus, it may be argued that the observed shifting of indexicals under all quotation shows that a monstrous operator is involved. I will argue the opposite: a proper semantic account of quotation can be used to exorcize Schlenker's monsters from semantic theory.

This paper develops the view presented in our 1997 paper "Varieties of Quotation". In the first part of the paper we show how phenomena such as scare-quotes, echoing and mimicry can be treated as what we call Speech Act Heuristics. We then defend a semantic account of mixed quotation. Along the way we discuss the role of indexicals in mixed quotation and the noncancelability of reference to words in mixed quotation. We also respond to some objections raised by Recanati, Saka, Stainton and Reimer.

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.

Convergent realists desire scientific methods that converge reliably to informative, true theories over a wide range of theoretical possibilities. Much attention has been paid to the problem of induction from quantifier-free data. In this paper, we employ the techniques of formal learning theory and model theory to explore the reliable inference of theories from data containing alternating quantifiers. We obtain a hierarchy of inductive problems depending on the quantifier prefix complexity of the formulas that constitute the data, and we provide bounds relating the quantifier prefix complexity of the data to the quantifier prefix complexity of the theories that can be reliably inferred from such data without background knowledge. We also examine the question whether there are theories with mixed quantifiers that can be reliably inferred with closed, universal formulas in the data, but not without.