Logical Form in Natural Language clearly explains and defends the truth-theoretic method in semantics first developed by Donald Davidson to analyze logical forms of sentences of natural language.

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfill two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language.

Directionality and Logical Form provides a detailed treatment of the syntax of focusing particles, such as only and even in a cross-linguistic perspective. The derivation of logical forms is shown to be under the control, not only of the ECP and subjacency, but also of directionality of government and the particular word-order parameter that holds in a given language: head-final languages systematically disallow certain derivations or readings that are available in head-initial languages. The reason is that heads that deviate in their selection properties from canonical head-finality project a directionality barrier. Various strategies are explored by which this barrier can be circumvented. Although the theory is developed mainly on the basis of the head position in German, it can be directly used to explain constraints on the scope of Wh-in-situ in Bengali and closely related languages. Audience: Syntacticians and semanticists interested in parametric variation, as well as linguists working on Germanic and/or Indo-Aryan languages.

One of the central issues of analytic philosophy and especially the theory of language is the concept of logical form. As typically understood this concept covers investigations into universal logical features underlying languages. However, from Frege and Russell onwards logical form analysts were no longer confined to such narrow linguistic perspectives. For them, investigating the logical form of language took the wider philosophical perspective of trying to understand language as our principal means for representing the world. From Russell's theory of definite descriptions to Davidson's truth-theoretical analyses of adverbial modification, citation, and reported speech, to lay open the logical structures underlying language is seen as a way of revealing the structure and features of the thereby represented world. Seventeen specially written essays by eminent philosophers and linguists appear for the first time in this anthology. Logical Form and Language brings together exciting new contributions from diverse points of view, which illuminate the lively current debate about this topic.

Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.