Logic and Structure
- ISBN-10
- 1447145577
- ISBN-13
- 9781447145578
- Series
- Logic and Structure
- Category
- Mathematics
- Pages
- 263
- Language
- English
- Published
- 2012-11-13
- Publisher
- Springer
- Author
- Dirk van Dalen
Description
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
Get the book
Other editions
Similar books
-
Logic and Structure
By SPRINGERLogic and Structure
-
The Logic of Information Structures
By Heinrich WansingThe Logic of Information Structures
-
The Structure of Aristotelian Logic
By James Wilkinson MillerThe primary consideration of the book is the inclusion of negative terms - obversion, contraposition etc. – within traditional logic by addressing three questions, of systematization, the rules, and the interpretation.
-
Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach
By Bruno Courcelle, Joost EngelfrietIn this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years.
-
Computer Structure and Logic
By Scott Mueller, Mark Edward Soper, Dave ProwseComputer Structur Logi_1 David L. Prowse, Mark Edward Soper, Scott Mueller. Warning and Disclaimer Every effort ... Bulk Sales Pearson offers excellent discounts on this book when ordered in quantity for bulk purchases or special sales.
-
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
By Robert L. CarpenterThis book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs and feature-structures of unification-based grammars to include inheritance, typing, ...
-
Discrete Structures, Logic, and Computability
By James L. HeinDiscrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability.
-
Handbook of Quantum Logic and Quantum Structures: Quantum Logic
By Dov M. Gabbay, Daniel Lehmann, Kurt EngesserIn R. Port and T. van Gelder, editors, Mind as Motion: Explorations in the Dynamics of Cognition, pages 121–147. ... Agenda Relevance: A Study in Formal Pragmatics, volume 1 of A Practical Logic of Cognitive Systems.
-
Language in Action: Categories, Lambdas and Dynamic Logic
By Johan van BenthemThis is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic.
-
Well-structured Mathematical Logic
By Damon ScottFrom the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs.