自然演繹と式計算の様々な体系とその対応関係、関係する定理など。地の文での解説も豊富だし、証明もかなりきちんと書いてある。最初の４章までは教科書としてうまく使えるだろうし、非論理的公理を推論規則としてどのように入れるか、そのとき証明論的性質…

今村仁司、『社会性の哲学』、岩波書店、¥7980. Ian Chiswell & Wilfrid Hodges, Mathematical Logic, Oxford University Press, £29.5. David Schlosberg, Defining Environmental Justice: Theories, Movements, and Nature, Oxford University Press, £45.