"Proof theoretic justifications of logical laws" (Michael Dummett)(6)

参加者は3人、19時半から参加して22時まで。 "The logical basis of metaphysics" section 11、pp.259-260の第二パラグラフ。