Surveys and extens work that has been done in the past two years on 'tense logic' and is a sequel to the author's book, Time and Modality.

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.

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.