Author: Warren Goldfarb Publisher: Hackett Publishing ISBN: 1603845852 Category : Philosophy Languages : en Pages : 309
Book Description
This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.
Author: Graeme Forbes Publisher: Oxford University Press, USA ISBN: 9780195080292 Category : Computers Languages : en Pages : 397
Book Description
Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facilitywith formal procedures.
Author: Publisher: SUNY Press ISBN: 9781438408552 Category : Language Arts & Disciplines Languages : en Pages : 500
Book Description
Clear focus on its application of formal logic to ordinary English is the most distinctive feature of this textbook for the introductory course in deductive logic. Great care is taken with the appropriate translation into logical languages of ordinary English sentences. Evaluation of these translations promotes a more effective use of ordinary language. The Principles of Deductive Logic presents symbolic logic in a fuller and more leisurely fashion than other introductory textbooks. Early chapters cover informal material, including definition and informal fallacies. The remainder of the text is devoted to the treatment of four distinct artificial languages. The Categorical language is the language of syllogistic logic. The Extended Categorical language enriches this first language with the symbolic connectives for conjunction and negation. The Propositional Connective language and the First-Order language (with identity) are the two basic languages of modern logic. Each language is accompanied by a deductive system, and is used as an instrument for exploring ordinary language, including ordinary arguments The book contains a large number of exercises whose answers are supplied in the back of the book, and many more that can be assigned as homework. A solution's manual is available to instructors upon their request. The request must be written on college or university letterhead.
Author: James M. Henle Publisher: John Wiley & Sons ISBN: 1118078683 Category : Philosophy Languages : en Pages : 436
Book Description
Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site (www.wiley.com/go/henle) linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays
Author: W. D. Hart Publisher: Cambridge University Press ISBN: 1139491202 Category : Philosophy Languages : en Pages :
Book Description
Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent philosophers (and mathematicians) up to World War II. This book provides a selective, critical history of the collaboration between logic and philosophy during this period. After World War II, mathematical logic became a recognized subdiscipline in mathematics departments, and consequently but unfortunately philosophers have lost touch with its monuments. This book aims to make four of them (consistency and independence of the continuum hypothesis, Post's problem, and Morley's theorem) more accessible to philosophers, making available the tools necessary for modern scholars of philosophy to renew a productive dialogue between logic and philosophy.
Author: Alfred Tarski Publisher: Courier Corporation ISBN: 0486318893 Category : Mathematics Languages : en Pages : 271
Book Description
This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.
Author: Ian Mueller Publisher: Courier Dover Publications ISBN: Category : Mathematics Languages : en Pages : 404
Book Description
A survey of Euclid's Elements, this text provides an understanding of the classical Greek conception of mathematics and its similarities to modern views as well as its differences. It focuses on philosophical, foundational, and logical questions -- rather than focusing strictly on historical and mathematical issues -- and features several helpful appendixes.
Author: Peter Kreeft Publisher: St Augustine PressInc ISBN: 9781587318078 Category : Philosophy Languages : en Pages : 399
Book Description
Symbolic logic may be superior to classical Aristotelian logic for the sciences, but not for the humanities. This text is designed for do-it-yourselfers as well as classrooms.
Author: G. E. Hughes Publisher: Routledge ISBN: 1000737047 Category : Philosophy Languages : en Pages : 354
Book Description
Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.
Author: Warren Goldfarb
Author: Graeme Forbes
Author: 
Author: James M. Henle
Author: W. D. Hart
Author: Alfred Tarski
Author: Robert John Ackermann
Author: Ian Mueller
Author: Peter Kreeft
Author: G. E. Hughes