Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

Manley and Wasserman (2008) join the chorus of opposition to the possibility of conditional analysis of dispositions. But that score cannot be settled without more careful attention to the implicit philosophical methodology. Some of the opposition to such an analysis badly overestimates the effect of counterexamples, as if the Gettier example were sufficient to refute the possibility of conjunctive analysis of knowledge. A general objection to a form of analysis must satisfy a number of constraints, and Manley and Wasserman join (...) the chorus too in failing to satisfy them. Most significant is the optional presupposition that the conditional used in analysis will exhibit some sort of centring. We show that even a careful effort to repair and reform Manley and Wasserman's objection to provide a satisfactory argument requires, ultimately, appeal to centring. Worse, the particular positive proposal they offer is vulnerable to a minor variant of their own counterexample. (shrink)

The pattern of credences we are inclined to assign to counterfactuals challenges standard accounts of counterfactuals. In response to this problem, the paper develops a semantics of counterfactuals in terms of the epsilon-operator. The proposed semantics stays close to the standard account: the epsilon-operator substitutes the universal quantifier present in standard semantics by arbitrarily binding the open world-variable. Various applications of the suggested semantics are explored including, in particular, an explanation of how the puzzling credences in counterfactuals come about.