Product Description: This book advances a reading of Wittgenstein’s Tractatus that moves beyond the main interpretative options of the New Wittgenstein debate. It covers Wittgenstein’s approach to language and logic, as well as other areas unduly neglected in the literature, such as his treatment of metaphysics, the natural sciences and value...read more

Product Description: This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results...read more

Product Description: Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis...read more

Product Description: Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields...read more

Product Description: Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually encountered at this level, such as the theory of solving cubic equations; Euler’s formula for the numbers of corners, edges, and faces of a solid object and the five Platonic solids; the use of prime numbers to encode and decode secret information; the theory of how to compare the sizes of two infinite sets; and the rigorous theory of limits and continuous functions...read more

"Chapter five is the shortest but the most interesting and helpful. I could see this as a book used for both a freshman seminar and a senior level capstone course . . . Students could use the book as a reference or exercises could be assigned from each chapter. I would also recommend this book to a senior math major planning on attending graduate school as a reference or for summer reading." Maa This book introduces students to the art and craft of writing proofs, beginning with the basics of writing proofs and logic, and continuing on with more in-depth issues and examples of creating proofs in different parts of mathematics, as well as introducing proofs-of-correctness for algorithms. The creation of proofs is covered for theorems in both discrete and continuous mathematics, and in difficulty ranging from elementary to beginning graduate level. Just beyond the standard introductory courses on calculus, theorems and proofs become central to mathematics. Students often find this emphasis difficult and new. This book is a guide to understanding and creating proofs. It explains the standard “moves” in mathematical proofs: direct computation, expanding definitions, proof by contradiction, proof by induction, as well as choosing notation and strategies.

Product Description: Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology...read more

Product Description: The study of NIP theories has received much attention from model theorists in the last decade, fuelled by applications to o-minimal structures and valued fields. This book, the first to be written on NIP theories, is an introduction to the subject that will appeal to anyone interested in model theory: graduate students and researchers in the field, as well as those in nearby areas such as combinatorics and algebraic geometry...read more

Product Description: The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility...read more

Product Description: Mathematical platonism is the view that mathematical statements are true of real mathematical objects like numbers, shapes, and sets. One central problem with platonism is that numbers, shapes, sets, and the like are not perceivable by our senses...read more

Provides information on location, recent history, industries, and population for each of over eight thousand important and sizeable nations, cities, towns, regions and topographical features around the world

Product Description: The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century...read more

Product Description: Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology...read more

Product Description: The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein...read more

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them.Introduction to Mathematical Logic includes:propositional logicfirst-order logicfirst-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarskiaxiomatic set theorytheory of computabilityThe study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.

Product Description: This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs...read more