From
Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 3 August 2006
Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 3971080-75
A presentation of the fundamental ideas that generate the formal systems of predicate logic. This text clearly relates predicate logic to reasoning in ordinary language, with hundreds of examples of formalization, with a clear theory of how to formalize ordinary arguments. The writing is exceptionally clear and easy to read.
Review: "This book is for philosophers and researchers in artificial intelligence or natural language processing. It is dedicated to designing a foundation for as many logics as possible....can be worthwhile reading." --Computing Reviews"This book bridges a gap often felt by students of the humanities when starting with formal logic in the style of the usual textbook, and it intends to make the (hidden) relations of logic and language more transparent. . . .this is not an introduction to first-order logic as usual in mathematical logic, but an important supplement to such an introduction for the non-mathematician as well as for a philosophically minded mathematician."--Zentralblatt fur Mathematik und ihre Grenzgebiete Mathematics Abstracts"
Title: Predicate Logic : The Semantic Foundations ...
Publisher: Wadsworth
Publication Date: 2000
Binding: Soft cover
Condition: Good