Abstract

The emphasis in this collection is clearly on logic, and this is one reason why it lacks the overall diversity and richness of the 1960 Stanford volume. However, the eight sections do contain much interesting material; in the mathematical logic section Kochen and Specker continue their study of logics appropriate for quantum theory, Vaught presents several new results about the Löwenheim-Skolem theorem, and Büchi studies second-order ordinal theory from the viewpoint of automata theory; the section on foundations of mathematical theories contains papers on higher-order logic by Kaplan and Montague, model theory and ultra-products by Keisler, definability in set theory by Lévy. The topic of the justification of formal theories was the essential topic of the philosophy of logic section: an especially interesting paper is that of A. Robinson in which the present state of Hilbertean Formalism is analyzed, and in which the notion of potential truth is formalized. The section on the philosophy of science contains a single paper, by Hesse, on metaphor and explanation; Braithwaite, Hintikka, Jeffrey, and Kyburg contribute to a lively section on probability and induction; the section on methodology in physical science takes as topics the theory of relativity, causality, and irreversibility. The last two sections, on the philosophy of the life sciences, and on history of logic and philosophy of science, contain, respectively, papers by Davidson and Suppes on meaning and concept formation, and essays by Church and Geach on existential import historically considered and intentionality among the medievals. The collection would have been better if more of the contributed papers had been included.—P. J. M.