Intermediate Logic (Paperback)

Bostock

ISBN 10: 0198751427 / ISBN 13: 9780198751427

Published by Oxford University Press, Oxford, 1997

About this Item

Paperback. Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains each concept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of differentmethods and approaches. In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitiveintroduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi. The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'. Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematicallogic. Intermediate Logic offers a guide for students taking a second course in logic after completing a basic introduction. It will serve as a follow-up to any of the standard introductory texts, and will give preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Seller Inventory # 9780198751427

Bibliographic Details

• Title: Intermediate Logic (Paperback)
• Publisher: Oxford University Press, Oxford
• Publication Date: 1997
• Language: English
• ISBN 10: 0198751427
• ISBN 13: 9780198751427
• Binding: Paperback
• Condition: new

About this title

Synopsis

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding. The author introduces and explains each concept and term, ensuring readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches

From the Back Cover

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technical grounding.