A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic logic to the clarification and axiomatization of theories in mathematics, physics, and biology. Hundreds of problems, examples, and exercises. 1958 edition.
| ||||||||||||
Book Description
Frequently Bought Together
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
41 of 43 people found the following review helpful:
4.0 out of 5 stars
A real bargain by a true master,
By galloamericanus "galloamericanus" (Podunk, Iowa) - See all my reviews
This review is from: Introduction to Symbolic Logic and Its Applications (Paperback)
Rudolf Carnap was one of the greatest philosophers of the 20th century, and the only student of Frege's worth thinking about. But what a student!
This is his intro text, a doubtful first text, but full of insight for those who already know some logic. Carnap trained as a mathematician; surprisingly, his text is of value mainly for philosophers. For instance, this is the ONLY undergrad logic text I know that grapples with the intension-extension dichotomy, with the Carnap-Morris syntax-semantics-pragmatics trichotomy. Metatheory is nonexistent, and Carnap's notion of proof is emphatically too casual for my taste. The book is also dated. In its treatment of first order logic, Carnap is a bit too loyal to Principia Mathematica. His axioms are a bit pedantic, a bit inelegant for my taste. (Quantified formulae are much easier to work with than Carnap and his contemporaries realized; all you need to do with quantified variables is to instantiate them! See the "main method" of Quine's Methods of Logic.) You won't learn any natural deduction, truth trees, or Gentzen sequents here. You most definitely won't learn anything about recursion. But the exposition incorporates thoughout Carnap's greatest discovery: his formal theory of semantics. You will also learn more about the logic of relations than you will in any other undergrad text. You will be given an idea of the mathematical power of logic (infinity, continuity, numbers). You will even be introduced to the lambda calculus, Alonzo Church's great discovery. Carnap was comfortable with the notion of a predicate letter like few logicians since. Part II of the book is without parallel anywhere: an introduction to a very wide range of axiomatic theories, presented as interesting applications of modern formal logic. This is a wonderful reference for ZF set theory, Peano axioms, Tarski's axioms for the reals, the Hausdorff- Bohnenblust axioms for topology, axioms for geometry, space-time, and mirabile dictu, even mereology. Other texts present at most the first 2 items on this list.
7 of 57 people found the following review helpful:
5.0 out of 5 stars
Carnap and Vienna Circle,
By A Customer
This review is from: Introduction to Symbolic Logic and Its Applications (Paperback)
Rudolf Carnap is the one of the most famous analytic philosophers of 20th Century and he is one of the leaders of Vienna Circle. Learning Symbolic Logic from this classical book would be enthusiastic
3 of 56 people found the following review helpful:
5.0 out of 5 stars
good books,
This review is from: Introduction to Symbolic Logic and Its Applications (Paperback)
It is my experience as a reader that good books are always books that have lots of examples because they make our understanding easier. Therefore, if this math book has examples in it, then it must mean it is very good.So I recommend that whenever you have a chance to see it that you buy it.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
38
books
cite this book:
See all 38 books citing this book
- Reasons for Action and the Law (LAW AND PHILOSOPHY LIBRARY Volume 43) by M.C. Redondo on page 3, and Back Matter
- The Music Theory of Godfrey Winham by Leslie David Blasius on page 18, and page 50
- Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning (Oxford Studies in Philosophy of Science) by Newton C. A. da Costa in Back Matter
- Math Proofs Demystified by Stan Gibilisco in Back Matter
- Logic in Linguistics (Cambridge Textbooks in Linguistics) by Jens Allwood in Back Matter
See all 38 books citing this book
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
