An Introduction to Metalogic


Book Description

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems, covering many related topics in between.




Metalogic


Book Description

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.




Logic and Metalogic


Book Description




Introduction to Metalogic


Book Description




Introduction to Logic


Book Description

Introduction to Logic offers one of the most clear, interesting and accessible introductions to what has long been considered one of the most challenging subjects in philosophy. Harry Gensler engages students with the basics of logic through practical examples and important arguments both in the history of philosophy and from contemporary philosophy. Using simple and manageable methods for testing arguments, students are led step-by-step to master the complexities of logic. The companion LogiCola instructional program and various teaching aids (including a teacher's manual) are available from the book's website: www.routledge.com/textbooks/gensler_logic




Sets, Logic, Computation


Book Description

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.




Introduction to Logic


Book Description

Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, include: simpler ways to test arguments, including an innovative proof method and the star test for syllogisms; a wide scope of materials, suiting it for introductory or intermediate courses; engaging examples, from philosophy and everyday life; useful for self-study and preparation for standardized tests, like the LSAT; a reasonable price (a third the cost of some competitors); and exercises that correspond to the free LogiCola instructional program. This Third Edition: improves explanations, especially on areas that students find difficult; has a fuller explanation of traditional Copi proofs and of truth trees; and updates the companion LogiCola software, which now is touch friendly (for use on Windows tablets and touch monitors), installs more easily on Windows and Macintosh, and adds exercises on Copi proofs and on truth trees. You can still install LogiCola for free (from http://www.harryhiker.com/lc or http://www.routledge.com/cw/gensler).




Provability, Computability and Reflection


Book Description

Provability, Computability and Reflection




System Design Modeling and Metamodeling


Book Description

This book is a venture in the worlds of modeling and of metamodeling. At this point, I will not reveal to readers what constitutes metamodeling. Suf fice it to say that the pitfalls and shortcomings of modeling can be cured only if we resort to a higher level of inquiry called metainquiry and metadesign. We reach this level by the process of abstraction. The book contains five chapters from my previous work, Applied General Systems Theory (Harper and Row, London and New York, First Edition 1974, Second Edition 1978). More than ten years after its publication, this material still appears relevant to the main thrust of system design. This book is dedicated to all those who are involved in changing the world for the better. In a way we all are involved in system design: from the city manager who struggles with the problems of mass transportation or the consolidation of a city and its suburbs to the social worker who tries to provide benefits to the urban poor. It includes the engineer who designs the shuttle rockets. It involves the politician engaged in drafting a bill to recycle containers, or one to prevent pesticide contamination of our food. The politician might even need system design to chart his or her own re-election campaign.




Philosophy of Logic and Mathematics


Book Description

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Mühlhölzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Woleński and Richard Zach.