The Semantic Foundations of Logic: Predicate Logic v.2

The Semantic Foundations of Logic: Predicate Logic v.2

3.25 (4 ratings by Goodreads)
By (author) 

List price: US$75.00

Currently unavailable

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Description

The use of semantics in computation and logic is an important topic and one that is receiving increasing attention in journals and research. This volume covers all aspects of semantics and their applications to logic, describing formal semantics, truth tables and translations between logics. The text should be of interest to computer scientists working in logic and artificial intelligence and linguistics, philosophers, and applied mathematicians working in semantics and logic.show more

Product details

  • Hardback | 431 pages
  • 170.18 x 236.22 x 25.4mm | 725.74g
  • Oxford University Press Inc
  • New York, United States
  • English
  • 1 halftone, bibliography, index
  • 0195087607
  • 9780195087604

Review quote

"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"show more

Table of contents

1: Propositions and propositional logic. 2: The internal structure of propositions. 3: A formal language for predicate logic. 4: Semantics. 5: The logical form of a proposition. 6: Identity. 7: Quantifiers. 8: Descriptive names. 9: Functions. 10: Quantifying over predicates: Second-order logic. 11: Language, the world, and predicate logic. Appendices. Bibliography. Index of examples. Index of Notation. Indexshow more

Rating details

4 ratings
3.25 out of 5 stars
5 0% (0)
4 25% (1)
3 75% (3)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X