Abstract
This book consists of a series of papers "read and discussed at the first Symposium of Exact Philosophy" at Montreal in 1971. "Exact philosophy," the editor says, means "mathematical philosophy, i.e., philosophy done with the explicit help of mathematical logic and mathematics." Judging from the contents, a more accurate statement would be that "exact philosophy" means formal semantics and modal logic. Two thirds of the papers are on these topics. The others include an essay on "Concepts of Randomness" by Peter Kirschenmann; a characteristically difficult paper on "Plato’s Phaedo Theory of Relations" by Hector Castañeda; a somewhat inexact discursus on "Foundations as a Branch of Mathematics" by William Hatcher with a reply by Charles Castonguay; and a paper by Raimo Tuomela on "Deductive Explanation of Scientific Laws", or, more exactly, on Ohmer’s discussion of that topic. The subject’s are highly specialized and their treatment is complex. In addition to those mentioned, other essays are "Matters of Relevance" by Hugues Leblanc, with an answer by Brian Chellas; "Translation and Reduction" by Lars Svenonius; "A Program for the Semantics of Science" by Mario Bunge; "S-P Interrogatives" by Nuel Belnap; "The Logic of Conditional Obligation" by Bas C. Van Frassen with commentary by Harry Beaty; and "The Intuitive Background of Normative Legal Discourse and Its Formalization" by Carlos E. Alchourron.—M.H.