Cookies on oxfam

We use cookies to ensure that you have the best experience on our website. If you continue browsing, we’ll assume that you are happy to receive all our cookies. You can change your cookie settings at any time. Find out more Accept

  • Grows vegetables
  • Fills classrooms
  • Drills wells
  • Empowers women
  • Fights poverty
  • Free Uk delivery on all gifts
    Or you can add a donation at checkout
  • Personalise your gift at checkout
    Add a personal message, ecard or card front
  • Add a 'Little Extra' at checkout
    Add-on gifts available (including chocolate!)

Logic with trees

£9.99 Out Of Stock

Product description

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their progress. Logic With Trees equips students with * a complete and clear account of the truth-tree system for first order logic * the importance of logic and its relevance to many different disciplines * the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic * the ability to contest claims that ordinary' reasoning is well represented by formal first order logic The issues covered include a thorough discussion of truth-functional and full first order logic, using the truth-tree or semantic tableau approach. Completeness and Soundness proofs are given for both truth-functional and first order trees. Much use is made of induction, which is presented in a clear and consistent manner.;There is also discussion of alternative deductive systems, an introduction to transfinite numbers and categoricity, the Lowenhein-Skolem theories and the celebrated findings of Godel and Church. The book concludes with an account of Kripke's attempted solution of the liar paradox and a discussion of the weakness of truth-functional account of conditionals. Particularly useful to those who favour critical accounts of formal reasoning, it will be of interest to students of philosophy at first level and beyond and also students of mathematics and computer science.

Item details

Author(s):
Howson, Colin
Condition:
Used: very good
Format:
Paperback
ISBN-10:
0415133424
ISBN-13:
9780415133425
Number of pages:
0
Publisher:
Routledge
Title:
Logic with trees

Sold Out

We're sorry to say this item has now sold out.

There are over 100,000 more items in stock. Start browsing with our suggestions below.

About this item

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring informal explanations and arguments to intimidatingly rigorous development. Worked examples and excercises enable the readers to check their progress. Logic With Trees equips students with * a complete and clear account of the truth-tree system for first order logic * the importance of logic and its relevance to many different disciplines * the skills to grasp sophisticated formal reasoning techniques necessary to explore complex metalogic * the ability to contest claims that ordinary' reasoning is well represented by formal first order logic The issues covered include a thorough discussion of truth-functional and full first order logic, using the truth-tree or semantic tableau approach. Completeness and Soundness proofs are given for both truth-functional and first order trees. Much use is made of induction, which is presented in a clear and consistent manner.;There is also discussion of alternative deductive systems, an introduction to transfinite numbers and categoricity, the Lowenhein-Skolem theories and the celebrated findings of Godel and Church. The book concludes with an account of Kripke's attempted solution of the liar paradox and a discussion of the weakness of truth-functional account of conditionals. Particularly useful to those who favour critical accounts of formal reasoning, it will be of interest to students of philosophy at first level and beyond and also students of mathematics and computer science.

Author(s):
Howson, Colin
Condition:
Used: very good
Format:
Paperback
ISBN-10:
0415133424
ISBN-13:
9780415133425
Number of pages:
0
Publisher:
Routledge
Title:
Logic with trees

Delivery & returns

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is £3.95 per order, so you're only charged once no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

This item will be dispatched to UK addresses via second class post within 2 working days of receipt of your order. Standard UK delivery is currently free, no matter how many items you have in your basket. Any additional courier charges will be applied at checkout as they vary depending on delivery address.

You can find out more about delivery and returns in our help section.

We offer a no quibble returns policy as follows:

Wedding dresses: 14 days

Overseas returns: 31 days

Everything else: 21 days


This item is also available for international delivery by airmail, carrying a mandatory delivery charge of:

Europe: £4.70

Outside Europe: £7.00

Volunteer listed

Wonder how this unique item ended up online?

Most of the second-hand items you see online have been donated, by supporters like you, to our high street stores. Each item is then priced, photographed and listed on this site by our amazing team of volunteers from across the country.

After you have bought your item, our team of volunteers package and dispatch it from the Shop straight to you or your chosen recipient.

All profits from the sales of our goods go towards funding Oxfam's work around the world. We rely on your donations to sell online so please keep the cycle of goodness going!

To find out more about volunteering with Oxfam, please visit our how to volunteer page.

Oxfam Books & Music Bridport

The Bridport shop sells a wide variety of new and donated products, specializing in Books, Music and Children's items. We stock all kinds of recorded music, including classical, jazz, pop&rock, folk and much more. The shop plays an active part in the town's "Vinyl Saturday" quarterly record fair, drawing customers from near and far. The music team works tirelessly to ensure that the highest quality and widest range of stock is always available to customers and will happily try to locate specific titles when requested.

View Shop