Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

A feature of David Lewis's account of conventions in his book "Convention" which has received admiring notices from philosophers is his use of the mathematical theory of games. In this paper I point out a number of serious flaws in Lewis's use of game theory. Lewis's basic claim is that conventions cover 'coordination problems'. I show that game-Theoretical analysis tends to establish that coordination problems in Lewis's sense need not underlie conventions.