Abstract

A very well-written introduction to formal logic. Among the more unusual features: Polish notation is used for the logic of statements, Principia notation for the logic of predicates; traditional logic is axiomatized, with conversion by limitation of A propositions, conversion of I propositions, and the Barbara syllogism serving as axioms; a strong emphasis on evaluation of arguments, with "genuineness," not merely formal validity, being the desideratum. The virtue of the book is its rigor, both logical and stylistic, but this rigor may make some sections overly mystifying to the beginning student.—A. E. J.