Abstract

This is the collection of essays presented to Bochenski on his 60th birthday, and it contains, as a mirror of Bochenski's own work, a broad spectrum of studies ranging from formal logic and history of logic, to the philosophy of logic and language, and to the methodology of explanation in Greek philosophy. Of the seventeen articles, these are some of the more important to the reviewer: "Betrachtungen zum Sequenzen Kalkül" by Paul Bernays, which is an extensive study of Gentzen-type formulations of logic; "Remarks on Formal Deduction," H. B. Curry, a further discussion of sequenzen-logics; "Marginalia on Gentzen's Sequenzen Kalkül" by Hughes Leblanc; "Method and Logic in Presocratic Explanation," Jerry Stannard; "On the Logic of Preference and Choice," H. S. Houthakker, a suggestive presentation of decision and utility theory in logical form; "Leibniz's Law in Belief Contexts," Chisholm; "On Ontology and the Province of Logic," R. M. Martin; and "N. A. Vasilev and the Development of Many-valued Logics," G. L. Kline, an important addition to the history of logic. Other contributors are: Storrs McCall, Albert Menne, E. W. Beth, Benson Mates, Ivo Thomas, J. F. Staal, F. R. Barbò, A.-T. Tymieniecka, and N. M. Luyten. There is a bibliography of Bochenski's writings through 1962.—P. J. M.