The papers that follow were read and discussed at the first Symposium on Exact Philosophy. This conference was held at Montreal on November 4th and 5th, 1971, to celebrate the sesquicentennial of McGill University and establish the Society for Exact Philosophy. The expression 'exact philosophy' is taken to signify mathematical phi­ losophy, i.e., philosophy done with the explicit help of mathematical logic and mathematics. So far the expression denotes an attitude rather than a fully blown discipline: it intends to convey the intention to try and pro­ ceed in as exact a manner as we can in formulating and discussing phi­ losophical problems and theories. The kind of philosophy we wish to practice and promote is disciplined rather than wild, systematic rather than disconnected, and capable of being argued over rather than oracular. We believe that even metaphysics, notoriously riotous, can be subjected to the control of logic and mathematics. Even the history of philosophy, notoriously unsystematic, can benefit from an exact reconstruction of some classical ideas.

I: Logic.- Matters of Relevance.- Notions of Relevance. Comments on Leblanc's Paper.- II: Semantics.- Translation and Reduction.- A Program for the Semantics of Science.- III: Erotetics.- S-P Interrogatives.- IV: Philosophy of Mathematics.- Foundations as a Branch of Mathematics.- Naturalism in Mathematics. Comments on Hatcher's Paper.- V: Philosophy of Science.- Deductive Explanation of Scientific Laws.- VI: Metaphysics.- Concepts of Randomness.- VII: Ethics.- The Logic of Conditional Obligation.- On Evaluating Deontic Logics. Comments on van Fraassen's Paper.- VIII: Legal Philosophy.- The Intuitive Background of Normative Legal Discourse and Its Formalization.- IX: History of Philosophy.- Plato's Phaedo Theory of Relations.