Abstract

Dopp is one of the very few logicians writing in French today, and so there are few textbooks of logic in that language. This is the newest one, and it is concerned essentially with the propositional and first-order predicate calculi, from both their historical as well as contemporary aspects. After examining the concepts of classical logic, Dopp presents the propositional calculus as a calculus of truth-functions and then gives it an axiomatic underpinning. In the treatment of quantification, first traditional logic is presented, and then modern first-order logic with identity is examined in some detail, with attention to the technique of semantic tableaux. An appendix provides a number of alternative systems of the propositional calculus in axiomatic form.—P. J. M.