Book:Colin Howson/Logic with Trees

Colin Howson: Logic with Trees

Published $\text {1997}$, Routledge

ISBN 0-415-13341-6

Contents

Acknowledgements

Introduction

Part I: Truth-functional logic

1 The basics

2 Truth trees

3 Propositional languages

4 Soundness and completeness

Part II: First-order logic

5 Introduction

6 First-order languages: syntax and two more tree rules

7 First-order languages: semantics

8 Soundness and completeness

9 Identity

10 Alternative deduction systems for first-order logic

11 First-order theories

12 Beyond the fringe

List of notation

Answers to selected exercises

References

Name index

Subject index