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.

How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Copyright © Libri GmbH. All rights reserved.

An introduction to natural language semantics that offers an overview of the empirical domain and an explanation of the mathematical concepts that underpin the discipline. This textbook offers a comprehensive introduction to the fundamentals of those approaches to natural language semantics that use the insights of logic. Many other texts on the subject focus on presenting a particular theory of natural language semantics. This text instead offers an overview of the empirical domain (drawn largely from standard descriptive grammars of English) as well as the mathematical tools that are applied to it. Readers are shown where the concepts of logic apply, where they fail to apply, and where they might apply, if suitably adjusted. The presentation of logic is completely self-contained, with concepts of logic used in the book presented in all the necessary detail. This includes propositional logic, first order predicate logic, generalized quantifier theory, and the Lambek and Lambda calculi. The chapters on logic are paired with chapters on English grammar. For example, the chapter on propositional logic is paired with a chapter on the grammar of coordination and subordination of English clauses; the chapter on predicate logic is paired with a chapter on the grammar of simple, independent English clauses; and so on. The book includes more than five hundred exercises, not only for the mathematical concepts introduced, but also for their application to the analysis of natural language. The latter exercises include some aimed at helping the reader to understand how to formulate and test hypotheses.

This text offers an innovative approach to the teaching of logic, which is rigorous but entirely non-symbolic. By introducing students to deductive inferences in natural language, the book breaks new ground pedagogically. Cannon focuses on such topics as using a tableaux technique to assess inconsistency; using generative grammar; employing logical analyses of sentences; and dealing with quantifier expressions and syllogisms. An appendix covers truth-functional logic.

The Logic of Our Language teaches the practical and everyday application of formal logic. Rather than overwhelming the reader with abstract theory, Jackson and McLeod show how the skills developed through the practice of logic can help us to better understand our own language and reasoning processes. The authors’ goal is to draw attention to the patterns and logical structures inherent in our spoken and written language by teaching the reader how to translate English sentences into formal symbols. Other logical tools, including truth tables, truth trees, and natural deduction, are then introduced as techniques for examining the properties of symbolized sentences and assessing the validity of arguments. A substantial number of practice questions are offered both within the book itself and as interactive activities on a companion website.

"The idea that prompted the conferenee for which many of these papers were written, and that inspired this book, is stated in the Editorial Introduction reprinted below from Volume 21 of Synthese. The present volume contains the artieles in Synthese 21, Numbers 3-4 and Synthese 22, Numbers 1-2. In addition, it ineludes new papers by Saul Kripke, James McCawley, John R. Ross, and Paul Ziff, and reprints 'Grammar and Philosophy' by P. F. Strawson. Strawson's artiele first appeared in the Proceedings of the Aristotelian Society, Volume 70, and is reprinted with the kind permission of the author and the Aristotelian Society. We also repeat our thanks to the Olivetti Companyand Edizione di Comunita of Milan for permission to inelude the paper by Dana Scott; it also appeared in Synthese 21. DONALO DAVIDSON GILBERT HARMAN EDITORIAL INTRODUCTION The success of linguistics in treating naturallanguages as formal syntactic systems has aroused the interest of a number of linguists in a paralleI or related development of semantics. For the most part quite independ ently, many philosophers and logicians have reeently been applying formai semantic methods to structures increasingly like naturallanguages. While differenees in training, method and vocabulary tend to veil the fact, philosophers and linguists are converging, it seerns, on a common set of interrelated probiems. Sinee philosophers and linguists are working on the same, or very similar, probiems, it would obviously be instructive to compare notes." --