This introduction to modern formal logic also contains discussions
on more philosophical issues, such as truth, conditionals and modal
logic. It presents the formal material using informal explanations
and arguments rather than rigorous development. Worked examples and
exercises enable readers to check their progress. The aim is to
equip 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 needed to grasp
sophisticated formal reasoning techniques necessary to explore
complex metalogic; and the ability to contest claims that
"ordinary" reasoning is well represented by formal first order
logic. The issues covered include 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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
