Select Language

2/3/13

Computing Reviews, the leading online review service for computing literature.

Search Universal logic : an anthology : from Paul Hertz to Dov Gabbay Béziau J., Springer­Verlag, New York, NY, 2012. 428 pp.  Type: Book (978­3­034601­44­3) Date Reviewed: Jul 9 2012 The quest for common ground in the expression of logical statements­­regardless of the given syntax, semantics, or grammar­­has taken the best efforts of notable logicians throughout the 20th century. This book gathers a collection of some of the most notable of their works. Its structure is chronological, but it is not merely a book on the history of universal logic. Each major work is discussed by eminent contemporary researchers, providing context on why a particular idea in logic came into existence. For example, Rougier’s 1941 work on logical pluralism is discussed by Marion, who traces the context of origin of this work to Lewis’ alternative systems of logic, or Carnap’s logical syntax of language, around the mid­1930s. This leads to the question of whether it is possible to lead away from logical monism, and instead embrace the possibility of different logical systems, which, though free, are not arbitrary, since they must comply with the domain of facts to which the research is relevant. Dana Scott’s discussion on completeness and axiomatizability in many­valued logics is tackled by Humberstone, who argues that it is actually a “finitized” version of the multiple­conclusion logics, inspired by the logics of Łukasiewicz. Other major works either discussed or mentioned include those of Russell and Whitehead (from Principia), Gödel, and Dov Gabbay (his 1996 work seeking to combine logical systems, which is relevant for software engineering).

 

 

Mathematical Logic

  (F.4.1 )

Deduction And

  Theorem Proving (I.2.3 )

   

I highly recommend this book to logicians, mathematicians working on provability theory, and software engineers.

Reviewer:  Arturo Ortiz­Tapia

Review #: CR140350 (1211­1108)

Would you recommend this review?

 

yes

 

no

 

Other reviews under "Mathematical Logic":

Date

Mathematical logic for computer science (3rd ed.) Ben­Ari M.,  Springer Publishing Company, Incorporated, New York, NY, 2012. 361 pp. Type: Book (978­1­ 447141­28­0)

Jan 15 2013

A canonical locally named representation of binding Pollack R., Sato M., Ricciotti W.  Journal of Automated Reasoning 49(2): 185­207, 2012. Type: Article

Dec 18 2012

Logic: the laws of truth Smith N.,  PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2012. 576 pp. Type: Book (978­0­691151­63­2)

Dec 4 2012

more... E­Mail This  

Select Language

 

Printer­Friendly

  Powered by 

www.computingreviews.com/review/review_review.cfm?review_id=140350

Translate

1/2

2/3/13

Computing Reviews, the leading online review service for computing literature.

Select Language

  Powered by 

Translate

Reproduction in whole or in part without permission is prohibited.   Copyright © 2000­2013 ThinkLoud, Inc.  Terms of Use | Privacy Policy

www.computingreviews.com/review/review_review.cfm?review_id=140350

2/2