The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this authoritative book explores both formal and philosophical logic, and the ways in which we can achieve good reasoning. Individual chapters include:Propositions and ArgumentsTruth TablesTreesConditionalityNatural DeductionPredicates, Names and QuantifiersDefinite DescriptionsThis exceptionally clear introduction to the subject is ideally suited to students taking introductory courses in logic.

The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this authoritative book explores both formal and philosophical logic, and the ways in which we can achieve good reasoning. Individual chapters include:Propositions and ArgumentsTruth TablesTreesConditionalityNatural DeductionPredicates, Names and QuantifiersDefinite DescriptionsThis exceptionally clear introduction to the subject is ideally suited to students taking introductory courses in logic.