Model-theoretic semantics as model-based science

In the early days of natural language semantics, Donald Davidson issued a challenge to those, like Richard Montague, who would do semantics in a model-theoretic framework that gives a central role to a model-relative notion of truth. Davidson argued that no theory of this kind can claim to be an account of real truth conditions unless it first makes clear how the relativized notion relates to our ordinary non-relativized notion of truth. In the 1990s, Davidson's challenge was developed by Etchemendy into an argument against the model-theoretic account of logical consequence, one that also threatens the attempt to capture natural language entailment relations in modeltheoretic terms-one of the central desiderata of semantics. Nevertheless, the modeltheoretic framework has flourished within natural language semantics. But it has flourished without any consensus among semanticists as to how to answer Davidson's challenge. The aim of this essay is to develop an answer. I argue that model-theoretic semantics is best understood as model-based science: a semantics for a natural language is a scientific model of truth conditions. This makes good sense of the way model-theoretic tools are used in natural language semantics. And it allows us to answer Davidson's challenge by showing how a theory that employs a relativized notion of truth manages to tell us about ordinary truth conditions. Moreover, I argue that it helps us see how semantics can provide genuine explanations for natural language entailment and other truth-conditional phenomena

Understanding and philosophical methodology

According to Conceptualism, philosophy is an independent discipline that can be pursued from the armchair because philosophy seeks truths that can be discovered purely on the basis of our understanding of expressions and the concepts they express. In his recent book, The Philosophy of Philosophy, Timothy Williamson argues that while philosophy can indeed be pursued from the armchair, we should reject any form of Conceptualism. In this paper, we show that Williamson's arguments against Conceptualism are not successful, and we sketch a way to understand understanding that shows that there is a clear sense in which we can indeed come to know the answers to (many) philosophical questions purely on the basis of understanding

Front matter

Proceedings of the 12th Semantics and Linguistic Theory Conference, held March 8-10, 2002 at the University of California, San Diego, and San Diego State University, edited by Brendan Jackson

Logical Form: Classical Conception and Recent Challenges

The term "logical form" has been called on to serve a wide range of purposes in philosophy, and it would be too ambitious to try to survey all of them in a single essay. Instead, I will focus on just one conception of logical form that has occupied a central place in the philosophy of language, and in particular in the philosophical study of linguistic meaning. This is what I will call the classical conception of logical form. The classical conception, as I will present it in section 1, has (either explicitly or implicitly) shaped a great deal of important philosophical work in semantic theory. But it has come under fire in recent decades, and in sections 2 and 3 I will discuss two of the recent challenges that I take to be most interesting and significant