Product Description

Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, and others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy.

This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as a graduate text, the first three chapters can easily be read by undergraduates interested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications of formalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view towards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and related topics.

The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gödel’s Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text. Each section of the seven chapters ends with exercises some of which of importance for the text itself. There are hints to most of the exercises in a separate file Solution Hints to the Exercises which is not part of the book but is available from the author’s website.

Customer Reviews (2)

Complete and demanding
For a motivated student, the best way to learn logic - in my opinion - is to study this book of Prof. Rautenberg. Thanks to a clever path through the subject of logic, the maximum result is obtained with the minimum effort. Every theorem is stated in the most general form and each proof appears to be the best.
This is neither a quick introduction nor an easy book, rather a dense and complete introduction to logic, demanding time and good will for a rewarding result.

The best intro to logic to-date
This is the best introductory text in logic available. It only lacks a coverage of set theory, and I advise the author to include it as chapter 4 of the third edition. ... Read more

Product Description
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. He invented the notion of an Abstract Elementary Class to give a unifying semantic account of theories in first-order, infinitary logic and with some generalized quantifiers. Zilber developed similar techniques of infinitary model theory to study complex exponentiation. This book provides the first unified and systematic exposition of this work. The many examples stretch from pure model theory to module theory and covers of Abelian varieties. Assuming only a first course in model theory, the book expounds eventual categoricity results (for classes with amalgamation) and categoricity in excellent classes. Such crucial tools as Ehrenfeucht-Mostowski models, Galois types, tameness, omitting-types theorems, multi-dimensional amalgamation, atomic types, good sets, weak diamonds, and excellent classes are developed completely and methodically. The (occasional) reliance on extensions of basic set theory is clearly laid out. The book concludes with a set of open problems. ... Read more

Product Description
The 1970s saw the appearance and development in categoricity theory of a tendency to focus on the study and description of uncountably categorical theories in various special classes defined by natural algebraic or syntactic conditions. There have thus been studies of uncountably categorical theories of groups and rings, theories of a one-place function, universal theories of semigroups, quasivarieties categorical in infinite powers, and Horn theories. In Uncountably Categorical Theories, this research area is referred to as the special classification theory of categoricity. Zilber's goal is to develop a structural theory of categoricity, using methods and results of the special classification theory, and to construct on this basis a foundation for a general classification theory of categoricity, that is, a theory aimed at describing large classes of uncountably categorical structures not restricted by any syntactic or algebraic conditions. ... Read more

Product Description
This digital document is an article from Science and Its Times, brought to you by Gale®, a part of Cengage Learning, a world leader in e-research and educational publishing for libraries, schools and businesses.The length of the article is 926 words.The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase.You can view it with any web browser.The histories of science, technology, and mathematics merge with the study of humanities and social science in this interdisciplinary reference work. Essays on people, theories, discoveries, and concepts are combined with overviews, bibliographies of primary documents, and chronological elements to offer students a fascinating way to understand the impact of science on the course of human history and how science affects everyday life. Entries represent people and developments throughout the world, from about 2000 B.C. through the end of the twentieth century. ... Read more

Product Description
The book collects results about realization spaces of polytopes. It gives a presentation of the author's "Universality Theorem for 4-polytopes". It is a comprehensive survey of the important results that have been obtained in that direction. The approaches chosen are direct and very geometric in nature. The book is addressed to researchers and to graduate students. The former will find a comprehensive source for the above mentioned results. The latter will find a readable introduction to the field. The reader is assumed to be familiar with basic concepts of linear algebra. ... Read more

Product Description
This digital document is a journal article from Studies in History and Philosophy of Modern Physics, published by Elsevier in . The article is delivered in HTML format and is available in your Amazon.com Media Library immediately after purchase. You can view it with any web browser.

Description:
Einstein's philosophy of physics (as clarified by Fine, Howard, and Held) was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed objectification, and thereby ''physical thought'' and ''physical laws', to be impossible. Bohr's philosophy (as elucidated by Hooker, Scheibe, Folse, Howard, Held, and others), on the other hand, was grounded in a seemingly different doctrine about the possibility of objective knowledge, namely the necessity of classical concepts. In fact, it follows from Raggio's Theorem in algebraic quantum theory that-within an appropriate class of physical theories-suitable mathematical translations of the doctrines of Bohr and Einstein are equivalent. Thus-upon our specific formalization-quantum mechanics accommodates Einstein's Trennungsprinzip if and only if it is interpreted a la Bohr through classical physics. Unfortunately, the protagonists themselves failed to discuss their differences in this constructive way, since their debate was dominated by Einstein's ingenious but ultimately flawed attempts to establish the ''incompleteness'' of quantum mechanics. This aspect of their debate may still be understood and appreciated, however, as reflecting a much deeper and insurmountable disagreement between Bohr and Einstein about the knowability of Nature. Using the theological controversy on the knowability of God as a analogy, we can say that Einstein was a Spinozist, whereas Bohr could be said to be on the side of Maimonides. Thus Einstein's off-the-cuff characterization of Bohr as a 'Talmudic philosopher' was spot-on. ... Read more