Abstract

The author presents an epistemic logic with quantification, formulated in terms of consistency in model systems. To support results like "a knows p, and p implies q, therefore a knows q," consistency of a set of statements is reinterpreted as defensibility, or immunity to criticism. Perspicuous informal analyses, such as the remarks on the role of pronouns, augment the book's philosophical value.--N. A. G.