# Search Results for "metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic"

## Metalogic

*An Introduction to the Metatheory of Standard First Order Logic*

**Author**: Geoffrey Hunter**Publisher:**Univ of California Press**ISBN:**9780520023567**Category:**Science**Page:**288**View:**9145

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.

## Metalogic

*An Introduction to the Metatheory of Standard First Order Logic*

**Author**: N.A**Publisher:**Macmillan International Higher Education**ISBN:**1349154288**Category:****Page:**288**View:**819

## First-order Logic

*An Introduction*

**Author**: Leigh S. Cauman**Publisher:**Walter de Gruyter**ISBN:**9783110157666**Category:**Philosophy**Page:**343**View:**5885

An introduction to principles and notation of modern symbolic logic, for those with no prior courses. The structure of material follows that of Quine's Methods of Logic, and may be used as an introduction to that work, with sections on truth-functional logic, predicate logic, relational logic, and identity and description. Exercises are based on problems designed by authors including Quine, John Cooley, Richard Jeffrey, and Lewis Carroll. Annotation copyrighted by Book News, Inc., Portland, OR

## An Introduction to Metalogic

**Author**: Aladdin M. Yaqub**Publisher:**Broadview Press**ISBN:**1554811716**Category:**Philosophy**Page:**344**View:**1633

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.

## Introduction to Logic

**Author**: Patrick Suppes**Publisher:**Courier Corporation**ISBN:**0486138054**Category:**Mathematics**Page:**336**View:**6100

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

## An Introduction to Formal Logic

**Author**: Peter Smith**Publisher:**Cambridge University Press**ISBN:**9780521008044**Category:**Mathematics**Page:**357**View:**7649

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

## The Blackwell Guide to Philosophical Logic

**Author**: Lou Goble**Publisher:**Wiley-Blackwell**ISBN:**9780631206927**Category:**Philosophy**Page:**510**View:**1739

This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts. The chapters, written especially for this volume by internationally distinguished logicians, philosophers, computer scientists and linguists, provide comprehensive studies of the concepts, motivations, methods, formal systems, major results and applications of their subject areas. The Blackwell Guide to Philosophical Logic engages both general readers and experienced logicians and provides a solid foundation for further study.

## A Companion to Philosophical Logic

**Author**: Dale Jacquette**Publisher:**John Wiley & Sons**ISBN:**1405149949**Category:**Philosophy**Page:**832**View:**1498

This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.

## Philosophical Semantics and Term Meaning

**Author**: Charles Schlee**Publisher:**Xlibris Corporation**ISBN:**1469126486**Category:**Reference**Page:**124**View:**6256

In this book the author presents a meanings-as-entities view of term meaning utilizing set theory. In doing so the author discusses limitations of customary formal semantic theories, argues for the primacy of term meaning, provides an account of analyticity based on synonymy, discusses possible-worlds semantics, provides a defense of our traditionaland common-senseview of meanings as entities, and sketches an approach to bridging the gap between formal semantics and natural language. The author discusses the views of many philosophers, including Carnap, Donnellan, Hintikka, Kripke, Linsky, Quine, Russell, and Searle.

## Logic for Philosophy

**Author**: Theodore Sider**Publisher:**Oxford University Press, USA**ISBN:**N.A**Category:**Philosophy**Page:**289**View:**8742

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii)extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness,undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to dophilosophy.

## The Development of Logic

**Author**: William Calvert Kneale,Martha Kneale**Publisher:**Oxford University Press**ISBN:**9780198247739**Category:**Nature**Page:**761**View:**8936

The primary purpose of this book has not been to recount all that past scholars have said about the science, but rather to record the first appearances of those ideas which seem most important in the logic of our own day.

## In Contradiction

**Author**: Graham Priest**Publisher:**Oxford University Press**ISBN:**0199263299**Category:**Language Arts & Disciplines**Page:**327**View:**6796

Priest advocates and defends the view that there are true contradictions (dialetheism), a perspective that flies in the face of orthodoxy in Western philosophy since Aristole and remains at the centre of philosophical debate. This edition contains the author's reflections on developments since 1987.

## Classical Logic and Its Rabbit-Holes

*A First Course*

**Author**: Nelson P. Lande**Publisher:**Hackett Publishing**ISBN:**1624660452**Category:**Philosophy**Page:**504**View:**8742

"Many students ask, 'What is the point of learning formal logic?' This book gives them the answer. Using the methods of deductive logic, Nelson Lande introduces each new element in exquisite detail, as he takes students through example after example, proof after proof, explaining the thinking behind each concept. Shaded areas and appendices throughout the book provide explanations and justifications that go beyond the main text, challenging those students who wish to delve deeper, and giving instructors the option of confining their course to the basics, or expanding it, when they wish, to more rigorous levels. Lande encourages students to think for themselves, while at the same time providing them with the level of explanation they need to succeed. It is a rigorous approach presented in a style that is informal, engaging, and accessible. Students will come away with a solid understanding of formal logic and why it is not only important, but also interesting and sometimes even fun. It is a text that brings the human element back into the teaching of logic." --Hans Halvorson, Princeton University

## Everything and More: A Compact History of Infinity

**Author**: David Foster Wallace,Neal Stephenson**Publisher:**W. W. Norton & Company**ISBN:**0393339289**Category:**Mathematics**Page:**344**View:**8148

The bestselling author of "Infinite Jest" takes on the 2,000 year-old quest to understand infinity. Wallace brings his considerable talents to the history of one of math's most enduring puzzles: the seemingly paradoxical nature of infinity.

## Logic

**Author**: Paul Tomassi**Publisher:**Routledge**ISBN:**1134705913**Category:**Philosophy**Page:**432**View:**8124

Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains: * The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic including the Theory of Descriptions. Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.

## Beginning Logic

**Author**: E.J. Lemmon**Publisher:**CRC Press**ISBN:**9780412380907**Category:**Mathematics**Page:**240**View:**633

The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose soundness cannot be proved by propositional calculus are discussed, and it is shown how formalization can reveal the logical form of arguments. The final section of the book deals with the application of the predicate calculus as applied in various other fields of logic.

## Logic

*An Introductory Course*

**Author**: W.H. Newton-Smith**Publisher:**Routledge**ISBN:**1134949022**Category:**Philosophy**Page:**232**View:**7772

First published in 1985. Routledge is an imprint of Taylor & Francis, an informa company.

## An Introduction to Metalogic

**Author**: Aladdin M. Yaqub**Publisher:**Broadview Press**ISBN:**1770483810**Category:**Philosophy**Page:**300**View:**7464

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.

## Logical Options

*An Introduction to Classical and Alternative Logics*

**Author**: John L. Bell,David DeVidi,Graham Solomon**Publisher:**Broadview Press**ISBN:**1551112973**Category:**Philosophy**Page:**300**View:**1308

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work.