• RRP: £31.49
  • You Save: £3.50 (11%)
FREE Delivery in the UK.
In stock.
Dispatched from and sold by Amazon. Gift-wrap available.
Intermediate Logic has been added to your Basket

Dispatch to:
To see addresses, please
Please enter a valid UK postcode.
+ £2.80 UK delivery
Used: Good | Details
Sold by ediacarabooks
Condition: Used: Good
Comment: Cover design different from picture, same ISBN and publication date as shown. Text clean, light wear to page corners and edges, name written on title page. Some creasing and marks to cover, fading on spine. Next working day despatch.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Intermediate Logic Paperback – 9 Oct 1997

4.5 out of 5 stars 2 customer reviews

See all 4 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
"Please retry"
"Please retry"
"Please retry"
£25.58 £19.99
Note: This item is eligible for click and collect. Details
Pick up your parcel at a time and place that suits you.
  • Choose from over 13,000 locations across the UK
  • Prime members get unlimited deliveries at no additional cost
How to order to an Amazon Pickup Location?
  1. Find your preferred location and add it to your address book
  2. Dispatch to this address when you check out
Learn more
£27.99 FREE Delivery in the UK. In stock. Dispatched from and sold by Amazon. Gift-wrap available.
click to open popover

Frequently bought together

  • Intermediate Logic
  • +
  • Logic for Philosophy
Total price: £45.20
Buy the selected items together

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.

Product details

  • Paperback: 404 pages
  • Publisher: Oxford University Press, USA (9 Oct. 1997)
  • Language: English
  • ISBN-10: 0198751427
  • ISBN-13: 978-0198751427
  • Product Dimensions: 15.5 x 2.8 x 23.1 cm
  • Average Customer Review: 4.5 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Bestsellers Rank: 956,695 in Books (See Top 100 in Books)
  • If you are a seller for this product, would you like to suggest updates through seller support?

Product description


This textbook covers the fundamental proof-theoretical and model-theoretical aspects of classical propositional and first-order logic. . . .The book is clearly written and ideally suited for an intermediate course on the subject, requiring just some elementary knowledge of proof theory and model theory. (Mathematical Reviews)

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.

See all Product description

What other items do customers buy after viewing this item?

Customer Reviews

4.5 out of 5 stars
5 star
4 star
3 star
2 star
1 star
See both customer reviews
Share your thoughts with other customers

Top Customer Reviews

Format: Paperback
This book is exellent. If you've already undergone an elemtntary course in logic then buy this.
Clearly written, yet in no way dumbing down. It is obvious that a great deal of time was put into this wonderful book.
I started out with Lemmon's "Beginning Logic" which is superb and am now straight into this. All in all - wonderful stuff.
Comment 4 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Kindle Edition Verified Purchase
Makes a good workmanlike job of covering its subject matter but some sections are rather heavy going.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Most Helpful Customer Reviews on Amazon.com (beta) (May include reviews from Early Reviewer Rewards Program)

Amazon.com: 3.6 out of 5 stars 5 reviews
2 of 2 people found the following review helpful
5.0 out of 5 stars Great introduction to proof systems and metalogic for non-mathematicians 28 Jun. 2016
By Crake - Published on Amazon.com
Format: Paperback Verified Purchase
This is a great intermediary between the kind of introductory "baby logic" course on offer in most philosophy departments and books written in a more mathematical style. The book is "for philosophy students" in that it's aimed at non-mathematicians pursuing beyond-introductory logic, but it does not assume a philosophical background and is aimed at grounding further study of logic rather than discussing the philosophical payoffs or covering the topics most relevant to the nonformal areas of philosophy, a la Sider's 'Logic for Philosophy' or Steinheart's 'More Precisely: The Math You Need to Do Philosophy'.

