Gardazil Guido Voorde rated it liked it Feb 16, 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 yamut initially developed by Chomsky and its connection to types of automata. Logical Conjunction and Word Order 6. Arguments and Argument Schemata 4. Want to Read Currently Reading Read.

Author:JoJobar Mutaxe
Language:English (Spanish)
Published (Last):12 May 2007
PDF File Size:4.20 Mb
ePub File Size:9.29 Mb
Price:Free* [*Free Regsitration Required]

Start your review of Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar Write a review Shelves: logic , formal-science , formal-language , science , non-fiction , philosophy , philosophy-of-language , philosophy-of-logic , non-classic-logic , type-theory The second volume in a series of two on logic as a tool for formalizing language, meaning and arguments.

The first volume dealt with the fundamentals of propositional logic and predicate logic, but it did so in a very thorough way, presenting all the intricate details of the semantics of logics and the ways in which these logics could account for the richness of natural language, making it much more than a mere first introduction to logic.

After dealing with the main focus of classical logic, The second volume in a series of two on logic as a tool for formalizing language, meaning and arguments. After dealing with the main focus of classical logic, the first volume moved on to some more advanced logics such as second-order logic, and many-valued logic as well as the pragmatics of logical languages, but it is not until the second volume that we really encounter logics with a much higher expressive power and generality.

It starts with so called intensional logics in the form of modal logics and temporal logics and all the complications of having to deal with necessity and temporal aspects of sentences, making for a much more complex semantic framework.

The theory of types is subsequently extended into an intensional theory of types and finally a two-sorted theory of types capable of dealing with even intensionality without the special treatment found in the basic intensional theory of types.

Going into the details of all these complicated systems would go much beyond the scope of this short review, suffice it to say that the authors manage to cover an impressive range of subjects of logic focused around the ability to account for the richness of natural language in a formal framework, always guided by some basic principles of representing language as closely as possible to the way in which it is actually used, never letting philosophical principles come before empirical concerns to represent the grammar of natural language as it is; and of maintaining compositionality in translation, meaning the different parts of sentences should be translated separately and then combined into a complex translation of the complete original sentence through general rules of translation, something which is not really possible if even then until we reach the full power of the theory of types enriched with the lambda-operator.

After the presentation of all these systems of logic, the book concludes with two chapters: one presenting Montague grammar, a system of formal grammar based on the theory of types and categorial grammar with a thorough discussion of its ability to describe the grammar of natural language; and a final chapter dealing with some recent as of the writing of this book, in topics concerning quantifiers and semantics specifically: the theory of generalized quantifiers, flexible categorial grammar and discourse representation theory.

Consequently, the selection of logics treated is guided toward some logics rather than other and many interesting systems of logic are not detailed.

If one is looking for an overview of logics in general and the properties and characteristics of these, these books are not the best books to read. If, on the other hand one is looking for a presentation of logic as being closely tied to linguistics and wants a thorough discussion of the expressive powers of logics in terms of how good they are at representing the structure and meaning of sentenced and arguments in natural language through principled methods, this is an excellent couple of books.





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



Logic, Language, and Meaning




Related Articles