This is not your typical book on logic. The novel tone of this book is established by the author's desire for unity among the various logics which have been introduced to date. The basic questions addressed by this book are: "If logic is objective how come there are so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them?" Preface In answering these questions it becomes apparent that a major pre-occupation of the author lies with understanding and explaining the relationship between the truths of the logics, i.e. their theorems, and everyday reality and reasoning. In a nutshell the author develops and shares with the reader a process of abstraction from the natural language of everyday reasoning to a more formalized language of logic. This abstraction process is driven by the type of reasoning to be done. This basic process is responsible for the expanding collection of logics under study today. The author invites us to join him in exploring the underlying unity he is proposing as a basis for this abstraction process.
End of preview. The entire article is 3 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/book-review-semantic-foundations-of-logic-volume-1-propositional-D7iq0zAm1i
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Book review: Semantic Foundations of Logic Volume 1: Propositional Logics by Richard L. Epstein With assistance and collaboration of Walter A. Carnielli Itala, M. L. D'Ottaviano, Stanislav Krejewski, Roger D. Maddux (Kluwer Academic Publishers, 1990)
Reviewer-Truszkowski, Walt
Follow ACM SIGART Bulletin
, Volume 2 (2)
Association for Computing Machinery – Feb 1, 1991
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
