Reading list: logic &amp; philosophy