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.

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

At 8 a.m. I get in my car and set off for work. At 7:59 a.m., before I started it, my car was at rest; at 8:01 a.m. it is in motion. When a thing is not in motion, it is at rest, and when it is not at rest, it is in motion. But what was the state of the car at 8:00 a.m., as I was starting it? It would be inaccurate to say that it was in motion (...) but it would be inaccurate, also, to say that it was at rest: it was “just starting.” But, if whenever a thing is not in motion it is at rest, the state of “just starting”—or, of course, the comparable state of “just stopping”—must be either a state of motion or a state of rest. Which? (shrink)