Modern Logic
A Text in Elementary Symbolic Logic
- Publisher's listprice GBP 148.99
-
67 268 Ft (64 065 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 6 727 Ft off)
- Discounted price 60 541 Ft (57 659 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
67 268 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher OUP USA
- Date of Publication 7 April 1994
- ISBN 9780195080292
- Binding Paperback
- No. of pages416 pages
- Size 234x165x15 mm
- Weight 658 g
- Language English
- Illustrations line illustrations 0
Categories
Short description:
Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facility with formal procedures.
MoreLong description:
Modern Logic is a text designed for a first course in symbolic logic for students in philosophy, mathematics, computer science, or linguistics. The book covers classical sentential logic, monadic predicate logic, and full first-order logic with identity, in three separate sections. Modern Logic's natural deduction system will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis throughout is to give the student a thorough understanding of the concepts rather than just a facility with formal procedures.
MoreTable of Contents:
Introduction
Part I: Classical Sentential Logic
What is logic?
First steps in symbolization
Semantics for sentential logic
Part II: Monadic Predicate Logic
Predication and quantification in English
Validity and provability in monadic predicate logic
Part III: First-Order Logic with Identity
Advanced symbolizations
Validity and provability in first-order logic with identity
Part IV: Extensions and Alternatives
An extension to classical logic: Modal logic
Alternatives to classical logic (I): Intuitionism
Alternatives to classical logic (II): Fuzzy logic
Solutions to selected exercises
Bibliography
Index
