This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our ...