Intermediate Logic

Paperback | August 1, 1997

byDavid Bostock

not yet rated|write a review
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 conceptand 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 different methods and approaches.In the first section, Bostock covers such fundamental notions as truth, validity, entailment, qualification, and decision procedures. Part Two lays out a definitive introduction 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 moveing from orthodox logic to an 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 mathematical logic.

Pricing and Purchase Info

$66.50

In stock online
Ships free on orders over $25

From Our Editors

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.

From the Publisher

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 conceptand term, ensuring that readers have a firm f...

From the Jacket

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.

David Bostock is at Merton College, Oxford.

other books by David Bostock

Platos `Phaedo
Platos `Phaedo

Paperback|Jun 1 1989

$74.95

Russells Logical Atomism
Russells Logical Atomism

Hardcover|May 19 2012

$105.00

see all books by David Bostock
Format:PaperbackDimensions:402 pages, 9.21 × 6.14 × 0.94 inPublished:August 1, 1997Publisher:Oxford University Press

The following ISBNs are associated with this title:

ISBN - 10:0198751427

ISBN - 13:9780198751427

Look for similar items by category:

Customer Reviews of Intermediate Logic

Reviews

Extra Content

From Our Editors

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.