Logic, Language, and Meaning, Volume 1: Introduction to Logic by L.T.F. Gamut

››› Download audio book for free. ‹‹‹ Original Title: Logic, Language, and Meaning, Volume 1 ISBN: 0226280853 ISBN13: 9780226280851 Autor: L.T.F. Gamut Rating: 3.6 of 5 stars (3811) counts Original Format: Paperback, 282 pages Download Format: PDF, DJVU, iBook, MP3. Published: December 15th 1990 / by University Of Chicago Press / (first published 1982) Language: English Genre(s): Philosophy- 9 users Nonfiction- 3 users Philosophy >Logic- 3 users Science- 2 users

Description: 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 nontruthconditional 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. L. T. F. Gamut is a collective pseudonym for J. F. A. K. van Benthem, professor of mathematical logic; J. A. G. Groenendijk, associate professor of philosophy and computational linguistics; D. H. J. de Jongh, associate professor of mathematics and philosophy; M. J. B. Stokhof, associate professor of philosophy and computational linguistics, all at the University of Amsterdam, and H. J. Verkuyl, professor of linguistics at the University of Utrecht.

About Author: L. T. F. Gamut was a collective pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Logic, Language and Meaning is one of the most authoritative and widely used graduate textbooks in formal semantics courses. [Source: ]

Other Editions:

- Logic, Language, and Meaning, Volume 1: Introduction to Logic (Hardcover)

Books By Author:

- Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar

- Logica, taal en betekenis, Boek I: Inleiding in de logica

- Introduccion a la Logica

Books In The Series: Related Books On Our Site:

Rewiews:

Jan 17, 2012 Leo Horovitz Rated it: it was amazing Shelves: philosophy, science, logic, non-fiction, philosophy-of-logic, philosophy-of-language, formal-science, favorites, formal-language An excellent book covering many different aspects of logic in an exhaustive manner. It is the first volume of two, with the somewhat misleading subtitle "Introduction to Logic". It should perhaps rather have been called "Introduction to a formal treatment of logic" or something along those lines. As a first book on logic, it is not a good choice. A word might be necessary on my use of the word "formal" here. Any treatment of logic is of course in a certain sense "formal". Arguments in natural la An excellent book covering many different aspects of logic in an exhaustive manner. It is the first volume of two, with the somewhat misleading subtitle "Introduction to Logic". It should perhaps rather have been called "Introduction to a formal treatment of logic" or something along those lines. As a first book on logic, it is not a good choice. A word might be necessary on my use of the word "formal" here. Any treatment of logic is of course in a certain sense "formal". Arguments in natural language are often translated as examples to illustrate the meaning of the logical constants. But this does not amount to a formal treatment of logic itself. This book explains the use of mathematical induction to prove things about formulas, which relies on a formal definition on the syntax of the language of logic, gives extensive treatments on logical semantics and goes into some discussions about the correspondence between the model theoretic (semantic) approach (Tarski's beautiful truth definition is there) and proof theoretic (syntactic) approach to logical inference. In this connection some metalogical results are explained. It is written with a strong linguistic focus. The ability of the formalisms to encode natural language is always a central issue, as opposed to the situation in more mathematically inclined books on logic where the translation of natural language sentences seems to often be more of a pedagogical thing. Towards the end, after the thorough treatment of classical logic, follows a few

chapters on some other topics, with a more brief treatment. A chapter on various extensions and deviations on classical logic along with an explanation of the motivations of these (again, translations of natural language sentences are in focus) comes first. Then follows one on the pragmatics on logic and language, and finally, a chapter on the formal theory of grammar with a very brief explanation of the language hierarchy initially developed by Chomsky and its connection to types of automata. This is an great text for the reader who already has a basic understanding of classical logic and wishes to delve a bit deeper, perhaps before getting into an even more formal treatment of logic in a course on metalogic (which is exactly what I'm about to do myself in about two weeks). 3 likes