Logik

A comprehensive introduction to the major concepts and techniques involved in the study of logic. It explores both formal and philosophical logic, and examines the ways in which we can achieve good reasoning.

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 book explores formal and philosophical logic, and is for students taking introductory courses in logic.

Autorentext

Greg Restall

Inhalt

Part 1: Propositional Logic 1. Propositions and Arguments 2. Connectives and Argument Forms 3. Truth Tables 4. Trees 5. Vagueness and Bivalence 6. Conditionality 7. Natural Deduction Part 2: Predicate Logic 8. Predicates, Names and Quantifiers 9. Models for Predicate Logic 10. Trees for Predicate Logic 11. Identity and Functions 12. Definite Descriptions 13. Some Things do not Exist