Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts and bolts of formal logic, and to move on to complex and abstract problems. The tree method is elaborated in steps over five chapters.
Spanning a period of 35 years, this collection of essays includes some of the classic works of one of the most distinquished and influential philosophers working in the field of decision theory and the theory of knowledge.