The meaning of definite descriptions (like ‘the King of France’, ‘the girl’, etc.) has been a central topic in philosophy and linguistics for the past century. Indefinites (‘Something is on the floor’, ‘A child sat down’, etc.) have been relatively neglected in philosophy, under the Russellian assumption that they can be unproblematically treated as existential quantifiers. However, an important tradition, drawing from Stoic logic, has pointed to patterns which suggest that indefinites cannot be treated simply as existential quantifiers. The standard (...) dynamic semantic treatment of those phenomena, however, has well-known problems with negation and disjunction. -/- In this paper I develop a new approach to (in)definites. On my theory, truth-conditions are classical. But in addition to truth-conditions, meanings comprise a second dimension of what I call bounds. It is at the level of bounds, not truth-conditions, that I locate the characteristically dynamic coordination between indefinites and definites. The resulting system thus has a classical logic. This approach avoids dynamic semantics’ logical problems, and, more generally, yields a new perspective on the relation between truth-conditional and dynamic effects in natural language. (shrink)

In the first half of this paper, we present a fragment of relational syllogisms named RELSYLL consisting of quantified statements with a special set of numerical quantifiers, and introduce a number of concepts that are useful for the later sections, including indirect reduction, quantifier transformations and equivalence of syllogisms. After determining the valid and invalid syllogisms in RELSYLL, we then introduce two Derivation Methods which can be used to derive valid relational syllogisms based on known valid simple syllogisms. We also (...) show that the two Methods are sound and complete for RELSYLL. In the second half of this paper, we discuss ways to extend the Derivation Methods, including the use of more valid syllogisms and the use of existential assumptions. In this way, we are able to derive more relational syllogisms that contain other types of non-classical quantifiers, including “only” and proportional quantifiers. Finally, we state and prove a proposition concerning the relationship between the two Methods. (shrink)