Bostock's writing will seem dense and technical to anyone without much formal background, but it's really pretty expository compared to other presentations. Non-mathematics students will need to read slowly and carefully, but that's the nature of the material.
2 of 4 people found the following review helpful
2.0 out of 5 stars Unassailable Presentation Leaves Reader Baffled 11 Mar. 2014
By Nick Kramer - Published on Amazon.com
Format: Paperback Verified Purchase
While no one can fault Prof. Bostock's presentation in terms of rigor or thoroughness, his fear of example and tendency to present exclusively in the abstract may leave the average reader or self-learner scratching their head. The material is more or less the same as that presented in most introductory texts; it seem's this book's "intermediacy" comes from the difficulty of slugging through a sea of greek letters. Any historical background on the major logical players is entirely absent. All in all, it would perhaps be a better resource for a discussion of academic writing than a stand alone presentation of material.
23 of 24 people found the following review helpful
3.0 out of 5 stars Good for learning formal proof systems. 6 Feb. 2004
By Jason T - Published on Amazon.com
Format: Paperback
This is a book on symbolic logic intended for philosophy students. It covers propositional and predicate (first-order) logic and their proof systems. The title "Intermediate Logic" is pushing it- most people would consider the material introductory and the presentation is rather gentle. If you know what "conjunctive normal form" means then you're ready. More experienced readers can skip most of part 1.

Although the material is basic mathematical logic, it's not written in the style of math texts- Bostock doesnt describe things in terms of set theory or take for granted common mathematical terminology. The tone is descriptive and explanatory rather than formal and systematic. And there are a few philosophically-minded discussions about the relation of formal logic to real language. Math majors might find it a little verbose and soft on rigor, but its not sloppy- Bostock's proofs are clear and he is attentive to small details. What I liked most is that he often presents alternative ways of setting things up, and discusses the pros and cons of each choice.

Part I covers all the basic syntax and semantics of formal logic, and is no better or worse than most logic texts. Until the end of the book, the first-order logic used has no equality and no function signs, which simplifies things considerably. He decides upon a semantics that avoids formulas with free variables after a discussion of the other approach.

Part II (pg 139-321) is the meat of the book, and covers _four_ different formal proof systems in detail. Each is presented first for propositional logic and then extended to first-order logic. This section is clear and easy reading and there are quite a few examples. The systems given are:
1) Semantic Tableux. Completeness proofs are given. (For a more sophisticated presentation of tableaux see Smullyan's FOL).
2) Axiomatic (Hilbert-style). A lot of time is spent considering different axiom schemes and axiom independence. Completeness is shown for propositional logic- with a notably simple and direct proof.
3) Natural Deduction. A tree-style system is given and then collapsed into linear form.
4) Sequent Calculi. He shows how proofs in tableau or ND form can be easily adapted to different sequent systems. The completeness of tableaux thus gives completeness for the (cut-free Gentzen) sequent system, and with a little hand-waving completeness of natural deduction is also shown. Finally he gives a system (Kneale) is which branching occurs both upwards and downwards.

I'd recommend all beginning students of mathematical logic learn several proof systems. A lot of books present just the cumbersome Hilbert-style, rush through it in a race to the completeness theorem, and then discard formal proofs as too unwieldy. Learning the other systems too gives you a firmer grasp of working with predicate logic.

Part III briefly introduces equality and function signs into the logic, and then has a philosophically motivated discussion about allowing empty domains and names that dont reference anything.
8 of 11 people found the following review helpful
5.0 out of 5 stars An excellent upper-level undergrad treatment 10 Sept. 2001
By galloamericanus - Published on Amazon.com
Format: Paperback
This is an outstanding technical text. The author is a clear and engaging writer, with evident deep experience teaching university logic. While he does not overuse notation, this is still a fairly mathematical book (eg, repeated use is made of proof by induction). While the author tries hard, many of the definitions and semantic distinctions made in logic remain subtle (eg, "valid under all interpretations", "semantic versus syntactical turnstyles"). Perhaps the only drawback of this text is that the author spends no time on multi-valued or intuitionistic logics. That's not a criticism, in my view.
Logic, by which I mean the mathematics of truth functors and quantifiers, is a tool that ought to be better known and more widely used. Maybe Bostock will move us toward that goal.
6 of 8 people found the following review helpful
5.0 out of 5 stars An excellent logic book! 13 Oct. 2000
By Yair Aviv - Published on Amazon.com
Format: Paperback
I have enjoyed reading the book, and rereading some sections several times. It presents a very thorough treatment of the first-order logic semantics and of its most important proof systems. There is a very good comparison of these systems, and there are many wisely selected exercises.
Were these reviews helpful? Let us know