The Elements of Formal Logic (Hardcover)

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided.

General

Imprint:	Routledge
Country of origin:	United Kingdom
Series:	Routledge Library Editions: Logic
Release date:	November 2019
First published:	1965
Authors:	G.E. Hughes • D. G. Londey
Dimensions:	216 x 138mm (L x W)
Format:	Hardcover
Pages:	416
ISBN-13:	978-0-367-42043-7
Categories:	Books > Science & Mathematics > Mathematics > Philosophy of mathematics Books > Science & Mathematics > Science: general issues > Philosophy of science Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-367-42043-0
Barcode:	9780367420437

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!