Opening book details…
Can I read 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) on EtoBox?
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) by Truszkowski, Walt is a Computer Science article available to read on EtoBox.
What is 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) about?
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.
Who reads 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)?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Truszkowski, Walt
- Publisher
- Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 0163-5719)
- Published
- 1991
- Language
- EN
- Field
- Computer Science (Physical Sciences)