Abstract

This interesting collection is the Festschrift presented to W. Britzelmayr on his seventieth birthday, and it contains several excellent papers which ought to interest the logician and philosophical analyst alike. The most exciting paper is one by Stegmüller in which a system of set theory combining ideas from Bernays and Quine is formulated; one by Kurt Schütte discusses the limitations imposed by constructive logic on the theory of trans finite arithmetic; there are papers by each of the editors: the first analyzes the deduction theorem for the first order predicate calculus, while the second treats logics with predicate quantifiers. Other papers include studies by Behmann on the philosophico-logical status of identity; by Beth on the application of his semantic tableaux to classical logic; by Wilhelmy on the semantics of quantified, many-valued logics; and by E. M. Fels concerning the work of Markov and his school in the theory of canonical systems. There are still further papers which take as their topics the logical analysis of legal concepts and reasoning, the logic of questions, the semantics of implication in ordinary language, and the relation of the theory of logical types to Frege's work. In general, this is an excellent collection which affords a wide view of the logico-linguistic concerns of recent German philosophy.—P. J. M.