Preface1Prior's contribution12Hilbert's influence113Artificial beliefs304Argumentative liars495Godel & provability566Operator logics737Using Hilbert898Modal semantics1109Routley's formula12310Epsilon identities13711Descriptive opacity15712Individual propositions176Bibliography199Index207
\ BooknewsDevelops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior; and the refinement of predicate logic instituted by David Hilbert. Provides some history of the systems, but focuses primarily on applying them to problems in analytical metaphysics. Versions of most of the material either has or will appear in journals. Distributed in the US by Ashgate. Annotation c. Book News, Inc., Portland, OR (booknews.com)\ \